1654 search results - page 188 / 331 » Games for Cognitive Agents |
201
click to vote
ARGMAS
2004
Springer
15 years 11 months ago
2004
Springer
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...
160
click to vote
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
We present a formal framework where the action description language C+ is used to provide multiple robots with high-level reasoning in the style of cognitive robotics. We show the ...
153
click to vote
ICTAI
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper, we describe the n-dimensional projective approach as a hierarchical and modular architecture with a processing mechanism that underlies both spatial backtracking an...
168
click to vote
TSMC
2002
15 years 6 months ago
2002
Imitation is a powerful mechanism whereby knowledge may be transferred between agents (both biological and artificial). Key problems on the topic of imitation have emerged in vario...
143
click to vote
TACAS
2007
Springer
16 years 15 days ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...