Consistency Checking for LSC Specifications.

Hai-Feng Guo Wen Zheng Mahadevan Subramaniam

Published in: TASE (2009)

Keyphrases

consistency checking
stochastic search
query answering
temporal reasoning
temporal constraints
utility function
delay insensitive
formal specification
path consistency
high level
specification language
database
relational databases
knowledge discovery
upper bound