Keyphrases
- conditional logic
- default reasoning
- nonmonotonic reasoning
- belief revision
- defeasible reasoning
- higher order logic
- modal logic
- information theory
- nonmonotonic inference
- information theoretic
- knowledge representation and reasoning
- sound and complete axiomatization
- machine learning
- logic programming
- mutual information
- default logic
- conditional random fields
- logic programs
- web services