Logic Knowledge Bases With Two Default Rules.
Carolina RuizJack MinkerPublished in: Ann. Math. Artif. Intell. (1998)
Keyphrases
- default rules
- commonsense reasoning
- logic programming
- default logic
- knowledge base
- nonmonotonic reasoning
- default reasoning
- description logic knowledge base
- knowledge representation
- classical logic
- nonmonotonic logics
- default theories
- autoepistemic logic
- modal logic
- description logics
- incomplete information
- logic programs
- possibility theory
- event calculus
- probabilistic reasoning
- belief revision
- deductive databases
- probability theory
- formal theory
- expert systems
- dl lite
- high level