Papers and technical reports about ELAN

Applications -- Solving

- [56] J. Stuber:
.Experiments with an Implementation of Extended Narrowing And Resolution in the Rewriting Language ELAN (System Description) - Submitted to RTA'2001, December 2000.

- [45] H.Dubois and H.Kirchner:
Rule Based Programming with Constraints and Strategies. - "New Trends in Constraints" (Papers from the Joint ERCIM/Compulog-Net Workshop, Cyprus, October 25-27, 1999). K.R. Apt, A.C. Kakas, E. Monfroy, F. Rossi Editors. Lecture Notes in Artificial Intelligence, Volume 1865, pages 274-297. Springer-Verlag, 2000.

- [38] H.Dubois and H.Kirchner:
Rule Based Programming with Constraints and Strategies. - Proceedings of the Workshop of the COMPULOG/ERCIM Working Group on Constraints, Paphos, Cyprus, October 1999.

- [37] C.Castro:
Une approche déductive de la résolution de problèmes de satisfaction de contraintes. - In French. Thèse de Doctorat d'Université, Université Henri Poincaré - Nancy I, December 1998.

- [32] P. Borovansky, and C. Castro:
Cooperation of Constraint Solvers: Using the New Process Control Facilities of ELAN - In C. and H. Kirchner, editors. Proceedings of the 2nd International Workshop on Rewriting Logic and its Applications, Pont-A-Mousson, France, September 1998

- [31] C. Castro:
Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies. - Fundamenta Informaticae, 34(3):263-293. September 1998.

- [30] C. Castro:
Constraint Manipulation using Rewrite Rules and Strategies. - In A. Drewery, G.-J. M. Kruijff, and R. Zuber, editors. Proceedings of the 2nd ESSLLI Student Session, 9th European Summer School in Logic, Language and Information, ESSLLI'97, pages 45-56, Aix-en-Provence, France, August 1997.

- [27] C. Ringeissen:
Prototyping Combination of Unification Algorithms with the ELAN Rule-Based Programming Language - In Proceedings of the 8th Conference on Rewriting Techniques and Applications, Sitges (Spain) 1997.
Illustrates the capability of ELAN for combining constraint solvers.

- [29] C. Castro:
Binary CSP Solving as an Inference Process. - In Proceedings of the 8th International Conference on Tools in Artificial Intelligence, ICTAI'96, Toulouse, France, pages 462-463, November 1996.

- [28] C. Castro:
Solving Binary CSP using Computational Systems - In J. Meseguer, editors. Proceedings of the first international workshop on rewriting logic. Asilomar 1996.
Description of the rewrite rule approach for CSP.