Keyphrases
- virtual environment
- virtual world
- augmented reality
- virtual reality
- predicate logic
- classical logic
- logic programming
- virtual machine
- modal logic
- databases
- defeasible logic
- real time
- integrity constraints
- probabilistic logic
- logical framework
- information systems
- search engine
- virtual laboratory
- abductive reasoning
- epistemic logic
- natural deduction