230 search results - page 21 / 46 » An Argumentation Based Semantics for Agent Reasoning |
AAAI
2008
13 years 11 months ago
2008
This paper studies commitments in multiagent systems. A dialectical commitment corresponds to an agent taking a position about a putative fact, including for the sake of argument....
ECSQARU
2005
Springer
14 years 2 months ago
2005
Springer
This paper is centered on the family of Dung’s finite argumentation frameworks when the attacks relation is symmetric (and nonempty and irreflexive). We show that while this fa...
ACSC
2002
IEEE
14 years 1 months ago
2002
IEEE
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this ...
FSTTCS
2005
Springer
14 years 2 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...