Keyphrases
- virtual environment
- modal logic
- virtual world
- augmented reality
- virtual reality
- logic programming
- database
- computer vision
- asynchronous circuits
- neural network
- deductive reasoning
- predicate logic
- digital circuits
- expert systems
- evolutionary algorithm
- user interface
- computational properties
- data structure
- abductive reasoning
- three dimensional
- knowledge base
- linear temporal logic