Pavel Klinov, Bijan Parsia. Demonstrating Pronto: a Non-Monotonic Probabilistic OWL Reasoner (Demo Description). In Kendall Clark, Peter F. Patel-Schneider, editors, Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, Washington, DC, USA, 1-2 April 2008. Volume 496 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
@inproceedings{KlinovP08a-0,
title = {Demonstrating Pronto: a Non-Monotonic Probabilistic OWL Reasoner (Demo Description)},
author = {Pavel Klinov and Bijan Parsia},
year = {2008},
url = {http://ceur-ws.org/Vol-496/owled2008dc_paper_2.pdf},
researchr = {https://researchr.org/publication/KlinovP08a-0},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, Washington, DC, USA, 1-2 April 2008},
editor = {Kendall Clark and Peter F. Patel-Schneider},
volume = {496},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}