Inference in the FO(C) Modelling Language.

Bart Bogaerts Joost Vennekens Marc Denecker Jan Van den Bussche

Published in: CoRR (2014)

Keyphrases

modelling language
formal semantics
first order logic
learning scenarios
learning design
bayesian networks
learning environment