Keyphrases
- kripke models
- modal logic
- multi agent
- formal semantics
- logic programming
- model checking
- temporal logic
- inference rules
- operational semantics
- real world
- real time
- genetic algorithm
- specification language
- desirable properties
- reactive systems
- action theories
- model theoretic
- active rules
- schema mappings
- information systems
- artificial intelligence