3729 search results - page 206 / 746 » On Formal Modeling of Agent Computations |
171
click to vote
ARGMAS
2006
Springer
15 years 10 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
176
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
168
click to vote
AAAI
1994
15 years 7 months ago
1994
Researchers in the eld of Distributed Arti cial Intelligence (DAI) have been developing e cient mechanisms to coordinate the activities of multiple autonomous agents. The need for...
145
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
This paper proposes a combined mechanism for coordinating agents in timed normative multi-agent systems. Timing constraints in a multi-agent system make it possible to force actio...
163
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...