Keyphrases
- virtual world
- augmented reality
- virtual environment
- high resolution
- logic programming
- virtual reality
- defeasible logic
- low resolution
- information retrieval
- asynchronous circuits
- deontic logic
- modal logic
- search engine
- expert systems
- automated reasoning
- multi valued
- probabilistic logic
- higher resolution
- computational properties
- genetic algorithm
- data sets
- valued logic
- sound and complete axiomatization