Michael Lee, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler. A Multi-reasoner, Justification-Based Approach to Reasoner Correctness. In Marcelo Arenas, Óscar Corcho, Elena Simperl, Markus Strohmaier, Mathieu d'Aquin, Kavitha Srinivas, Paul T. Groth, Michel Dumontier, Jeff Heflin, Krishnaprasad Thirunarayan, Steffen Staab, editors, The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part II. Volume 9367 of Lecture Notes in Computer Science, pages 393-408, Springer, 2015. [doi]
@inproceedings{LeeMPS15,
title = {A Multi-reasoner, Justification-Based Approach to Reasoner Correctness},
author = {Michael Lee and Nicolas Matentzoglu and Bijan Parsia and Uli Sattler},
year = {2015},
doi = {10.1007/978-3-319-25010-6_26},
url = {http://dx.doi.org/10.1007/978-3-319-25010-6_26},
researchr = {https://researchr.org/publication/LeeMPS15},
cites = {0},
citedby = {0},
pages = {393-408},
booktitle = {The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part II},
editor = {Marcelo Arenas and Óscar Corcho and Elena Simperl and Markus Strohmaier and Mathieu d'Aquin and Kavitha Srinivas and Paul T. Groth and Michel Dumontier and Jeff Heflin and Krishnaprasad Thirunarayan and Steffen Staab},
volume = {9367},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-25009-0},
}