Keyphrases
- virtual reality
- virtual environment
- virtual world
- defeasible logic
- logic programming
- augmented reality
- modal logic
- predicate logic
- classical logic
- computational properties
- asynchronous circuits
- expert systems
- batch processing
- automated reasoning
- proof theory
- virtual teams
- logical framework
- multi valued
- data sets
- social networks
- databases