Stijn Heymans, Cristina Feier, Thomas Eiter. A Reasoner for Simple Conceptual Logic Programs. In Axel Polleres, Terrance Swift, editors, Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings. Volume 5837 of Lecture Notes in Computer Science, pages 55-70, Springer, 2009. [doi]
@inproceedings{HeymansFE09,
title = {A Reasoner for Simple Conceptual Logic Programs},
author = {Stijn Heymans and Cristina Feier and Thomas Eiter},
year = {2009},
doi = {10.1007/978-3-642-05082-4_5},
url = {http://dx.doi.org/10.1007/978-3-642-05082-4_5},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/HeymansFE09},
cites = {0},
citedby = {0},
pages = {55-70},
booktitle = {Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings},
editor = {Axel Polleres and Terrance Swift},
volume = {5837},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-05081-7},
}