Keyphrases
- expressive power
- modal logic
- relational databases
- relational data
- data model
- mental models
- relational learning
- propositional calculus
- classical logic
- entity relationship
- order sorted
- database
- propositional dynamic logic
- proof theory
- inference rules
- information extraction
- expert systems
- case study
- artificial intelligence