Keyphrases
- nonmonotonic logics
- default logic
- defeasible reasoning
- modal logic
- nonmonotonic reasoning
- multi context systems
- knowledge representation
- knowledge base
- default theories
- reasoning systems
- automated reasoning
- defeasible logic
- machine learning
- temporal logic
- propositional logic
- fine grained
- default reasoning
- neural network