| [3] | Abduction and Dialogical Proof in Argumentation and Logic Programming (Richard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre), In CoRR, volume abs/1407.3896, 2014.
[bib] [pdf] |
| [2] | Abduction and Dialogical Proof in Argumentation and Logic Programming (Richard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre), In ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014) (Torsten Schaub, Gerhard Friedrich, Barry O'Sullivan, eds.), IOS Press, volume 263, 2014.
[bib] [pdf] [doi] |
| [1] | Conditional Acceptance Functions (Richard Booth, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre), In COMMA (Bart Verheij, Stefan Szeider, Stefan Woltran, eds.), IOS Press, volume 245, 2012.
[bib] [pdf] |