- [ACDK96]
-
Farid Ajili, Carlos Castro, Eric Domenjoud, and Claude Kirchner.
Rapport de fin de pré-étude: Etude de Faisabilité de la Gestion
de la Flotte des Véhicules du GIHP-Champagne (Groupement pour l'Insertion
des Personnes Handicapées Physiques).
Rapport de fin de contrat, November 1996.
- [BC98]
-
Peter Borovanský and Carlos Castro.
Cooperation of Constraint Solvers: Using the New Process Control
Facilities of \sf ELAN.
In Claude Kirchner and Hélène Kirchner, editors, Proceedings of
The Second International Workshop on Rewriting Logic and its Applications,
RWLW'98, volume 15, pages 379-398, Pont-à-Mousson, France, September
1998. Electronic Notes in Theoretical Computer Science.
- [Cas96a]
-
Carlos Castro.
Binary CSP Solving as an Inference Process.
In Proceedings of The Eigtht International Conference on Tools in
Artificial Intelligence, ICTAI'96, pages 462-463, Toulouse, France,
November 1996.
Also available as technical report 96-R-270 of the Centre de Recherche en
Informatique de Nancy, CRIN.
- [Cas96b]
-
Carlos Castro.
Binary CSP Solving as an Inference Process.
Technical Report 96-R-270, Centre de Recherche en Informatique de Nancy, CRIN,
Vandoeuvre-lès-Nancy, France, 1996.
- [Cas96c]
-
Carlos Castro.
Modelamiento de la Resolución de Problemas de Satisfacción de
Restricciones como un Proceso de Inferencia.
Master's thesis, Universidad Técnica Federico Santa Mar\'\ia,
Valpara\'\iso, Chile, Octubre 1996.
- [Cas96d]
-
Carlos Castro.
Solving Binary CSP Using Computational Systems.
Technical Report 96-R-190, Centre de Recherche en Informatique de Nancy, CRIN,
Vandoeuvre-lès-Nancy, France, December 1996.
- [Cas96e]
-
Carlos Castro.
Solving Binary CSP Using Computational Systems.
In José Meseguer, editor, Proceedings of The First International
Workshop on Rewriting Logic and its Applications, RWLW'96, volume 4,
pages 245-264, Asilomar, Pacific Grove, CA, USA, September 1996. Electronic
Notes in Theoretical Computer Science.
Also available as technical report 96-R-190 of the Centre de Recherche en
Informatique de Nancy, CRIN.
- [Cas97a]
-
Carlos Castro.
An Approach for Achieving Local Consistency in Binary CSP Involving
Disjunctive Constraints.
In Actas de la XXIII Conferencia Latinoamericana de Informática, CLEI'97,
y V Encuentro Chileno de Computación de la SCCC, pages 87-96,
Valpara\'\iso, Chile, November 1997.
- [Cas97b]
-
Carlos Castro.
Constraint Manipulation using Rewrite Rules and Strategies.
In Alice Drewery, Geert-Jan M. Kruijff, and Richard Zuber, editors,
Proceedings of The Second ESSLLI Student Session, 9th European Summer
School in Logic, Language and Information, ESSLLI'97, pages 45-56,
Aix-en-Provence, France, August 1997.
Also available as technical report 97-R-279 of the Centre de Recherche en
Informatique de Nancy, CRIN.
- [Cas97c]
-
Carlos Castro.
Constraint Manipulation using Rewrite Rules and Strategies.
Technical Report 97-R-279, Centre de Recherche en Informatique de Nancy, CRIN,
Vandoeuvre-lès-Nancy, France, August 1997.
- [Cas97d]
-
Carlos Castro.
Manipulation de contraintes par des systèmes de calcul.
Journées du Pôle Contraintes et Programmation Logique du PRC/GDR
Programmation, Rennes, France, Novembre 1997.
- [Cas98a]
-
Carlos Castro.
An Approach for Systematic Manipulation of Disjunctive Constraints in
CSP: An Application to Scheduling Problems.
Technical report, Centre de Recherche en Informatique de Nancy, CRIN, 1998.
To appear.
- [Cas98b]
-
Carlos Castro.
An Arc-Consistency Algorithm for CSPs Involving Disjunctive
Constraints.
Technical report, Centre de Recherche en Informatique de Nancy, CRIN, 1998.
To appear.
-
[Cas98c]
-
Carlos Castro.
Building Constraint Satisfaction Problem Solvers Using Rewrite Rules
and Strategies.
Fundamenta Informaticae, 34(3):263-293, June 1998.
- [Cas98d]
-
Carlos Castro.
\sf COLETTE, Prototyping CSP Solvers Using a Rule-Based
Language.
In Proceedings of The Fourth International Conference on Artificial
Intelligence and Symbolic Computation, Theory, Implementations and
Applications, AISC'98, volume 1476 of Lecture Notes in Artificial
Intelligence, Plattsburgh, NY, USA, September 1998.
- [Cas98e]
-
Carlos Castro.
Une approche déductive de la résolution de problèmes de
satisfaction de contraintes.
Thèse de Doctorat d'Université, Université Henri
Poincaré - Nancy 1, France, 1998.
To appear.
- [CH96]
-
Carlos Castro and Hubert Hoffmann.
Técnicas de Reducción del Problema en CSP.
In Actas del IX Simposio Internacional en Aplicaciones de Informática,
INFONOR'96, pages 3.11-3.19, Antofagasta, Chile, Noviembre 1996.
Universidad Católica del Norte.
- [CK98a]
-
Carlos Castro and Claude Kirchner.
Constraint Rewriting.
In Proceedings of The Workshop on Applications of Rewriting, 9th
International Conference on Rewriting Techniques and Applications, RTA'98,
Tsukuba, Japan, March 1998.
- [CK98b]
-
Carlos Castro and Claude Kirchner.
Using Computational Systems as a General Framework for Handling
CSPs.
In Proceedings of The Annual Workshop of The Constraints in Computational
Logics Working Group, CCL'98, Jerusalem, Israel, September 1998.
- [CM98a]
-
Carlos Castro and Eric Monfroy.
A Strategy Language for Solving CSPs.
In Krzysztof Apt, Philippe Codognet, and Eric Monfroy, editors, Proceedings
of The Third Workshop of the Working Group on Constraints of the European
Research Consortium for Informatics and Mathematics, ERCIM'98,
Amsterdam, The Netherlands, September 1998.
- [CM98b]
-
Carlos Castro and Eric Monfroy.
A Strategy Language for Specifying Constraint Solvers and their
Collaborations.
In Poster Session Proceedings of The Fourth International Conference on
Artificial Intelligence and Symbolic Computation, Theory, Implementations and
Applications, AISC'98, Plattsburgh, NY, USA, September 1998.
- [CV90]
-
Carlos Castro and Luis Vega.
Sistemas Expertos: Modelamiento del Conocimiento.
Master's thesis, Universidad Técnica Federico Santa Mar\'\ia,
Valpara\'\iso, Chile, Enero 1990.
- [GCVG91]
-
Lautaro Guerra, Carlos Castro, Luis Vega, and Patricio González.
Experiencias en Adquisición y Modelamiento del Conocimiento para
Sistemas Expertos.
In Anales del III Congreso La Ingenier\'\ia Mecánica en la Industria
del Cobre, CIMIC, pages 73-85, Antofagasta, Chile, Septiembre 1991.
- [GvBCV90a]
-
Lautaro Guerra, Horst von Brand, Carlos Castro, and Luis Vega.
Adquisición y Modelado del Conocimiento en un Sistema Experto para la
Gran Miner\'\ia, July, 9-13 1990.
- [GvBCV90b]
-
Lautaro Guerra, Horst von Brand, Carlos Castro, and Luis Vega.
Modelado y Representación del Conocimiento: Una
Aplicación.
In Actas de la XVI Conferencia Latinoamericana de Informática, CLEI,
Panel '90, Expodata, volume II, pages 941-952, Asunción, Paraguay,
Septiembre 1990.
- [GvBCV91]
-
Lautaro Guerra, Horst von Brand, Carlos Castro, and Luis Vega.
Algunas Reflexiones sobre los Procesos de Adquisición y Modelamiento
del Conocimiento para Sistemas Expertos.
In Actas del II Simposio de Inteligencia Artificial y Robótica, SIAR
'91, pages 11-21, Luján, Buenos Aires, Argentina, Diciembre 1991.
- [nCV95a]
-
Ricardo Yá\ nez, Carlos Castro, and Marcello Visconti.
Herramienta Multimedial para la Ense\ nanza del Idioma
Inglés.
In Actas de las IX Jornadas Nacionales de Educación en
Ingenier\'\ia, pages 280-285, Punta Arenas, Chile, Octubre 1995.
- [nCV95b]
-
Ricardo Yá\ nez, Carlos Castro, and Marcello Visconti.
Utilización de Tecnolog\'\ia Multimedios en el Aprendizaje del Idioma
Inglés.
In Actas del XVIII Taller de Ingenier\'\ia de Sistemas, Santiago,
Chile, Julio 1995.
- [QCV95]
-
Juan Quiroga, Carlos Castro, and Marcello Visconti.
Herramienta Multimedial para la Ense\ nanza de la Programación
Lineal.
In Actas de las IX Jornadas Nacionales de Educación en
Ingenier\'\ia, pages 286-291, Punta Arenas, Chile, Octubre 1995.