Sciweavers

2154 search results - page 17 / 431
» On the notion of concept I
Sort
View
ATAL
2005
Springer
14 years 3 months ago
Towards a theory of "local to global" in distributed multi-agent systems (I)
There is a growing need for a theory of “local to global” in distributed multi-agent systems, one which is able systematically to describe and analyze a variety of problems. T...
Daniel Yamins
ACS
2008
13 years 10 months ago
Epicompletion in Frames with Skeletal Maps, I: Compact Regular Frames
A frame homomorphism h : A - B is skeletal if x = 1 in A implies that h(x) = 1 in B. It is shown that, in KRegS, the category of compact regular frames with skeletal maps, the subc...
Jorge Martínez, Eric Richard Zenk
ECOOPWEXCEPTION
2000
Springer
14 years 2 months ago
Exception Safety: Concepts and Techniques
This paper presents a set of concepts and design techniques that has proven successful in implementing and using C++ libraries intended for applications that simultaneously require...
Bjarne Stroustrup
ECAI
2004
Springer
14 years 3 months ago
From Knowledge-Based Programs to Graded Belief-Based Programs Part I: On-Line Reasoning
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at e...
Noël Laverny, Jérôme Lang
KR
2010
Springer
14 years 2 months ago
I Don't Want to Think About it Now: Decision Theory with Costly Computation
Computation plays a major role in decision making. Even if an agent is willing to ascribe a probability to all states and a utility to all outcomes, and maximize expected utility,...
Joseph Y. Halpern