Strategies for Consistency Checking Based on Unification.

Howard Bowman Eerke A. Boiten John Derrick Maarten Steen

Published in: Sci. Comput. Program. (1999)

Keyphrases

consistency checking
query answering
stochastic search
temporal reasoning
temporal constraints
database
theorem proving
computer vision
three dimensional
higher order
data exchange