A Model-Based Approach to Consistency-Checking.

Stefan Brüning Torsten Schaub

Published in: ISMIS (1996)

Keyphrases

consistency checking
stochastic search
query answering
temporal constraints
temporal reasoning
global consistency
constraint satisfaction problems
cardinal directions
decision making
relational databases
low level
mobile robot
upper bound
constraint satisfaction
data exchange