Keyphrases
- knowledge base
- closed world reasoning
- belief revision
- logic programming
- default reasoning
- minimal models
- nonmonotonic reasoning
- knowledge based systems
- knowledge representation
- nonmonotonic logics
- expert systems
- description logics
- situation calculus
- commonsense knowledge
- inference engine
- propositional logic
- knowledge acquisition
- artificial intelligence
- semantic network
- rule base
- theory revision
- answer sets
- data mining
- deductive databases
- belief change
- knowledge sources
- stable model semantics
- case based reasoning
- relevant knowledge
- revision operators