before 1992

Veröffentlichungen vor 1992

  • Chandrabose Aravindan. Unfolding negative literals during partial evaluation. Master's thesis, Computer Science Program, Asian Institute of Technology, Bangkok, Thailand, 1990.

  • Peter Baumgartner, S. Meggendorfer, and Z. Qiu. Software Specification Methods from the Viewpoint of Reusability. AI research report FKI-133-90, Technische Universität München, July 1990.

  • Peter Baumgartner. Ein kombiniertes logisches und funktionales Programmiersystem. Master's thesis, Techical University of Munich, 1988. (In German).

  • Peter Baumgartner. Combining Horn Clause Logic with Rewrite Rules. In Ph. Jorrand and V. Sgurev, editors, Artificial Intelligence IV -- Methodology, Systems, Applications. North Holland, 1990.

  • Peter Baumgartner. Combining horn clause logic with rewrite rules. Forschungsberichte Künstliche Inteligenz FK-131-90, Institut für Informatik, Technische Universität München., Arcicstr. 21, 8000 München 2, Mai 1990.

  • Peter Baumgartner. Modelling Software Reuse with Predicate Logic. Fachberichte Informatik 12/90, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1990.

  • Wolfgang Bibel, Ulrich Furbach, and Joachim Schreiber. Strategies for the synthesis of algorithms. In 5. Fachtagung der GI für Programmiersprachen, Informatik Fachberichte 23. Springer, 1978.

  • Willi Braunschober, Gerhard Dirlich, Ulrich Furbach, Werner Zoller, Lieselotte Streit, and Horstmar Holländer. Ein interaktives Computerprogramm zur Analyse von Teilchenverteilungen in lichtmikroskopischen Präperaten. IBM Nachrichten, 26(233), 1976.

  • Thierry Conrad and Ulrich Furbach. Sorts are nothing but functions. An equational approach to sorts for logic programming. Forschungsberichte KI FKI-89-88, TU München, 1988.

  • Gerhard Dirlich, Christian Freksa, and Ulrich Furbach. A central problem in representing human knowledge in artificial systems: the transformation of intrinsic into extrinsic representations. In Proceedings of the 5th Cognitive Science Conference, 1983. Rochester.

  • Gerhard Dirlich, Ulrich Furbach, and Christian Freksa. Aspekte der Wissenrepräsentation in künstlichen Systemen. In H. Mandl and P.M. Fischer, editors, Lernen im Dialog mit dem Computer. Urban & Schwarzenberg, München, 1985.

  • Gerhard Dirlich, H. von Benda, Christian Freksa, Ulrich Furbach, A. Müller, and Klaus Wimmer. Computerunterstützte Planung von Ferienreisen. Ein fiktives Beispiel. In Gerhard Dirlich et al, editor, Kognitive Aspekte der Mensch-Computer Interaktion, Informatik Fachbericht 120. Spinger, 1986.

  • Jürgen Dix, Axel Dold, Thomas Fuchß, and Martin Müller. Theorist und MVL: Erfahrungen und Hinweise im Umgang mit nichtmonotonen Beweissystemen. Technical report, Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, July 1990.

  • Jürgen Dix, Achim Posegga, and Peter. H. Schmitt. Modal Logics for AI Planning. In Proceedings of the First International Conference on Expert Planning Systems, Brighton, pages 157-162. Conf. Publ. No. 322, June 1990.

  • Jürgen Dix, Peter Schmitt, and Reiner Hähnle. Über die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken: Teil 1. Interner Bericht 13/90, Inst. für Logik, Komplexität und Deduktionssysteme, April 1990.

  • Jürgen Dix, Peter Schmitt, and Reiner Hähnle. Über die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken: Teil 2. Interner Bericht 14/90, Inst. für Logik, Komplexität und Deduktionssysteme, April 1990.

  • Jürgen Dix. Model Theory of (Ultra-) Metric Spaces. Technical report, Master Thesis, Heidelberg University (in german), 1986.

  • Jürgen Dix. Logik und Spezifikation. Technical report, Institut für Mikrorechner und Automation, University of Karlsruhe, Computer Science Department, POBox 6980, 7500 Karlsruhe, Februar 1988.

  • Jürgen Dix. Some Tendencies in Non Monotonic Reasoning: I. The Main Approaches. In Bernd I. Dahn and Helmut Wolter, editors, Proceedings of the 7th Easter Conference on Model-Theory, pages 81-105, 1086 Berlin, PSF 1297, DDR, April 1989. Sektion Mathematik der Humboldt Universität.

  • Jürgen Dix. Some Tendencies in Non Monotonic Reasoning: I. The Main Approaches. Technical Report 15/90, Institut für Logik und Komplexität, University of Karlsruhe, PoBox 6980, 7500 Karlsruhe, November 1990.

  • Christian Freksa, Ulrich Furbach, and Gerhard Dirlich. Cognition and Representation. In GWAI'84, Informatik Fachberichte 103. Springer-Verlag, 1984.

  • Bertram Fronhöfer and Ulrich Furbach. Knuth-Bendix completion versus Fold/Unfold: A comparative study in programm synthesis. In C. Rollinger, editor, GWAI-86, Informatik Fachberichte 124. Springer, 1986.

  • Bertram Fronhöfer and Ulrich Furbach. ESPRIT PROJEKT 973 ALPES. A Programming Environment for Logic Programming. In Brauer and Freksa, editors, Wissensbasierte Systeme. Springer IFB, 1989.

  • Norbert Fuchs and Ulrich Furbach. Programmieren in Logik. Kurzfassungen der Beiträge eines Workshops während der GWAI'90. Fachbericht Informatik 13/90, Universität Koblenz-Landau, 1990.

  • Ulrich Furbach and Gerhard Dirlich. Wissen -- Wissensrepräsentation. Bericht eines Workshops. Technical report, Universität der Bundeswehr München, 1986.

  • Ulrich Furbach and Steffen Hölldobler. Modelling the combination of functional and logic programming languages. Journal of Symbolic Computation, 2(2), 1986.

  • Ulrich Furbach and Steffen Hölldobler. FHCL -- Functions In Horn Clause Logic. Forschungsberichte KI FKI-86-88, TU München, 1988.

  • Ulrich Furbach and Lothar Schmitz. Rigorous derivation of a sophisticated algorithm: smoothsort. In Proceedings of the IFIP TC2 Working Conference on Program Specification and Transformation, 1983. North-Holland.

  • Ulrich Furbach, Gerhard Dirlich, and Christian Freksa. Towards a theory of knowledge representation systems. In W. Bibel and B. Petkoff, editors, Proceedings of the Artificial Intelligence. Methodology, Systems, Applications (AIMSA-84) Conference, 1985. Varna.

  • Ulrich Furbach, Steffen Hölldobler, and Thomas Laußermair. FHCL- Functions in Horn Clause Logic. - A Guide to a Programming System. Technical Report 8602, Universität der Bundeswehr München, 1986.

  • Ulrich Furbach, Christian Freksa, and Gerhard Dirlich. Wissensrepräsentation in künstlichen symbolverarbeitenden Systemen. In H. Mandl and H. Spada, editors, Wissenspsychologie. Ein Lehrbuch. Urban & Schwarzenberg, 1988.

  • Ulrich Furbach, Marita Heisel, Wolfgang Reif, and Werner Stephan. Workshop: Verification, Construction and Synthesis of Programs. Technical Report 10/89, Universität Karlsruhe, 1989.

  • Ulrich Furbach, Steffen Hölldobler, and Joachim Schreiber. Horn Equality Theories. Journal of Automated Reasoning, 5, 1989.

  • Ulrich Furbach, Steffen Hölldobler, and Joachim Schreiber. Linear Paramodulation modulo equality. In D. Metzner, editor, GWAI'89, Fachberichte, Springer 216. Springer-Heidelberg, 1989.

  • Ulrich Furbach. Operationen an gespeicherten hierarchischen Graphen. Master's thesis, TU München, 1976.

  • Ulrich Furbach. About the Correct Use of Program Transformation-Rules Like Fold And Unfold. Technical report, Universität der Bundeswehr München, 1979. Interner Bericht.

  • Ulrich Furbach. Eine Spezifikation schlägt zurück. Computer Magazin, (11), März 1982.

  • Ulrich Furbach. über Transformationsregeln für nichtdeterministische rekursive Transformationsregeln. PhD thesis, Universität der Bundeswehr München, 1983.

  • Ulrich Furbach. Horn clauses in a functional environment. Technical Report MIP-8604, Universität Passau, 1986. F.J. Rademacher and M. Wirsing (Hg.).

  • Ulrich Furbach. Oldy but Goody. Paramodulation revisited. In K. Morik, editor, GWAI'87, Informatik Fachberichte. Springer-Heidelberg, 1987.

  • Ulrich Furbach. Wissensrepräsentationssysteme. In Der Computer als intelligentes Arbeitsmittel, 1987. Tagungsbericht der Martin-Luther-Universität Halle-Wittenberg.

  • Ulrich Furbach. Wissensrepräsentation und Programmiersprachen. In Heyer et al, editor, Wissensarten und ihre Darstellung, Informatik Fachberichte 169. Springer-Heidelberg, 1988.

  • Ulrich Furbach. An equational approach to sorts for logic programming. In J. Müller and H. Ganzinger, editors, Ext. abstracts of the 1st German Workshop Term Rewriting: Theory and Applications. SEKI Report SR-89-02, 1989.

  • Ulrich Furbach. Funktionen in Hornklausellogik. Habilitationsschrift, 1990. Technische Universität München.

  • Friedemann Gerster, Willi Braunschober, and Ulrich Furbach. MORPS - A modular real-time programming system. In Proceedings of the DEC User Society, 1976.

  • Steffen Hölldobler, Ulrich Furbach, and Thomas Laußermair. Extended unification and its implementation. In H. Stoyan, editor, GWAI-85, Informatik Fachbericht 118. Springer, 1985.

  • Jack Minker, editor. Foundations of Deductive databases and Logic Programming. Morgan Kaufmann Publishers, 1988.

  • Ilkka Niemelä. Decision Procedures for Autoepistemic Logic. In Proceedings CADE, LNCS 310, Berlin, 1988. Springer.

  • Ulrich Furbach and Steffen Hölldobler. The combination of functional and logic programming languages. Technical Report 8409, Universität der Bundeswehr München, 1984.