A rule language for interaction

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

Volumn 3010, Issue , 2004, Pages 154-170

  Castro, Carlos ^a   Monfroy, Eric ^b   Ringeissen, Christophe ^c  

^a DEPARTAMENTO DE FÍSICA   (Chile)

^b UNIVERSITÉ DE NANTES   (France)

^c LORIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); COSTS; JAVA PROGRAMMING LANGUAGE; PROBLEM SOLVING; STRATEGIC PLANNING; CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; LOGIC PROGRAMMING;

CONSTRAINT PROGRAMMING; RULE LANGUAGES; SOLVER COOPERATION LANGUAGES; ABSTRACT MACHINES; CALL BACKS; COMPONENT LANGUAGE; COORDINATION LANGUAGE; SPECIFIC COMPONENT;

LOGIC PROGRAMMING; COMPUTATIONAL LINGUISTICS;

EID: 9444295350     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-24662-6_9     Document Type: Conference Paper

References (16)

1. K. R. Apt. The Essence of Constraint Propagation. Theoretical Computer Science, 221(1-2):179-210, 1999. Available via http://arXiv.org/archive/cs/.
2. F. Arbab and E. Monfroy. Coordination of Heterogeneous Distributed Cooperative Constraint Solving. ACM SIGAPP Applied Computing Review, 6(2):4-17, 1998.
3. F. Arbab. Manifold2.0 reference manual. CWI, Amsterdam, The Netherlands, May 1997.
4. H. Beringer and B. De Backer. Combinatorial problem solving in constraint logic programming with cooperative solvers. In Logic programming: formal methods and practical applications, Studies in Computer Science and Artificial Intelligence. Elsevier Science Publisher B.V., 1995.
5. P. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau, and C. Ringeissen. An Overview of ELAN. In C. Kirchner and H. Kirchner, editors, Proc. of the 2nd Int. Workshop on Rewriting Logic and its Applications, Pont-Mousson, France, 1998. Elsevier. E.N.T.C.S., vol. 15.
6. C. Castro and E. Monfroy, A Control Language for Designing Constraint Solvers. In Proc. of the 3rd Int. Conference Perspective of System Informatics, PSI'99, volume 1755 of LNCS, pages 402-415, Novosibirsk, Akademgorodok, Russia, 2000.
7. C. Castro and E. Monfroy. Basic Operators for Solving Constraints via Collaboration of Solvers. In Proc. of the 5th Int. Conf. on A.I. and Symbolic Computation (AISC'2000), volume 1930 of LNCS, pages 142-146, Madrid, Spain, 2001. Springer.
8. T. Frühwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37(l-3):95-138, October 1998.
9. L. Granvilliers, E. Monfroy, and P. Benhamou. Symbolic-interval cooperation in constraint programming. In Proceedings of the 26th International Symposium on Symbolic and Algebraic Computation (ISSAC'2001), pages 150-166, University of Western Ontario, London, Ontario, Canada, 2001. ACM Press. ISBN 1-58113-417-7.
10. A. Kleymenov, D. Petunin, A. Semenov, and I. Vazhev. A model of cooperative solvers for computational problems. Joint Bulletin of NCC and IIS. Series: Computer Science, 16:115-128, 2001.
11. A. K. Mackworth. Constraint Satisfaction. In S.C. Shapiro, editor, Encyclopedia of A.I., volume 1. Addison-Wesley Publishing Company, 1992. 2nd Edition.
12. E. Monfroy and C. Castro. Basic Components for Constraint Solver Cooperations. In Proceedings of the 2003 ACM Symposium on Applied Computing (SAC'2003), Melbourne, Florida, USA, 2003. ACM Press.
13. E. Monfroy. The Constraint Solver Collaboration Language of BALI. In D. Gabbay and M. de Rijke, editors, Frontiers of Combining Systems 2, volume 7 of Studies in Logic and Computation, pages 211-230. Research Studies Press/Wiley, 2000.
14. G.A. Papadopoulos and F. Arbab. Coordination models and languages. In M. Zelkowitz, editor, Advances in Computers - The Engineering of Large Systems, volume 46, pages 329-400. Academic Press, 1998.
15. C. Ringeissen. Cooperation of decision procedures for the satisfiability problem. In F. Baader and K. Schulz, editors, Frontiers of Combining Systems (FroCoS'96), Applied Logic, pages 121-140. Kluwer Academic Publishers, 1996.
16. V. Saraswat. Concurrent Constraint Programming. MIT Press, Cambridge, London, 1993.