Keyphrases
- three dimensional
- modal logic
- formal semantics
- multi dimensional
- temporal logic
- operational semantics
- kripke models
- nonmonotonic logics
- desirable properties
- semantic information
- logic programming
- model checking
- inference rules
- databases
- expert systems
- decision trees
- information systems
- semantic representation
- logical framework
- computer vision
- model theoretic
- real time