A mathematical treatment of defeasible reasoning and its implementation
Artificial Intelligence
Artificial Intelligence
Scenario semantics of extended logic programs
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Argumentative logics: reasoning with classically inconsistent information
Data & Knowledge Engineering
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
ACM Computing Surveys (CSUR)
A logic-based theory of deductive arguments
Artificial Intelligence
A Reasoning Model Based on the Production of Acceptable Arguments
Annals of Mathematics and Artificial Intelligence
Acceptability of arguments as `logical uncertainty'
ECSQARU '93 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Towards a Logic-Based Theory of Argumentation
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Defeasible logic programming: an argumentative approach
Theory and Practice of Logic Programming
On the evaluation of argumentation formalisms
Artificial Intelligence
Argumentation in artificial intelligence
Artificial Intelligence
Computing ideal sceptical argumentation
Artificial Intelligence
Elements of Argumentation
On bipolarity in argumentation frameworks
International Journal of Intelligent Systems - Bipolar Representations of Information and Preference Part 2: Reasoning and Learning
Reasoning about preferences in argumentation frameworks
Artificial Intelligence
Inconsistency tolerance in weighted argument systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
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 in Artificial Intelligence
Argumentation in Artificial Intelligence
On the complexity of linking deductive and abstract argument systems
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Bridging the Gap between Abstract Argumentation Systems and Logic
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
An axiomatic account of formal argumentation
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Real arguments are approximate arguments
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Modelling well-structured argumentation lines
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
On the relation between argumentation and non-monotonic coherence based entailment
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
A formal analysis of logic-based argumentation systems
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Handling inconsistency with preference-based argumentation
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Characterizing strong equivalence for argumentation frameworks
Artificial Intelligence
On the equivalence of logic-based argumentation systems
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
On warranted inference in argument trees based framework
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Some reflections on two current trends in formal argumentation
Logic Programs, Norms and Action
Normal and strong expansion equivalence for argumentation frameworks
Artificial Intelligence
A probabilistic approach to modelling uncertain logical arguments
International Journal of Approximate Reasoning
Beyond maxi-consistent argumentation operators
JELIA'12 Proceedings of the 13th European conference on Logics in 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
Stable semantics in logic-based argumentation
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
The outcomes of logic-based argumentation systems under preferred semantics
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
A general account of argumentation with preferences
Artificial Intelligence
A formal concept view of abstract argumentation
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
On the equivalence between logic programming semantics and argumentation semantics
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Structural properties for deductive argument systems
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Automata for infinite argumentation structures
Artificial Intelligence
Identifying the class of maxi-consistent operators in argumentation
Journal of Artificial Intelligence Research
Rich preference-based argumentation frameworks
International Journal of Approximate Reasoning
Hi-index | 0.00 |
In this paper we investigate the use of classical logic as a basis for instantiating abstract argumentation frameworks. In the first part, we propose desirable properties of attack relations in the form of postulates and classify several well-known attack relations from the literature with regards to the satisfaction of these postulates. Furthermore, we provide additional postulates that help us prove characterisation results for these attack relations. In the second part of the paper, we present postulates regarding the logical content of extensions of argument graphs that may be constructed with classical logic. We then conduct a comprehensive study of the status of these postulates in the context of the various combinations of attack relations and extension semantics.