An executable specification of a formal argumentation protocol

DOI10.1016/j.artint.2007.04.008zbMath1168.68557OpenAlexW2135189471MaRDI 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

zbMATH Keywords

normmulti-agent systemprotocolspecificationargumentationaction languagedisputation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (5)

Managing User-Generated Content as a Knowledge Commons ⋮ Law and logic: a review from an argumentation perspective ⋮ Substantive and procedural norms in normative multiagent systems ⋮ Contracts Violation: Justification via Argumentation ⋮ Argumentation in artificial intelligence

Uses Software

• NuSMV
• CCalc
• ISLANDER
• Society Visualiser

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

This page was built for publication: An executable specification of a formal argumentation protocol