Computing Intersections of Horn Theories for Reasoning with Models

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/aaai/EiterIM98, title={Computing Intersections of Horn Theories for Reasoning with Models}, pages={292-297}, year={1998}, booktitle={AAAI/IAAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai98.html#EiterIM98}, author={Thomas Eiter and Toshihide Ibaraki and Kazuhisa Makino} }\end{bibtex}

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