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]
@inproceedings{AvguleasGTBAKB08,
title = {Visualization of Proofs in Defeasible Logic},
author = {Ioannis Avguleas and Katerina Gkirtzou and Sofia Triantafilou and Antonis Bikakis and Grigoris Antoniou and Efstratios Kontopoulos and Nick Bassiliades},
year = {2008},
doi = {10.1007/978-3-540-88808-6_21},
url = {http://dx.doi.org/10.1007/978-3-540-88808-6_21},
tags = {logic},
researchr = {https://researchr.org/publication/AvguleasGTBAKB08},
cites = {0},
citedby = {0},
pages = {197-210},
booktitle = {Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings},
editor = {Nick Bassiliades and Guido Governatori and Adrian Paschke},
volume = {5321},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-88807-9},
}