L2C2: Logic-based LSC Consistency Checking

Hai-Feng Guo Wen Zheng Mahadevan Subramaniam

Published in: CoRR (2010)

Keyphrases

consistency checking
stochastic search
query answering
utility function
temporal reasoning
temporal constraints
knowledge representation
constraint satisfaction problems
path consistency
mobile devices
databases
search algorithm
object oriented
database applications
temporal information