Consistency Checking in an Infrastructure for Large-Scale Generative.

Axel Rauschmayer Alexander Knapp Martin Wirsing

Published in: ASE (2004)

Keyphrases

consistency checking
stochastic search
query answering
temporal constraints
temporal reasoning
generative model
real world
special case
arc consistency
computer vision
three dimensional