RAESON: A Tool for Reasoning Tasks Driven by Interactive Visualization of Logical Structure.
Stefan MinicaPublished in: CoRR (2015)
Keyphrases
- interactive visualization
- reasoning tasks
- logical structure
- information visualization
- description logics
- interactive visual
- data visualization
- temporal reasoning
- situation calculus
- automated reasoning
- answer set programming
- structural information
- logic programming
- data mining and knowledge discovery
- data processing
- data analysis
- big data
- databases
- semantic relationships
- multidimensional data
- visualization tool
- knowledge discovery
- bayesian networks