Ioannis Avguleas, Katerina Gkirtzou, Sofia Triantafilou, Antonis Bikakis, Grigoris Antoniou, Efstratios Kontopoulos, Nick Bassiliades. Visualization of Proofs in Defeasible Logic. In Nick Bassiliades, Guido Governatori, Adrian Paschke, editors, Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings. Volume 5321 of Lecture Notes in Computer Science, pages 197-210, Springer, 2008. [doi]
Abstract is missing.