Inference in the FO(C) Modelling Language.

Bart Bogaerts Joost Vennekens Marc Denecker Jan Van den Bussche

Published in: ECAI (2014)

Keyphrases

modelling language
formal semantics
first order logic
learning scenarios
adaptive learning
knowledge representation
learning design
database
databases
mobile devices
case based reasoning
software engineering
online learning
defeasible logic