Students' natural language (NL) explanations in the domain of qualitative mechanics lie in-between unrestricted NL and the constrained NL of "proper" domain stateme...
Maxim Makatchev, Kurt VanLehn, Pamela W. Jordan, U...
Abstract--Many efforts are centered around creating largescale networks of "smart things" found in the physical world (e.g., wireless sensor and actuator networks, embedd...
An example of a problem in the physical sciences is discussed where application of various symbolic computation facilities available in many algebraic computing systems leads to a...
In this paper we introduce G-expressions, a new syntax based on the S-expression syntax utilized by most Lisp family languages. We have implemented a new homoiconic language, Ging...
"This is a textbook for a first computer science course for students majoring in computer science, as well as mathematics and the physical and social sciences"