An Application of CLP: Checking the Correctness of Theorems in Geometry.

Denis Bouhineau Laurent Trilling Jacques Cohen

Published in: Constraints An Int. J. (1999)

Keyphrases

constraint logic programming
three dimensional
databases
constraint programming
neural network
ordered sets
consistency checking
scheduling problem
machine learning
image sequences
multi agent
case study
information systems
geometric features
artificial intelligence
integrity checking
sequent calculus
data mining