Keyphrases
- epistemic logic
- expressive power
- modal logic
- modal operators
- propositional dynamic logic
- belief change
- horn logic
- inference rules
- model checking
- neural network
- higher order
- data structure
- information retrieval
- description logics
- logic programs
- query language
- bayesian networks
- information systems
- computer vision
- artificial intelligence
- propositional calculus
- socio cognitive
- data sets