Constraint satisfaction with an object-oriented knowledge representation language

  title={Constraint satisfaction with an object-oriented knowledge representation language},
  author={Yves Caseau},
  journal={Applied Intelligence},
This article gives a detailed presentation of constraint satisfaction in the hybrid LAURE language. LAURE is an object-oriented language for Artificial Intelligence (AI) applications that allows the user to combine rules, constraints, and methods that cooperate on the same objects in the same program. We illustrate why this extensibility is necessary to solve some large and difficult problems by presenting a real-life application of LAURE. We describe the syntax and the various modes in which… CONTINUE READING
19 Citations
59 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 59 references

A rule-based approach to a time-constrained traveling salesman problem," presented at the Second Int. Syrup

  • Y. Caseau, P. Koppstein
  • Artif lntell. Math.,
  • 1992
Highly Influential
5 Excerpts

Ex- tending equation solving and constraint handling in logic programming,

  • M. Dinchas, H. Simonis, P. Van Hentenryck
  • Colloquium on Resolution of Equation in Algebraic…
  • 1987
Highly Influential
6 Excerpts

Levenez, "A deductive and object-oriented approach to a complex scheduling

  • Y. Caseau, P.-Y. Guillo
  • Proc. Third Int. Conf. Deductive and Ob- ject…
  • 1993
1 Excerpt

Constraint program- ming and graph algorithms," presented at the Second Int. Syrup

  • M. Ganger, B. Rosenberg
  • Artif. Intell. Math.,
  • 1992
1 Excerpt

Similar Papers

Loading similar papers…