T. Arora , R. Ramakrishnan , W. G. Roth , P. Seshadri and D. Srivastava 1993. Explaining program execution in deductive systems. In Proc. of the 3rd International Conference on Deductive and Object-Oriented Databases (DOOD), S. Ceri , K. Tanaka , and S. Tsur , Eds. Lecture Notes in Computer Science, vol. 760. Springer, Berlin Heidelberg, 101–119.
C. Baral , K. Chancellor , N. Tran , N. Tran , A. M. Joy and M. E. Berens 2004. A knowledge based approach for representing and reasoning about signaling networks. Bioinformatics 20, supplement 1, 15–22.
T. Bench-Capon , D. Lowes and A. M McEnery . 1991. Argument-based explanation of logic programs. Knowledge-Based Systems 4, 3, 177–183.
A. Bondarenko , P. M. Dung , R. A. Kowalski and F. Toni 1997. An abstract, argumentation-theoretic approach to default reasoning. Artificial Intelligence 93, 1–2, 63–101.
P. M. Dung 1995a. An argumentation-theoretic foundation for logic programming. The Journal of Logic Programming 22, 2, 151–177.
P. M. Dung 1995b. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77, 2, 321–357.
P. M. Dung , R. A. Kowalski and F. Toni 2006. Dialectic proof procedures for assumption-based, admissible argumentation. Artificial Intelligence 170, 2, 114–159.
P. M. Dung , R. A. Kowalski and F. Toni 2009. Assumption-based argumentation. In Argumentation in Artificial Intelligence, G. R. Simari and I. Rahwan , Eds. Springer US, New York, 199–218.
P. M. Dung , P. Mancarella and F. Toni 2007. Computing ideal sceptical argumentation. Artificial Intelligence 171, 10–15, 642–674.
O. Febbraro , K. Reale and F. Ricca 2011. ASPIDE: Integrated development environment for answer set programming. In Proc. of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), J. P. Delgrande and W. Faber , Eds. Lecture Notes in Computer Science, vol. 6645. Springer, Berlin Heidelberg, 317–330.
A. J. García , C. I. Chesñevar , N. D. Rotstein and G. R. Simari 2013. Formalizing dialectical explanation support for argument-based reasoning in knowledge-based systems. Expert Systems with Applications 40, 8, 3233–3247.
A. J. García and G. R. Simari 2004. Defeasible logic programming: An argumentative approach. Theory and Practice of Logic Programming 4, 1–2, 95–138.
M. Gelfond 2008. Answer sets. In Handbook of Knowledge Representation, F. van Harmelen , V. Lifschitz , and B. Porter , Eds. Foundations of Artificial Intelligence, vol. 3. Elsevier, San Diego, Chapter 7, 285–316.
M. Gelfond and V. Lifschitz 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 3–4, 365–385.
G. Governatori , M. J. Maher , G. Antoniou and D. Billington 2004. Argumentation semantics for defeasible logic. Journal of Logic and Computation 14, 5, 675–702.
C. Lacave and F. J. Diez 2004. A review of explanation methods for heuristic expert systems. The Knowledge Engineering Review 19, 2, 133–146.
B. Moulin , H. Irandoust , M. Bélanger and G. Desbordes 2002. Explanation and argumentation capabilities: Towards the creation of more persuasive agents. Artificial Intelligence Review 17, 3, 169–222.
H. Prakken 2010. An abstract framework for argumentation with structured arguments. Argument and Computation 1, 2, 93–124.
F. Toni and M. Sergot 2011. Argumentation and answer set programming. In Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, M. Balduccini and T. C. Son , Eds. Lecture Notes in Computer Science, vol. 6565. Springer, Berlin Heidelberg, 164–180.