Theoretical foundations for non-monotonic reasoning in expert systems
Logics and models of concurrent systems
A mathematical treatment of defeasible reasoning and its implementation
Artificial Intelligence
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Abstract argumentation systems
Artificial Intelligence
Safe and sound: artificial intelligence in hazardous applications
Safe and sound: artificial intelligence in hazardous applications
ACM Computing Surveys (CSUR)
A logic-based theory of deductive arguments
Artificial Intelligence
Defeasible logic programming: an argumentative approach
Theory and Practice of Logic Programming
A Logic of Multiple-Valued Argumentation
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
On the evaluation of argumentation formalisms
Artificial Intelligence
Computing Arguments and Attacks in Assumption-Based Argumentation
IEEE Intelligent Systems
Elements of Argumentation
ASBO: Argumentation System Based on Ontologies
CIA '08 Proceedings of the 12th international workshop on Cooperative Information Agents XII
On the Issue of Contraposition of Defeasible Rules
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Argumentation Using Temporal Knowledge
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Argumentation in Artificial Intelligence
Argumentation in Artificial Intelligence
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
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
On the acceptability of arguments in preference-based argumentation
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
Normal and strong expansion equivalence for argumentation frameworks
Artificial Intelligence
Structural properties for deductive argument systems
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Hi-index | 0.00 |
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arguments. A common assumption for logic-based argumentation is that an argument is a pair where Φ is a minimal subset of the knowledgebase such that Φ is consistent and Φ entails the claim α. We call the logic used for consistency and entailment, the base logic. Different base logics provide different definitions for consistency and entailment and hence give us different options for argumentation. This paper discusses some of the commonly used base logics in logic-based argumentation, and considers various criteria that can be used to identify commonalities and differences between them.