References

AK88

Hassan At-Kaci. An operational overview of LIFE. Unknown, 1988.

AKBLN89

Hassan At-Kaci, Robert Boyer, Patrick Lincoln, Roger Nasr. Efficient Implementation of Lattice Operations. ACM Transactions on Programming Languages and Systems, 11(1):115 - 146, 1989.

AKP

Hassan At-Kaci, Andreas Podelski. LIFE: Logic, Inheritance, Functions, Equations. Copy of slides.

BBDV91

A. Bockmayr, C. Brozka, P. Deussen, I. Varsek. KA-PROLOG: Erweiterung einer logischen Programmiersprache und ihre effiziente Implementierung. Informatik Forschung und Entwicklung, S. 128 -140, Juni 1991. deutsch.

BBH90

Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Werner Nutt, Jörg H. Siekmann. Concept Logics. Technischer Bericht RR-90-10, DFKI / Kaiserslautern, P.B. 2080 , D-675 Kaiserslautern, 1990.

BEH93

Harold Boley, Klaus Elsbernd, Michael Herfert, Michael Sintek, Werner Stein. RELFUN Guide: Programming with Relations and Functions Made Easy. Document D-93-12, DFKI, Juli 1993.

Bei87

Christoph Beierle. Types, Modules and Databases in the Logic Programming Languaga PROTOS-L. In C.-R. Rollinger K. H. Blaesius, U. Hedstueck (Hrsg.), Sorts and Types in Artifical Intelligence, 1987.

BHHM93

Harold Boley, Philipp Hanschke, Knut Hinkelmann, Manfred Meyer. COLAB: A Hybrid Knowledge Compilation Laboratory. DFKI Research Report RR-93-08, DFKI GmbH, P.O. Box 2080, 67608 Kaiserslautern, Germany, Januar 1993. Also to appear in Annals of Operations Research.

Bir73

Garrett Birkhoff. Lattice Theory, Band XXXV von Colloquim Publications. American Mathematical Society, Providence, Rhode Island, 3 edition, 1973.

Bol94

Harold Boley. Finite Domains and Exclusions as First-Class Citizens. In Roy Dyckhoff (Hrsg.), Proceedings of the 4th International Workshop on Extensions of Logic Programming, ELP '93, St. Andrews, Scotland, 1993, Band 798 von LNAI. Springer, 1994.

BS85

R. J. Brachman, J. G. Schmolze. An Overview of the KL-ONE Knowledge Representation System. Cognitive Science, 9(2):171-216, 1985.

Buh94

Ulrich Buhrmann. Erstellung einer deklarativen Wissensbasis über recyclingrelevante Materialien. Document D-94-06, DFKI Kaiserslautern, Postfach 3049, 67608 Kaiserslautern, April 1994.

CGH94

Armin B. Cremers, Ulrike Griefahn, Ralf Hinze. Deduktive Datenbanken - Eine Einführung aus der Sicht der logischen Programmierung. Friedr. Vieweg &Sohn Verlagsgesellschaft, Braunschweig/Wiesbaden, 1994.

GR85

Adele Goldberg, David Robinson. SMALLTALK-80 The Language And It's Implementation. Addison-Wesley Publishing Company, 1985.

Kau71

Arnold Kaufmann. Einf"uhrung in die Graphentheorie. Orientierung und Entscheidung. Oldenbourg Verlag, 1971.

Mey94

Gregor Meyer. KI-94 Workshops, S. 317. J. Kunze, H. Stoyan, 1994.

NG94

Pierdaniele Giaretta Nicola Guarino, Massimilliano Carrara. An Ontology of the Meta-Level Categories. In Pietro Torasso Jon Doyle, Erik Sandwall (Hrsg.), Principles of Knowledge Representation and Reasoning, S. 270-280, 1994.

Ric89

Michael M. Richter. Prinzipien der Künstlichen Intelligenz. Teubner Verlag, 1989. In German.

Sti83

Mark E. Stickel. Theory Resolution: Building in Nonequational Theories. In Proceedings of the Third National Conference on Artificial Intelligence, S. 391-397. AAAI, August 1983.

Tsa94

Panagiotis Tsarchopoulos. Type constraints: a practical perspective. In Workshop on Declarative Programming and Specification, Bad Honnef, Germany, May 1994.

Wal84

Christoph Walther. A mechanical solution of Schubert's Steamroller by many-sorted resolution. Technischer Bericht A31-84, Universität Karlsruhe, Institut für Informatik I, P.B.6380, D-7500 Karlsruhe, 1984.

Wei94

Christoph Weidenbach. Unification in Sort Theories and its Applications. Technischer Bericht MPI-I-94-211, Max-Plank-Institut f"ur Informatik, March 1994.

Wir85

Nikolaus Wirth. Programmieren in Modula2. Springer Verlag, 1985.