Skip to Main content Skip to Navigation
Conference papers

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 hypothe- ses that explain skeptical/credulous support) and we show that our model can be instantiated on the basis of abductive logic programs.
Document type :
Conference papers
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download
Contributor : Souhila Kaci Connect in order to contact the contributor
Submitted on : Saturday, June 29, 2019 - 7:07:55 PM
Last modification on : Friday, October 22, 2021 - 3:07:24 PM


Files produced by the author(s)




Richard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert van der Torre. Abduction and Dialogical Proof in Argumentation and Logic Programming. ECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.117-122, ⟨10.3233/978-1-61499-419-0-117⟩. ⟨lirmm-01082080⟩



Les métriques sont temporairement indisponibles