Consistency and Completeness of OMEGA, a Logic for Knowledge Representation.
Giuseppe AttardiMaria SimiPublished in: IJCAI (1981)
Keyphrases
- knowledge representation
- logic programming
- automated reasoning
- knowledge representation formalisms
- commonsense reasoning
- knowledge engineering
- expert systems
- natural language processing
- natural language understanding
- classical logic
- knowledge acquisition
- knowledge base
- natural language
- probabilistic reasoning
- multi valued
- description logics
- semantic web
- computational properties
- nonmonotonic reasoning
- artificial intelligence
- machine learning
- deontic logic
- predicate logic
- theorem proving
- probability theory
- deductive databases
- modal logic
- logic programs
- logical framework
- neural network
- nonmonotonic logics
- digital circuits
- asynchronous circuits
- data model
- maintaining consistency