The logic tutor.

David Abraham Liz Crawford Leanna Lesta Agathe Merceron Kalina Yacef

Published in: ITiCSE (2001)

Keyphrases

intelligent tutoring systems
modal logic
classical logic
data sets
machine learning
artificial intelligence
tutoring system
automated reasoning
logic programming
inference rules
multi valued
predicate logic
deontic logic
dynamic logic
proof theory