Keyphrases
- default reasoning
- logic programming
- nonmonotonic reasoning
- default logic
- belief revision
- probabilistic reasoning
- conditional logic
- closed world reasoning
- partial order
- inference rules
- dependency directed backtracking
- logic programs
- probabilistic logic
- proof theory
- deductive databases
- commonsense reasoning
- default rules
- inheritance reasoning
- classical logic
- knowledge representation
- answer set programming
- knowledge representation and reasoning
- artificial intelligence
- possibility theory
- general purpose
- programming language
- graphical models