Consistency and Completeness of OMEGA, a Logic for Knowledge Representation.

Giuseppe Attardi, Maria Simi

Browse the full IJCAI paper archive.