Constructive Consistency Checking for Partial Specification in Z.

Eerke A. Boiten John Derrick Howard Bowman Maarten Steen

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

Keyphrases

consistency checking
stochastic search
query answering
high level
temporal constraints
temporal reasoning
multi agent systems
cardinal directions
data analysis
constraint satisfaction problems
user defined
qualitative and quantitative
specification language