Representing and Using Procedural Knowledge to Build Geometry Proofs.

Thomas F. McDougal Kristian J. Hammond

Published in: AAAI (1993)

Keyphrases

procedural knowledge
declarative knowledge
domain knowledge
intelligent tutoring systems
knowledge acquisition
learning outcomes
conceptual knowledge
three dimensional
domain experts
theorem prover
theorem proving
general purpose
student knowledge
data mining
knowledge base
domain specific