Keyphrases
- game theory
- inference rules
- logic programming
- modal logic
- desirable properties
- kripke models
- model theoretic
- formal semantics
- semantic relationships
- deductive databases
- temporal logic
- model checking
- neural network
- semantic information
- sufficient conditions
- object oriented
- artificial intelligence
- variational inequalities
- real time
- single commodity
- games with incomplete information
- database