Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases.
Bertrand MazureLakhdar SaisÉric GrégoirePublished in: ECSQARU-FAPR (1997)
Keyphrases
- knowledge base
- consistency checking
- logic programming
- closed world reasoning
- nonmonotonic reasoning
- knowledge representation
- description logics
- expert systems
- belief base
- tableau calculus
- default logic
- belief revision
- knowledge sources
- default reasoning
- knowledge acquisition
- reasoning process
- logic programs
- maintaining consistency
- minimal models
- dl lite
- global consistency
- background knowledge
- integrity constraints
- temporal reasoning
- semantic network
- rule base
- query answering