Adaptable Mixed-Initiative Proof Planning for Educational Interaction.

Andreas Meier Erica Melis Martin Pollet

Published in: Electron. Notes Theor. Comput. Sci. (2004)

Keyphrases

mixed initiative
proof planning
direct manipulation
interaction model
theorem proving
concept formation
building intelligent
intelligent tutoring
knowledge engineering
dialogue system
theorem prover
proof search
machine learning
software agents
learning environment
reinforcement learning
e learning