Login / Signup

Modeling Students' Reasoning About Qualitative Physics: Heuristics for Abductive Proof Search.

Maxim MakatchevPamela W. JordanKurt VanLehn
Published in: Intelligent Tutoring Systems (2004)
Keyphrases
  • qualitative physics
  • proof search
  • theorem proving
  • theorem prover
  • linear logic
  • proof procedure
  • artificial intelligence
  • constraint satisfaction
  • fixed point