The Design Rationale of Logic-Muse, an ITS for Logical Reasoning in Multiple Contexts.

Roger Nkambou Clauvice Kenfack Serge Robert Janie Brisson

Published in: AIED (2015)

Keyphrases

design rationale
logical reasoning
formal semantics
logic programming
petri net
modeling language
database
design patterns