2638 search results - page 179 / 528 » Frameworks for Reasoning about Agent Based Systems |
173
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools ...
164
click to vote
ENTCS
2008
15 years 6 months ago
2008
Logical frameworks serve as meta-languages to represent deductive systems, sometimes requiring special purpose meta logics to reason about the representations. In this work, we de...
165
click to vote
AAAI
2004
15 years 8 months ago
2004
The intelligence analysis task of anticipating crises and providing decision makers with reasonable (supportable, explainable)possiblefuturesisextremelydifficult.Toperform this ta...
166
click to vote
EWCBR
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes the development of the generic collaboration support architecture CAKE incorporating case-based reasoning (CBR). CAKE provides unified access to knowledge avai...
182
click to vote
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
This paper discusses conditions under which some of the “higher level” mental concepts applicable to human beings might also be applicable to artificial agents. The key idea ...