Knowledge Compilation for Closed World Reasoning and Circumscription.
Sylvie Coste-MarquisPierre MarquisPublished in: J. Log. Comput. (2001)
Keyphrases
- closed world reasoning
- knowledge compilation
- default reasoning
- knowledge base
- product configuration
- dl programs
- prime implicates
- model counting
- belief revision
- knowledge based systems
- nonmonotonic reasoning
- partial order
- normal form
- polynomial size
- description logics
- default logic
- probabilistic reasoning
- relational databases
- databases
- knowledge acquisition
- target language
- logic programming
- software engineering
- machine learning