L2C2: logic-based LSC consistency checking.

Hai-Feng Guo Wen Zheng Mahadevan Subramaniam

Published in: PPDP (2009)

Keyphrases

consistency checking
stochastic search
query answering
utility function
knowledge representation
temporal constraints
temporal reasoning
path consistency
databases
cardinal directions
data sets
data exchange
heuristic search
multiagent systems
decision support
upper bound
global consistency
case study