Foundations of logic programming
Foundations of logic programming
Defeasible reasoning and decision support systems
Decision Support Systems
Computability and logic
Controlling expert system recommendations with defeasible logic
Decision Support Systems
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
A mathematical treatment of defeasible reasoning and its implementation
Artificial Intelligence
Artificial Intelligence
A design for reasoning with policies, precedents, and rationales
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Handbook of logic in artificial intelligence and logic programming (vol. 3)
EVID: a system for interactive defeasible reasoning
Decision Support Systems - Special issue on logic modeling
Graph theoretical structures in logic programs and default theories
Theoretical Computer Science
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Artificial Intelligence
Dialectic semantics for argumentation frameworks
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Communications of the ACM
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
ACM Computing Surveys (CSUR)
Cognitive Carpentry: A Blueprint for how to Build a Person
Cognitive Carpentry: A Blueprint for how to Build a Person
Reasoning with Logic Programming
Reasoning with Logic Programming
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
On the computational complexity of assumption-based argumentation for default reasoning
Artificial Intelligence
Coherence in finite argument systems
Artificial Intelligence
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
A mathematical treatment of defeasible reasoning and its implementation
A mathematical treatment of defeasible reasoning and its implementation
Defeasible logic programming: an argumentative approach
Theory and Practice of Logic Programming
Using arguments for making decisions: a possibilistic logic approach
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Argumentation and the Dynamics of Warranted Beliefs in Changing Environments
Autonomous Agents and Multi-Agent Systems
Multi-paradigm Java-Prolog integration in tuProlog
Science of Computer Programming
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
Empirical approach to the complexity of hard problems
Empirical approach to the complexity of hard problems
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
Elements of Argumentation
Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
CBR and Argument Schemes for Collaborative Decision Making
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
An algorithm to compute minimally grounded and admissible defence sets in argument systems
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
An implementation of a lightweight argumentation engine for agent applications
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
An argument-based framework to model an agent’s beliefs in a dynamic environment
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Encoding deductive argumentation in quantified Boolean formulae
Artificial Intelligence
The Knowledge Engineering Review
Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system
Knowledge-Based Systems
What are the necessity rules in defeasible reasoning?
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Formalizing dialectical explanation support for argument-based reasoning in knowledge-based systems
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
This article surveys existing practical implementations of both defeasible and argumentation-based reasoning engines and associated literature. We aim to summarize the current state of the art in the research area, show that there are many similiarities and connections between the various implementations and also highlight the differences regarding evaluation goals and strategies. An important goal of this paper is to argue for the need for well-designed empirical evaluations, as well as formal complexity analysis, in order to justify the practical applicability of a reasoning engine. There are indeed many challenges to be faced in developing implementations of argumentation. Not least of these is the inherent computational complexity of the formal models. We cover some of the ways these challenges have been addressed, and provide pointers for future directions in realizing the goal of practical argumentation.