Login / Signup
Combining Heuristics and Formal Methods in a Tool for Supporting Simulation-Based Discovery Learning.
Koen Veermans
Wouter R. van Joolingen
Published in:
Intelligent Tutoring Systems (2004)
Keyphrases
</>
formal methods
learning process
reinforcement learning
online learning
knowledge discovery
learning algorithm
information systems
xml documents
learning systems
heuristic search
provably correct