Title
Abduction and Dialogical Proof in Argumentation and Logic Programming.
Abstract
We develop a model of abduction in abstract argumentation, where changes to an argumentation framework act as hypotheses to explain the support of an observation. We present dialogical proof theories for the main decision problems (i.e., finding hypotheses that explain skeptical/credulous support) and we show that our model can be instantiated on the basis of abductive logic programs.
Year
DOI
Venue
2014
10.3233/978-1-61499-419-0-117
Frontiers in Artificial Intelligence and Applications
DocType
Volume
ISSN
Journal
263
0922-6389
Citations 
PageRank 
References 
8
0.51
9
Authors
5
Name
Order
Citations
PageRank
Richard Booth1726.23
Dov M. Gabbay280.51
Souhila Kaci378353.25
Tjitze Rienstra48910.84
Leendert van der Torre52930224.99