An executable specification of a formal argumentation protocol
type: Item
instance of: scholarly article
title: An executable specification of a formal argumentation protocol
zbMATH Open document ID: 1168.68557
author: Alexander Artikis
author: Marek Sergot
author: Jeremy Pitt
published in: Artificial Intelligence
publication date: 2009-07-09T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5576697
zbMATH Keywords: argumentation
zbMATH Keywords: disputation
zbMATH Keywords: protocol
zbMATH Keywords: norm
zbMATH Keywords: multi-agent system
zbMATH Keywords: specification
zbMATH Keywords: action language
describes a project that uses: CCalc
describes a project that uses: Society Visualiser
describes a project that uses: NuSMV
describes a project that uses: ISLANDER
MaRDI profile type: Publication
full work available at URL: j.artint.2007.04.008
OpenAlex ID: W2135189471
cites work: Representing the Zoo World and the Traffic World in the language of the Causal Calculator
cites work: Specifying norm-governed computational societies
cites work: An abstract, argumentation-theoretic approach to default reasoning
cites work: Dynamic argument systems: A formal model of argumentation processes based on situation calculus
cites work: Q4530456
cites work: Q4804909
cites work: Distant causation in \(\mathcal C+\)
cites work: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
cites work: Q4739310
cites work: Choosing social laws for multi-agent systems: Minimality and simplicity
cites work: Nonmonotonic causal theories
cites work: Q4295371
cites work: Q4893675
cites work: A logic-based calculus of events
cites work: Reaching agreements through argumentation: a logical model and implementation
cites work: Getting to the airport: The oldest planning problem in AI
cites work: On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl
cites work: Communication in multiagent systems. Agent communication languages and conversation policies
cites work: Properties and Complexity of Some Formal Inter-agent Dialogues
cites work: OSCAR
cites work: Q4536328
cites work: Coherence and Flexibility in Dialogue Games for Argumentation
cites work: Argument-based extended logic programming with defeasible priorities
cites work: Q4789446
cites work: Q4779807
cites work: Q5701517
cites work: The Deontic Component of Action Language $n{\mathcal{C}}+$
cites work: Artificial intelligence today. Recent trends and development
cites work: An abductive event calculus planner
cites work: On social laws for artificial agent societies: off-line design
cites work: Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
DOI: 10.1016/J.ARTINT.2007.04.008
description: scientific article; zbMATH DE number 5576697