Keyphrases
- conditional logic
- default reasoning
- nonmonotonic reasoning
- belief revision
- modal logic
- higher order logic
- defeasible reasoning
- nonmonotonic inference
- knowledge representation and reasoning
- machine learning
- computer vision
- sound and complete axiomatization
- sequent calculi
- logic programming
- multi agent
- state space
- knowledge representation
- probabilistic logic
- multi agent systems
- search algorithm
- data mining