Keyphrases
- expressive power
- first order logic
- modal logic
- knowledge base
- computational properties
- valued logic
- inference rules
- classical logic
- higher order
- kripke models
- real world
- propositional dynamic logic
- nonmonotonic inference
- data integration
- search algorithm
- database
- query evaluation
- object oriented
- default logic
- query language
- expert systems
- decision procedures
- conditional logic
- case study
- social networks
- inheritance reasoning