An executable specification of a formal argumentation protocol

DOI10.1016/J.ARTINT.2007.04.008MaRDI QIDQ1028953zbMATH OpenOpenAlexFDO

Authors Alexander Artikis, Marek Sergot, Jeremy Pitt

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

normargumentationmulti-agent systemspecificationprotocolaction languagedisputation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Dynamic argument systems: A formal model of argumentation processes based on situation calculus
• Argumentation in Multi-Agent Systems
• Relating protocols for dynamic dispute with logics for defeasible argumentation
• Executable logic for dialogical argumentation
• A Formal General Setting for Dialogue Protocols

Cites work

• scientific article; zbMATH DE number 588315 (Why is no real title available?)
• scientific article; zbMATH DE number 1748571 (Why is no real title available?)
• scientific article; zbMATH DE number 1759380 (Why is no real title available?)
• scientific article; zbMATH DE number 2088170 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 1852916 (Why is no real title available?)
• scientific article; zbMATH DE number 1903365 (Why is no real title available?)
• scientific article; zbMATH DE number 928022 (Why is no real title available?)
• scientific article; zbMATH DE number 2222698 (Why is no real title available?)
• A logic-based calculus of events
• An abductive event calculus planner
• An abstract, argumentation-theoretic approach to default reasoning
• Argument-based extended logic programming with defeasible priorities
• Artificial intelligence today. Recent trends and development
• Choosing social laws for multi-agent systems: Minimality and simplicity
• Coherence and Flexibility in Dialogue Games for Argumentation
• Communication in multiagent systems. Agent communication languages and conversation policies
• Distant causation in \(\mathcal C+\)
• Dynamic argument systems: A formal model of argumentation processes based on situation calculus
• Getting to the airport: The oldest planning problem in AI
• Nonmonotonic causal theories
• OSCAR
• On social laws for artificial agent societies: off-line design
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
• On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl
• Properties and Complexity of Some Formal Inter-agent Dialogues
• Reaching agreements through argumentation: a logical model and implementation
• Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
• Representing the Zoo World and the Traffic World in the language of the Causal Calculator
• Specifying norm-governed computational societies
• The Deontic Component of Action Language $n{\mathcal{C}}+$

Cited in

(5)

• Argumentation in artificial intelligence
• Substantive and procedural norms in normative multiagent systems
• Law and logic: a review from an argumentation perspective
• Contracts Violation: Justification via Argumentation
• Managing user-generated content as a knowledge commons

Describes a project that uses

Uses Software

• Society Visualiser
• ISLANDER
• CCalc
• NuSMV

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1028953)