240 search results - page 26 / 48 » A Logic for Reasoning about Rational Agents |
103
click to vote
FOIKS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Argumentation-based formalisms provide a way of considering the defeasible nature of reasoning with partial and often erroneous knowledge in a given environment. This pro...
SAS
2009
Springer
16 years 9 days ago
2009
Springer
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...
78
Voted
AIIA
1999
Springer
15 years 4 months ago
1999
Springer
This paper presents thedistributed implementationof ALIAS, an architecture composed of several cooperating intelligent agents. This system is particularly suited to solve problems ...
110
click to vote
CLIMA
2007
15 years 1 months ago
2007
We present a sound and complete tableau calculus for a class BReg of extended regular modal logics which contains useful epistemic logics for reasoning about agent beliefs. Our cal...
ECSQARU
1999
Springer
15 years 4 months ago
1999
Springer
Intelligent agents embedded in physical environments need ity to connect, or anchor, the symbols used to perform abstract reasoning to the physical entities which these symbols ref...