Keyphrases
- formal language
- micron cmos
- virtual environment
- logic programming
- modal logic
- mathematical theory
- virtual world
- computational logic
- augmented reality
- formal model
- formal specification
- ctl model update
- multi valued
- highly expressive
- logical framework
- formal representation
- operational semantics
- automated reasoning
- expert systems
- floating point
- virtual reality
- learning algorithm
- real time
- information systems
- delay insensitive
- programming language
- arithmetic operations
- predicate logic
- virtual laboratory
- model theoretic
- formal methods
- formal models
- nonmonotonic logics
- defeasible logic
- classical logic