Keyphrases
- dynamic logic
- modal logic
- propositional dynamic logic
- modal operators
- domain knowledge
- knowledge base
- knowledge acquisition
- knowledge discovery
- reasoning about actions
- inference rules
- game theory
- classical first order logic
- artificial intelligence
- nash equilibrium
- temporal logic
- expressive power
- prior knowledge
- expert systems