Panel: Engage in Reasoning with Tools.

Gregory Kulczycki Murali Sitaraman Nigamanth Sridhar Bruce W. Weide

Published in: SIGCSE (2016)

Keyphrases

formal models
end users
user friendly
knowledge base
knowledge representation
knowledge representation systems
information retrieval
software tools
reasoning tasks
design decisions
probabilistic reasoning
meta level
spatial reasoning
computational tools