An executable specification of a formal argumentation protocol
From MaRDI portal
Publication:1028953
DOI10.1016/j.artint.2007.04.008zbMath1168.68557MaRDI QIDQ1028953
Alexander Artikis, Jeremy Pitt, Marek Sergot
Publication date: 9 July 2009
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2007.04.008
68T27: Logic in artificial intelligence
Related Items
Law and logic: a review from an argumentation perspective, Substantive and procedural norms in normative multiagent systems, Argumentation in artificial intelligence, Managing User-Generated Content as a Knowledge Commons, Contracts Violation: Justification via Argumentation
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A logic-based calculus of events
- Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
- Nonmonotonic causal theories
- Representing the Zoo World and the Traffic World in the language of the Causal Calculator
- On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl
- Reaching agreements through argumentation: a logical model and implementation
- Artificial intelligence today. Recent trends and development
- An abstract, argumentation-theoretic approach to default reasoning
- Communication in multiagent systems. Agent communication languages and conversation policies
- Choosing social laws for multi-agent systems: Minimality and simplicity
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Distant causation in \(\mathcal C+\)
- On social laws for artificial agent societies: off-line design
- Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus
- Argument-based extended logic programming with defeasible priorities
- Coherence and Flexibility in Dialogue Games for Argumentation
- The Deontic Component of Action Language $n{\mathcal{C}}+$
- Properties and Complexity of Some Formal Inter-agent Dialogues
- An abductive event calculus planner
- OSCAR
- Specifying norm-governed computational societies