@inproceedings{ dblp2912011,
  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},
  author_short = {Avguleas, I. and Gkirtzou, K. and Triantafilou, S. and Bikakis, A. and Antoniou, G. and Kontopoulos, E. and Bassiliades, N.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2008},
  key = {dblp2912011},
  id = {dblp2912011},
  biburl = {http://www.dblp.org/rec/bibtex/conf/ruleml/AvguleasGTBAKB08},
  url = {http://dx.doi.org/10.1007/978-3-540-88808-6_21},
  conference = {RuleML},
  pages = {197-210},
  text = {RuleML 2008:197-210},
  booktitle = {Proceedings of Rules and Rule Markup Languages for the Semantic Web (RuleML)}
}

{"_id":"7i8FFhRveeny3GPKw","authorIDs":[],"author_short":["Avguleas, I.","Gkirtzou, K.","Triantafilou, S.","Bikakis, A.","Antoniou, G.","Kontopoulos, E.","Bassiliades, N."],"bibbaseid":"avguleas-gkirtzou-triantafilou-bikakis-antoniou-kontopoulos-bassiliades-visualizationofproofsindefeasiblelogic-2008","bibdata":{"title":"Visualization of Proofs in Defeasible Logic","author":["Ioannis Avguleas","Katerina Gkirtzou","Sofia Triantafilou","Antonis Bikakis","Grigoris Antoniou","Efstratios Kontopoulos","Nick Bassiliades"],"author_short":["Avguleas, I.","Gkirtzou, K.","Triantafilou, S.","Bikakis, A.","Antoniou, G.","Kontopoulos, E.","Bassiliades, N."],"bibtype":"inproceedings","type":"inproceedings","year":"2008","key":"dblp2912011","id":"dblp2912011","biburl":"http://www.dblp.org/rec/bibtex/conf/ruleml/AvguleasGTBAKB08","url":"http://dx.doi.org/10.1007/978-3-540-88808-6_21","conference":"RuleML","pages":"197-210","text":"RuleML 2008:197-210","booktitle":"Proceedings of Rules and Rule Markup Languages for the Semantic Web (RuleML)","bibtex":"@inproceedings{ dblp2912011,\n title = {Visualization of Proofs in Defeasible Logic},\n author = {Ioannis Avguleas and Katerina Gkirtzou and Sofia Triantafilou and Antonis Bikakis and Grigoris Antoniou and Efstratios Kontopoulos and Nick Bassiliades},\n author_short = {Avguleas, I. and Gkirtzou, K. and Triantafilou, S. and Bikakis, A. and Antoniou, G. and Kontopoulos, E. and Bassiliades, N.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2008},\n key = {dblp2912011},\n id = {dblp2912011},\n biburl = {http://www.dblp.org/rec/bibtex/conf/ruleml/AvguleasGTBAKB08},\n url = {http://dx.doi.org/10.1007/978-3-540-88808-6_21},\n conference = {RuleML},\n pages = {197-210},\n text = {RuleML 2008:197-210},\n booktitle = {Proceedings of Rules and Rule Markup Languages for the Semantic Web (RuleML)}\n}","bibbaseid":"avguleas-gkirtzou-triantafilou-bikakis-antoniou-kontopoulos-bassiliades-visualizationofproofsindefeasiblelogic-2008","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-88808-6_21"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/ruleml/AvguleasGTBAKB08","creationDate":"2014-12-28T23:08:54.815Z","downloads":0,"keywords":[],"search_terms":["visualization","proofs","defeasible","logic","avguleas","gkirtzou","triantafilou","bikakis","antoniou","kontopoulos","bassiliades"],"title":"Visualization of Proofs in Defeasible Logic","year":2008,"dataSources":["kQPkxuev68x8x2xNc"]}