Proceedings

Giuseppe Attardi

1 paper in the IJCAI proceedings

IJCAI 1981

Consistency and Completeness of OMEGA, a Logic for Knowledge Representation
with Maria Simi
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards