Virtual Theories - A Uniform Interface to Mathematical Knowledge Bases.
Tom WiesingMichael KohlhaseFlorian RabePublished in: MACIS (2017)
Keyphrases
- knowledge base
- theory revision
- direct manipulation
- mathematical models
- augmented reality
- user interface
- virtual reality
- description logics
- virtual environment
- knowledge based systems
- semantic network
- virtual world
- knowledge representation
- friendly interface
- virtual objects
- visual interface
- defeasible logic
- mathematical expressions
- linear array
- user friendly
- logic programming
- knowledge acquisition
- information systems
- data sets
- java applet
- causal inferences
- general theory
- concept learning
- metadata
- machine learning
- databases