Keyphrases
- default logic
- inheritance reasoning
- expressive power
- defeasible reasoning
- conditional logic
- defeasible logic
- default reasoning
- classical logic
- practical reasoning
- search engine
- modal logic
- programming language
- nonmonotonic logics
- bayesian networks
- case study
- knowledge base
- conflicting information
- nonmonotonic inference
- propositional calculus
- social networks