Sign in

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

Roger NkambouClauvice KenfackSerge RobertJanie Brisson
Published in: AIED (2015)
Keyphrases
  • design rationale
  • logical reasoning
  • formal semantics
  • logic programming
  • petri net
  • modeling language
  • database
  • design patterns