%0 Conference Paper %1 conf/ruleml/AvguleasGTBAKB08 %A Avguleas, Ioannis %A Gkirtzou, Katerina %A Triantafilou, Sofia %A Bikakis, Antonis %A Antoniou, Grigoris %A Kontopoulos, Efstratios %A Bassiliades, Nick %B RuleML %D 2008 %E Bassiliades, Nick %E Governatori, Guido %E Paschke, Adrian %I Springer %K defeasible explanation logic non-monotonic proofs rules %P 197-210 %T Visualization of Proofs in Defeasible Logic. %U http://dblp.uni-trier.de/db/conf/ruleml/ruleml2008.html#AvguleasGTBAKB08 %V 5321 %@ 978-3-540-88807-9

@inproceedings{conf/ruleml/AvguleasGTBAKB08, added-at = {2008-11-14T14:17:36.000+0100}, author = {Avguleas, Ioannis and Gkirtzou, Katerina and Triantafilou, Sofia and Bikakis, Antonis and Antoniou, Grigoris and Kontopoulos, Efstratios and Bassiliades, Nick}, biburl = {https://www.bibsonomy.org/bibtex/285022f5fe56101725c1dd1fbad11fda3/fraktalek}, booktitle = {RuleML}, crossref = {conf/ruleml/2008}, date = {2008-11-03}, description = {dblp}, editor = {Bassiliades, Nick and Governatori, Guido and Paschke, Adrian}, ee = {http://dx.doi.org/10.1007/978-3-540-88808-6_21}, interhash = {39c0eab8dcde371b77278f2d462be3f7}, intrahash = {85022f5fe56101725c1dd1fbad11fda3}, isbn = {978-3-540-88807-9}, keywords = {defeasible explanation logic non-monotonic proofs rules}, pages = {197-210}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2008-11-14T14:17:36.000+0100}, title = {Visualization of Proofs in Defeasible Logic.}, url = {http://dblp.uni-trier.de/db/conf/ruleml/ruleml2008.html#AvguleasGTBAKB08}, volume = 5321, year = 2008 }