Reasoning with Axioms: Theory and Practice

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/kr/HorrocksT00, title={Reasoning with Axioms: Theory and Practice}, pages={285-296}, year={2000}, booktitle={KR}, url={http://www.informatik.uni-trier.de/~ley/db/conf/kr/kr2000.html#HorrocksT00}, author={Ian Horrocks and Stephan Tobies} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/Reasoning_with_Axioms:_Theory_and_Practice"
Personal tools