Keyphrases
- default reasoning
- belief revision
- nonmonotonic reasoning
- default logic
- conditional logic
- partial order
- closed world reasoning
- dependency directed backtracking
- default rules
- inheritance reasoning
- proof theory
- probabilistic reasoning
- probabilistic logic
- belief change
- proof theoretic
- default theories
- possibility theory
- commonsense reasoning
- neural network
- multilayer perceptron
- logic programming
- knowledge representation
- probability distribution
- machine learning