Keyphrases
- logical rules
- first order logic
- expressive power
- inference rules
- modal logic
- integrity constraints
- propositional dynamic logic
- nonmonotonic logics
- data sets
- query language
- computer vision
- multi agent systems
- case study
- classical logic
- decision procedures
- hand drawn
- valued logic
- search engine
- propositional calculus
- database
- coalition logic