Proof Explanation for the Semantic Web Using Defeasible Logic

Grigoris Antoniou, Antonis Bikakis, Nikos Dimaresis, Manolis Genetzakis, Giannis Georgalis, Guido Governatori, Efie Karouzaki, Nikolas Kazepis, Dimitris Kosmadakis, Manolis Kritsotakis, Giannis Lilis, Antonis Papadogiannakis, Panagiotis Pediaditis, Constantinos Terzakis, Rena Theodosaki, Dimitris Zeginis. Proof Explanation for the Semantic Web Using Defeasible Logic. In Zili Zhang, Jörg H. Siekmann, editors, Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings. Volume 4798 of Lecture Notes in Computer Science, pages 186-197, Springer, 2007. [doi]

@inproceedings{AntoniouBDGGGKKKKLPPTTZ07,
  title = {Proof Explanation for the Semantic Web Using Defeasible Logic},
  author = {Grigoris Antoniou and Antonis Bikakis and Nikos Dimaresis and Manolis Genetzakis and Giannis Georgalis and Guido Governatori and Efie Karouzaki and Nikolas Kazepis and Dimitris Kosmadakis and Manolis Kritsotakis and Giannis Lilis and Antonis Papadogiannakis and Panagiotis Pediaditis and Constantinos Terzakis and Rena Theodosaki and Dimitris Zeginis},
  year = {2007},
  doi = {10.1007/978-3-540-76719-0_21},
  url = {http://dx.doi.org/10.1007/978-3-540-76719-0_21},
  tags = {logic, semantic web},
  researchr = {https://researchr.org/publication/AntoniouBDGGGKKKKLPPTTZ07},
  cites = {0},
  citedby = {0},
  pages = {186-197},
  booktitle = {Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings},
  editor = {Zili Zhang and Jörg H. Siekmann},
  volume = {4798},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-76718-3},
}