Crowd-scale interactive formal reasoning and analytics.
Ethan FastColleen LeeAlex AikenMichael S. BernsteinDaphne KollerEric SmithPublished in: UIST (2013)
Keyphrases
- formal models
- meta level
- learning analytics
- visual analytics
- logical reasoning
- knowledge representation
- formal model
- business intelligence
- virtual reality
- automated reasoning
- spatial reasoning
- data management
- case study
- legal argument
- data mining
- data exploration
- reasoning systems
- computer algebra systems
- big data
- scale space
- knowledge base
- information visualization
- probabilistic reasoning
- data visualization
- reasoning processes
- social media
- crowd sourced
- database