An argumentation semantics for logic programming with explicit negation
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Reasoning about priorities in default logic
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
A Reasoning Model Based on the Production of Acceptable Arguments
Annals of Mathematics and Artificial Intelligence
Inferring from Inconsistency in Preference-Based Argumentation Frameworks
Journal of Automated Reasoning
Argumentation based decision making for autonomous agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Modeling Dialogues Using Argumentation
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Argumentation Semantics for Defeasible Logic
Journal of Logic and Computation
An argumentation based approach for practical reasoning
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
An argumentation based approach for practical reasoning
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Coherence and Flexibility in Dialogue Games for Argumentation
Journal of Logic and Computation
Argumentation in artificial intelligence
Artificial Intelligence
A unified and general framework for argumentation-based negotiation
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Value Based Argumentation in Hierarchical Argumentation Frameworks
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Resolution-Based Argumentation Semantics
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Preferences of agents in defeasible logic
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Nested argumentation and its application to decision making over actions
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Symmetric argumentation frameworks
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Case law in extended argumentation frameworks
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Encompassing Attacks to Attacks in Abstract Argumentation Frameworks
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Argumentation Context Systems: A Framework for Abstract Group Argumentation
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
On the Acceptability of Meta-arguments
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Repairing preference-based argumentation frameworks
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Labellings and games for extended argumentation frameworks
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
ANGLE: An autonomous, normative and guidable agent with changing knowledge
Information Sciences: an International Journal
Classification and strategical issues of argumentation games on structured argumentation frameworks
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Generalizing stable semantics by preferences
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
On Extension Counting Problems in Argumentation Frameworks
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
A formal analysis of the AIF in terms of the ASPIC framework
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
An Algorithm for Stage Semantics
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Computation with varied-strength attacks in abstract argumentation frameworks
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Refined Preference-based Argumentation Frameworks
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Integrating Dialectical and Accrual Modes of Argumentation
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Reasoning about Preferences in Structured Extended Argumentation Frameworks
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Moving Between Argumentation Frameworks
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Computation in Extended Argumentation Frameworks
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A Common Computational Framework for Semiring-based Argumentation Systems
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
AFRA: Argumentation framework with recursive attacks
International Journal of Approximate Reasoning
Using argument schemes for hypothetical reasoning in law
Artificial Intelligence and Law
Weighted argument systems: Basic definitions, algorithms, and complexity results
Artificial Intelligence
On the resolution-based family of abstract argumentation semantics and its grounded instance
Artificial Intelligence
A lightweight formal model of two-phase democratic deliberation
Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010: The Twenty-Third Annual Conference
Solving weighted argumentation frameworks with soft constraints
CSCLP'09 Proceedings of the 14th Annual ERCIM international conference on Constraint solving and constraint logic programming
Instantiating abstract argumentation with classical logic arguments: Postulates and properties
Artificial Intelligence
Dynamics of argumentation systems: A division-based method
Artificial Intelligence
Argument schemes for two-phase democratic deliberation
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Backing and undercutting in defeasible logic programming
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Arguing with valued preference relations
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Two roles of preferences in argumentation frameworks
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
A brief overview of research in argumentation systems
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
On the intertranslatability of argumentation semantics
Journal of Artificial Intelligence Research
A new approach for preference-based argumentation frameworks
Annals of Mathematics and Artificial Intelligence
Using argumentation to model agent decision making in economic experiments
Autonomous Agents and Multi-Agent Systems
Enhancing dung's preferred semantics
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Preference-Based argumentation handling dynamic preferences built on prioritized logic programming
PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
A formal argumentation framework for deliberation dialogues
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
Towards pragmatic argumentative agents within a fuzzy description logic framework
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
Argumentation system allowing suspend/resume of an argumentation line
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
On strategic argument selection in structured argumentation systems
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
Deliberation dialogues for reasoning about safety critical actions
Autonomous Agents and Multi-Agent Systems
Modeling and solving AFs with a constraint-based tool: conarg
TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation
Computing with infinite argumentation frameworks: the case of AFRAs
TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation
Backing and undercutting in abstract argumentation frameworks
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Parametric properties of ideal semantics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Revisiting preferences and argumentation
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Open texture and argumentation: what makes an argument persuasive?
Logic Programs, Norms and Action
Some reflections on two current trends in formal argumentation
Logic Programs, Norms and Action
Minimal hypotheses: extension-based semantics to argumentation
Annals of Mathematics and Artificial Intelligence
Generalizing naive and stable semantics in argumentation frameworks with necessities and preferences
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
Aggregating evidence about the positive and negative effects of treatments
Artificial Intelligence in Medicine
ABA: argumentation based agents
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
A semantics for dynamic argumentation frameworks
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
Reasoning about and discussing preferences between arguments
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
Global view on reactivity: switch graphs and their logics
Annals of Mathematics and Artificial Intelligence
Automata for infinite argumentation structures
Artificial Intelligence
Abstract dialectical frameworks revisited
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
On the complexity of probabilistic abstract argumentation
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Approximating operators and semantics for abstract dialectical frameworks
Artificial Intelligence
Complexity-sensitive decision procedures for abstract argumentation
Artificial Intelligence
Algorithms for decision problems in argument systems under preferred semantics
Artificial Intelligence
Probabilistic qualification of attack in abstract argumentation
International Journal of Approximate Reasoning
Rich preference-based argumentation frameworks
International Journal of Approximate Reasoning
t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
The abstract nature of Dung's seminal theory of argumentation accounts for its widespread application as a general framework for various species of non-monotonic reasoning, and, more generally, reasoning in the presence of conflict. A Dung argumentation framework is instantiated by arguments and a binary conflict based attack relation, defined by some underlying logical theory. The justified arguments under different extensional semantics are then evaluated, and the claims of these arguments define the inferences of the underlying theory. To determine a unique set of justified arguments often requires a preference relation on arguments to determine the success of attacks between arguments. However, preference information is often itself defeasible, conflicting and so subject to argumentation. Hence, in this paper we extend Dung's theory to accommodate arguments that claim preferences between other arguments, thus incorporating meta-level argumentation based reasoning about preferences in the object level. We then define and study application of the full range of Dung's extensional semantics to the extended framework, and study special classes of the extended framework. The extended theory preserves the abstract nature of Dung's approach, thus aiming at a general framework for non-monotonic formalisms that accommodate defeasible reasoning about as well as with preference information. We illustrate by formalising argument based logic programming with defeasible priorities in the extended theory.