Consistency and Completeness of OMEGA, a Logic for Knowledge Representation

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/ijcai/AttardiS81, title={Consistency and Completeness of OMEGA, a Logic for Knowledge Representation}, pages={504-510}, year={1981}, crossref={DBLP:conf/ijcai/1981}, booktitle={IJCAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai81.html#AttardiS81}, author={Giuseppe Attardi and Maria Simi} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/Consistency_and_Completeness_of_OMEGA%2C_a_Logic_for_Knowledge_Representation"
Personal tools