Login / Signup
Merging visual analysis with automated reasoning: Using Prajna to solve the traffic challenge.
Edward Swing
Published in:
IEEE VAST (2009)
Keyphrases
</>
automated reasoning
visual analysis
knowledge representation
theorem proving
theorem prover
probabilistic reasoning
information visualization
eye tracking data
reasoning tasks
visual analytics
interactive exploration
data analysis
user interface
machine learning
natural language
expert systems