Keyphrases
- three dimensional
- modal logic
- d objects
- logic programming
- image sequences
- virtual reality
- databases
- computational properties
- human body
- deductive reasoning
- classical logic
- x ray
- computer vision
- multi view
- viewpoint
- range images
- multi agent
- knowledge base
- digital circuits
- formal theory
- epistemic logic
- proof theory
- search engine