Incremental Consistency Checking of Heterogeneous Multimodels.

Zinovy Diskin Harald König

Published in: STAF Workshops (2016)

Keyphrases

consistency checking
stochastic search
query answering
temporal reasoning
incremental learning
temporal constraints
global consistency
high level
cooperative
decision making
search algorithm
low level
dynamic environments
data integration
data exchange
incremental version