Jérémie Dauphin, Marcos Cramer. ASPIC-END: Structured Argumentation with Explanations and Natural Deduction. In Elizabeth Black, Sanjay Modgil, Nir Oren, editors, Theory and Applications of Formal Argumentation - 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers. Volume 10757 of Lecture Notes in Computer Science, pages 51-66, Springer, 2017. [doi]
Abstract is missing.