Keyphrases
- default reasoning
- natural language processing
- belief revision
- nonmonotonic reasoning
- conditional logic
- information extraction
- default logic
- partial order
- machine learning
- probabilistic logic
- probabilistic reasoning
- natural language
- knowledge representation
- proof theory
- closed world reasoning
- default rules
- dependency directed backtracking
- artificial intelligence
- logic programming
- proof theoretic
- inheritance reasoning
- propositional logic
- fixed point
- first order logic
- probabilistic model