Heráclito: Intelligent Tutoring System for Logic.

Fabiane Flores Penteado Galafassi Cristiano Galafassi Rosa Maria Vicari João Carlos Gluz

Published in: PAAMS (2019)

Keyphrases

intelligent tutoring systems
tutoring system
constraint based modeling
student model
modal logic
authoring tool
intelligent tutoring
logic programming
concept maps
cognitive model
tutorial dialogue
student knowledge
model tracing
knowledge space theory
domain knowledge
procedural knowledge
pedagogical agents