The Logic of Incomplete Knowledge Bases.
Hector J. LevesquePublished in: On Conceptual Modelling (Intervale) (1982)
Keyphrases
- knowledge base
- logic programming
- inconsistent knowledge
- classical logic
- description logics
- possibilistic logic
- knowledge representation
- modal logic
- automated reasoning
- multi valued
- logic programs
- knowledge acquisition
- data model
- predicate logic
- computational properties
- logical framework
- wordnet
- knowledge based systems
- answer set programming
- uncertain information
- incomplete data
- semantic network
- truth values
- tableau calculus