Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Proceedings of Seventh International Joint Conference on Artificial Intelligence Vancouver, Canada, August 1981, 504510
 

Summary: Proceedings of Seventh International Joint Conference on Artificial Intelligence
Vancouver, Canada, August 1981, 504­510
Consistency and Completeness of Omega,
a Logic for Knowledge Representation
Giuseppe Attardi and Maria Simi
Massachusetts Institute of Technology
545 Technology Square
Cambridge, Mass. 02139
(617) 253-7891/5835
Istituto di Scienze dell'Informazione
Corso Italia 40
I-56100 Pisa, Italy
(50) 40 862
Abstract
Omega is a description system for knowledge embedding
which incorporates some of the attractive modes of expression
in natural language such as descriptions, inheritance,
quantification, negation, attributions and multiple viewpoints. It
combines mechanisms of the predicate calculus, type systems,
and pattern matching systems. Description abstraction is a

  

Source: Attardi, Giuseppe - Dipartimento di Informatica, Universitą di Pisa

 

Collections: Computer Technologies and Information Sciences