Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
A mathematical treatment of defeasible reasoning and its implementation
Artificial Intelligence
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Foundations of logic programming
Principles of knowledge representation
Dialectic semantics for argumentation frameworks
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Towards a visualization of arguing agents
Future Generation Computer Systems - Special issue on educational applications of VRML
ACM Computing Surveys (CSUR)
A logic-based theory of deductive arguments
Artificial Intelligence
Explanation and Argumentation Capabilities: Towards the Creation of More Persuasive Agents
Artificial Intelligence Review
The Role of Logic in Computational Models of Legal Argument: A Critical Survey
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Bridging the Gap between Users and Complex Decision Support Systems: the Role of Justification
ICECCS '97 Proceedings of the Third IEEE International Conference on Engineering of Complex Computer Systems
A logic programming framework for possibilistic argumentation with vague knowledge
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Elements of Argumentation
Dialectical Explanations in Defeasible Argumentation
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A review of current defeasible reasoning implementations
The Knowledge Engineering Review
A Distributed Argumentation Framework using Defeasible Logic Programming
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Argumentation in Artificial Intelligence
Argumentation in Artificial Intelligence
A lattice-based approach to computing warranted beliefs in skeptical argumentation frameworks
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A labeling approach to the computation of credulous acceptance in argumentation
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
SCC-recursiveness: a general schema for argumentation semantics
Artificial Intelligence
An application of defeasible logic programming to decision making in a robotic environment
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
An argumentative reasoning service for deliberative agents
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Recommender Systems Handbook
On the issue of reinstatement in argumentation
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Review: an introduction to argumentation semantics
The Knowledge Engineering Review
Measuring and analyzing agents' uncertainty in argumentation-based negotiation dialogue games
Expert Systems with Applications: An International Journal
Hi-index | 12.05 |
The concept of explanation has received attention from different areas in Computer Science, particularly in the knowledge-based systems and expert systems communities. At the same time, argumentation has evolved as a new paradigm for conceptualizing commonsense reasoning, resulting in the formalization of different argumentation frameworks and the development of several real-world argument-based applications. Although the notions of explanation and argument for a claim share many common elements in knowledge-based systems their interrelationships have not yet been formally studied in the context of the current argumentation research in Artificial Intelligence. This article explores these ideas by providing a new perspective on how to formalize dialectical explanation support for argument-based reasoning. To do this, we propose a formalization of explanations for abstract argumentation frameworks with dialectical constraints where different emerging properties are studied and analyzed. As a concrete example of the formalism introduced we show how it can be fleshed out in an implemented rule-based argumentation system.