Keyphrases
- modal logic
- classical logic
- temporal logic
- inference rules
- nonmonotonic logics
- epistemic logic
- dynamic logic
- neural network
- modal operators
- truth values
- kripke models
- default logic
- situation calculus
- case study
- real world
- natural language
- multi agent
- similarity measure
- knowledge base
- social networks
- information retrieval
- data mining
- databases
- database