Encapsulated search and constraint programming in Oz

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 874 LNCS, Issue , 1994, Pages 134-150

  Schulte, Christian ^a   Smolka, Gert ^a   Würtz, Jörg ^a  

^a GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; HIGH LEVEL LANGUAGES; LOGIC PROGRAMMING; SEMANTICS;

CONCURRENT CONSTRAINT; CONCURRENT PROGRAMMING LANGUAGES; CONSTRAINT PROGRAMMING; FINITE DOMAIN CONSTRAINTS; HIGHER ORDER PROGRAMMING; LOCAL COMPUTATION; MULTIPLE SOLUTIONS; SEARCH STRATEGIES;

COMPUTATION THEORY;

EID: 85011178390     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-58601-6_96     Document Type: Conference Paper

References (10)

1. M. Henz, M. Mehl, M. Müller, T. Mailer, J. Niehren, R. Scheidhauer, C. Schulte, G. Smolka, R. Treinen, and J. Würtz. The Oz Handbook. Research Report RR-94-09, DFKI, 1994. Available through anonymous from duck. dfki.uni-sb.de.
2. M. Henz, G. Smolka, and J. Würtz. Oz--a programming language for multi-agent systems. In 13th International Joint Conference on Artificial Intelligence, volume 1, pages 404-409, Chambéry, France, 1993. Morgan Kaufmann Publishers. Revised version will appear as [3].
3. M. Henz, G. Smolka, and J. Wiirtz. Object-oriented concurrent constraint programming in Oz. In P. van Hentenryck and V. Saraswat, editors, Principles and Practice of Constraint Programming. The MIT Press, 1994. To appear.
4. S. Janson and S. Haridi. Programming paradigms of the Andorra kernel language. In Logic Programming, Proceedings of the 1991 International Symposium, pages 167-186. The MIT Press, 1991.
5. R. Milner. Functions as processes. Journal of Mathematical Structures in Computer Science, 2(2):119-141, 1992.
6. V. A. Saraswat and M. Rinard. Concurrent constraint programming. In Proceedings of the 7th Annual A CM Symposium on Principles of Programming Languages, pages 232-245, Jan. 1990.
7. C. Schulte and G. Smolka. Encapsulated search in higher-order concurrent constralnt programming. In Logic Programming: Proceedin9s of the 1994 International Symposium, Ithaca, New York, USA, Nov. 1994. MIT-Press. To appear.
8. G. Smolka. A calculus for higher-order concurrent constraint programming with deep guards. Research Report RR-94-03, DFKI, Feb. 1994.
9. G. Smolka. A foundation for higher-order concurrent constraint programming. Research Report RR-94-16, DFKI, June 1994. Also in 1st International Conference on Constraints in Computational Logics, Mfinchen, Germany, 7-9 September 1994.
10. P. Van Hentenryck, V. Saraswat, and Y. Deville. Design, implementation and evaluation of the constraint language cc(FD). Report CS-93-02, Brown University, Jan. 1993.