Login / Signup
Towards flexible, incremental, and paradigm-agnostic consistency checking in multi-level modeling environments.
Andreas Demuth
Markus Riedl-Ehrenleitner
Alexander Egyed
Published in:
MULTI@MoDELS (2014)
Keyphrases
</>
consistency checking
query answering
stochastic search
real world
temporal reasoning
lightweight
temporal constraints
decision making
databases
reinforcement learning
special case
dynamic programming
knowledge discovery
dynamic environments
constraint satisfaction problems
incremental learning