Logic Foundations of the OCL Modelling Language.

Enrico Franconi Alessandro Mosca Xavier Oriol Guillem Rull Ernest Teniente

Published in: JELIA (2014)

Keyphrases

modelling language
defeasible logic
formal semantics
learning scenarios
artificial intelligence
modeling language
constraint language
learning design
modal logic
logic programming
learning experience
black box
metamodel
ims ld
automated reasoning
video games
fuzzy logic