Specification and (property) inheritance in CSP-OZ.

Ernst-Rüdiger Olderog Heike Wehrheim

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

Keyphrases

constraint satisfaction problems
object oriented
constraint programming
object oriented databases
specification language
neural network
high level
constraint satisfaction
constraint propagation
arc consistency
data sets
learning algorithm
constraint solving
multiple inheritance