376 search results - page 49 / 76 » Agent Logics as Program Logics: Grounding KARO |
ATAL
2006
Springer
14 years 12 days ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
KSEM
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper we propose a model that allows agents to deliberate using defeasible argumentation, to share knowledge with other agents, and to represent individual knowle...
SEMCO
2007
IEEE
14 years 2 months ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
NGITS
1997
Springer
14 years 24 days ago
1997
Springer
With the proliferation of the World Wide Web, it has become very important to provide advanced tools for maintaining referential integrity of information resources. The growing te...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...