Better communication for tighter cooperation

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1861, Issue , 2000, Pages 342-357

  Hofstedt, Petra ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CO-OPERATION STRATEGY; CONSTRAINT SOLVERS; INFORMATION EXCHANGES; UNIFORM INTERFACE;

ARTIFICIAL INTELLIGENCE;

LOGIC PROGRAMMING;

EID: 84867816796     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44957-4_23     Document Type: Conference Paper

References (9)

1. A. Colmerauer. Naive solving of non-linear constraints. In F. Benhamou and A. Colmerauer, editors, Constraint Logic Programming. Selected Research, pages 89-112. MIT Press, 1993.
2. P. Hof stedt. A functional logic language as hostlanguage for a system of combined constraint solvers. In R. Echahed, editor, 8th InternationalWorkshop on Functional and Logic Programming, pages 119-132. Grenoble, France, 1999.
3. H. Hong Confluency of cooperative constraint solvers Technical Report 94-08 Research Institute for Symbolic Computation, Linz, Austria 1994.
4. J. Jaar and J.-L. Lassez. Constraint logic programming. Technical Report 74, Monash University, Melbourne, Australia, 1986.
5. J. Jaar and M.J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19&20:501-581, 1994.
6. E. Monfroy. Solver Collaboration for Constraint Logic Programming. PhD thesis, Centre de Recherche en Informatique de Nancy. INRIA-Lorraine, 1996.
7. M. Rueher. An architec ture for cooperating constraint solvers on reals. In A. Podelski, editor, Constraint Programming, volume 910 of LNCS. Springer-Verlag, 1995.
8. M. Rueher and C. Solnon. Concurrent cooperating solvers over reals. Reliable Computing, 3:3:325-333, 1997.
9. C. Tinelli and M.T. Harandi. Constraint logic programming over unions of constraint theories. The Journal of Functional and Logic Programming, Article 6, 1998.