Keyphrases
- conditional logic
- belief revision
- belief change
- modal logic
- default reasoning
- epistemic logic
- nonmonotonic reasoning
- higher order logic
- knowledge representation and reasoning
- nonmonotonic inference
- modal operators
- logical framework
- knowledge base
- logic programming
- sequent calculi
- machine learning
- probability theory
- automated reasoning
- probabilistic logic
- probabilistic reasoning
- inference rules
- data model
- relational databases
- high level
- artificial intelligence
- data mining