Keyphrases
- virtual environment
- classical logic
- augmented reality
- virtual reality
- asynchronous circuits
- predicate logic
- logic programming
- modal logic
- automated reasoning
- multi valued
- virtual world
- linear temporal logic
- machine learning
- computational properties
- logical framework
- probabilistic logic
- expressive power
- genetic algorithm