Next: Unifikation Up: Integration von Sortenals ausgezeichnete Previous: Ausblick

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.


Harold Boley & Victoria Hall (hall@dfki.uni-kl.de)