Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling.

Harald König Zinovy Diskin

Published in: ECMFA (2016)

Keyphrases

global consistency
consistency checking
globally consistent
path consistency
set intersection
temporal constraints
convex constraints
tractable subclasses
database
worst case
description logics
temporal reasoning
web intelligence
constraint propagation