An executable specification of a formal argumentation protocol (Q1028953): Difference between revisions

@@ Property / describes a project that uses @@
+CCalc
@@ Property / describes a project that uses: CCalc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Society Visualiser
@@ Property / describes a project that uses: Society Visualiser / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ISLANDER
@@ Property / describes a project that uses: ISLANDER / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2007.04.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2135189471
@@ Property / OpenAlex ID: W2135189471 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing the Zoo World and the Traffic World in the language of the Causal Calculator
+Normal rank
@@ Property / cites work @@
+Specifying norm-governed computational societies
@@ Property / cites work: Specifying norm-governed computational societies / rank @@
+Normal rank
@@ Property / cites work @@
+An abstract, argumentation-theoretic approach to default reasoning
+Normal rank
@@ Property / cites work @@
+Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus
+Normal rank
@@ Property / cites work @@
+Q4530456
@@ Property / cites work: Q4530456 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+Distant causation in \(\mathcal C+\)
@@ Property / cites work: Distant causation in \(\mathcal C+\) / rank @@
+Normal rank
@@ Property / cites work @@
+On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
+Normal rank
@@ Property / cites work @@
+Q4739310
@@ Property / cites work: Q4739310 / rank @@
+Normal rank
@@ Property / cites work @@
+Choosing social laws for multi-agent systems: Minimality and simplicity
+Normal rank
@@ Property / cites work @@
+Nonmonotonic causal theories
@@ Property / cites work: Nonmonotonic causal theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4295371
@@ Property / cites work: Q4295371 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893675
@@ Property / cites work: Q4893675 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic-based calculus of events
@@ Property / cites work: A logic-based calculus of events / rank @@
+Normal rank
@@ Property / cites work @@
+Reaching agreements through argumentation: a logical model and implementation
+Normal rank
@@ Property / cites work @@
+Q2734935
@@ Property / cites work: Q2734935 / rank @@
+Normal rank
@@ Property / cites work @@
+On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl
+Normal rank
@@ Property / cites work @@
+Communication in multiagent systems. Agent communication languages and conversation policies
+Normal rank
@@ Property / cites work @@
+Properties and Complexity of Some Formal Inter-agent Dialogues
+Normal rank
@@ Property / cites work @@
+OSCAR
@@ Property / cites work: OSCAR / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536328
@@ Property / cites work: Q4536328 / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence and Flexibility in Dialogue Games for Argumentation
+Normal rank
@@ Property / cites work @@
+Argument-based extended logic programming with defeasible priorities
+Normal rank
@@ Property / cites work @@
+Q4789446
@@ Property / cites work: Q4789446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5701517
@@ Property / cites work: Q5701517 / rank @@
+Normal rank
@@ Property / cites work @@
+The Deontic Component of Action Language $n{\mathcal{C}}+$
+Normal rank
@@ Property / cites work @@
+Artificial intelligence today. Recent trends and development
+Normal rank
@@ Property / cites work @@
+An abductive event calculus planner
@@ Property / cites work: An abductive event calculus planner / rank @@
+Normal rank
@@ Property / cites work @@
+On social laws for artificial agent societies: off-line design
+Normal rank
@@ Property / cites work @@
+Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
+Normal rank