Abduction and Dialogical Proof in Argumentation and Logic Programming.

Richard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre

Browse the full ECAI paper archive.