26 search results - page 3 / 6 » A Logical Model for Commitment and Argument Network for Agen... |
ARGMAS
2004
Springer
14 years 1 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...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
Successful negotiators prepare by determining their position along five dimensions: Legitimacy, Options, Goals, Independence, and Commitment, (LOGIC). We introduce a negotiation ...
ARGMAS
2008
Springer
13 years 10 months ago
2008
Springer
Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to commu...
ECAI
2006
Springer
14 years 6 days ago
2006
Springer
One of the most important aspects of the research on agent interaction is the definition of agent communication languages (ACLs), and the specification of a proper formal semantics...
SYNTHESE
2008
13 years 8 months ago
2008
Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DE...