Attardi, Giuseppe

2 publications

IJCAI 1981 Consistency and Completeness of OMEGA, a Logic for Knowledge Representation Giuseppe Attardi, Maria Simi

AAAI 1980 Knowledge Embedding in the Description System Omega Carl Hewitt, Giuseppe Attardi, Maria Simi