Languages with self-reference I: foundations (or: we can have everything in first-order logic])
Artificial Intelligence
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Truth and modality for knowledge representation
Truth and modality for knowledge representation
Artificial Intelligence
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
A logic-based theory of deductive arguments
Artificial Intelligence
A Logic for Characterizing Multiple Bounded Agents
Autonomous Agents and Multi-Agent Systems
A Framework for Argumentation-Based Negotiation
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Dialogue Frames in Agent Communication
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Towards Context Sensitive Defeasible Rules
Computational Logic in Multi-Agent Systems
A Compact Argumentation System for Agent System Specification
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Value Based Argumentation in Hierarchical Argumentation Frameworks
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Argumentation Context Systems: A Framework for Abstract Group Argumentation
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
AFRA: Argumentation framework with recursive attacks
International Journal of Approximate Reasoning
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
A logic of abstract argumentation
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Arguing with justifications between collaborating agents
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
A logic of argumentation for specification and verification of abstract argumentation frameworks
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
Argumentation has received steadily increasing attention in the multi-agent systems community over the past decade, with particular interest in the use of argument models from the informal logic community. The formalisation of such argument systems is a necessary step if they are to be successfully deployed, and their properties rigorously understood. However, there is as yet no widely accepted approach to the formalisation of argument systems. In this paper, we take as our starting point the view that arguments and dialogues are inherently meta-logical, and that any proper formalisation of argument must embrace this aspect of their nature. For example, a statement that serves as a justification of an argument is is statement about an argument: the argument for which the justification serves must itself be referred to in the justification. From this starting position, we develop a formalisation of arguments using a hierarchical first-order meta-logic, in which statements in successively higher tiers of the argumentation hierarchy refer to statements further down the hierarchy. This enables us to give a clean formal separation between object-level statements, arguments made about these object level statements, and statements about arguments.