Next: Contents Up: Finite Domains and Exclusions Previous: The RELFUN Meta-unify

References

1
Harold Boley. A Relational/Functional Language and its Compilation into the WAM. Technical Report SEKI SR-90-05, University of Kaiserslautern, Department of Computer Science, April 1990.

2
Harold Boley. Extended Logic-plus-Functional Programming. In Proceedings of the 2nd International Workshop on Extensions of Logic Programming, ELP '91, Stockholm 1991, volume 596 of LNAI. Springer, 1992.

3
Harold Boley, Ulrich Buhrmann, and Christof Kremer. Towards a Sharable Knowledge Base on Recyclable Plastics. November 1993. To appear in: TMS'94 Symposium on Knowledge-Based Applications in Material Science and Engineering, Feb/Mar 1994, San Francisco, USA, TMS, Warrendale PA.

4
Alain Colmerauer. Introduction to Prolog III. In ESPRIT '87, pages 611-629. North Holland, 1987.

5
Cornelia Fischer. PANTUDE - An Anti-Unification Algorithm for Expressing Refined Generalizations. DFKI Kaiserslautern, February 1994.

6
Philipp Hanschke. A Declarative Integration of Terminological, Constraint-based, Data-driven, and Goal-directed Reasoning. Research Report RR-93-46, DFKI Kaiserslautern, October 1993.

7
Hans-Günter Hein. Propagation Techniques in WAM-based Architectures - The FIDO-III Approach. DFKI Technical Memo TM-93-04, DFKI Kaiserslautern, October 1993.

8
Joxan Jaffar and Jean-Louis Lassez. Constraint Logic Programming. In Proceedings of the 14th ACM Symposium on Principles of Programming Languages (POPL), Munich, Germany, pages 111-119. ACM, January 1987.

9
John W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, Heidelberg, New York, 1987.

10
Manfred Meyer and Jörg Müller. Solving Configuration Tasks Efficiently Using Finite Domain Consistency Techniques. International Journal of Applied Intelligence, 1994. To appear.

11
Gordon D. Plotkin. A Note on Inductive Generalization. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 5, pages 153-163. Elsevier North-Holland, New York, 1970.

12
Luc De Raedt. Interactive Theory Revision - An Inductive Logic Programming Approach. Academic Press, London, 1992.

13
Michael Sintek. FINDOM - Finite Domains in RELFUN Via Simulated Reassignment Variables. DFKI Kaiserslautern, June 1992.

14
Michael Sintek. FLIP: Functional-plus-Logic Programming on an Integrated Platform. 3rd Workshop on Functional Logic Programming, Schwarzenberg, Germany, January 1994.

15
Werner Stein. Nutzung globaler Analysetechniken in einem optimierenden Compiler für die Constraint-Logic-Programming-Sprache FIDO III. Diplomarbeit, Universität Kaiserslautern, FB Informatik, Juli 1993.

16
Pascal Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, Cambridge, Ma., 1989.


Harold Boley & Michael Sintek (sintek@dfki.uni-kl.de)