Keyphrases
- virtual environment
- augmented reality
- logic programming
- virtual world
- asynchronous circuits
- multi valued
- automated reasoning
- virtual reality
- data sets
- predicate logic
- classical logic
- modal logic
- real time
- inference rules
- expert systems
- search algorithm
- computer vision
- defeasible logic
- artificial intelligence
- abductive reasoning
- modal operators
- deontic logic
- delay insensitive