1992

Veröffentlichungen 1992

  • Peter Baumgartner, Ulrich Furbach, and Uwe Petermann. A Unified Approach to Theory Reasoning. Fachberichte Informatik 15/92, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1992.

  • Peter Baumgartner. A Model Elimination Calculus with Built-in Theories. In H.-J. Ohlbach, editor, GWAI-92 --- Proceedings of the 16th German Workshop on Artificial Intelligence, volume 671 of Lecture Notes in Aritificial Intelligence, pages 30-42. Springer, 1992. Also Fachberichte Informatik 7/91, Universität Koblenz-Landau.

  • Peter Baumgartner. An Ordered Theory Resolution Calculus. In A. Voronkov, editor, Logic Programming and Automated Reasoning (Proceedings), volume 624 of Lecture Notes in Aritificial Intelligence, pages 119-130, St. Petersburg, Russia, July 1992. Springer. Also Fachberichte Informatik 18/91, Universität Koblenz-Landau.

  • Peter Baumgartner. Consolution as a Framework for Comparing Calculi. In Fronhöfer, Hähnle, Käufl, editor, Theorem Proving with Analytic Tableaux and Related Methods, number 8/92 in Technical Report, 1992.

  • Peter Baumgartner. Partial Unification for Ordered Theory Resolution. In F. Baader, J. Siekmann, and W. Snyder, editors, 6th International Workshop on Unification. IBFI Dagstuhl, 1992. Dagstuhl Seminar Report 42.

  • Wolfgang Bibel and Ulrich Furbach. Logik, KI und Intellektik. KI, (3), 1992.

  • Harald Boley, Ulrich Furbach, and W.-M. Lippe. Sprachen für KI-Anwendungen, Konzepte -- Methoden -- Implementierungen. Fachbericht Informatik 12/92 -- I, Universität Münster, 1992.

  • Robert P. Daley, Ulrich Furbach, and Klaus Peter Jantke. Analogical and Inductive Inference 1992. Dagstuhl-Seminar-Report 49, 1992.

  • Ulrich Furbach and Steffen Hölldobler. Equations, Order-Sortedness and Inheritance in Logic Programming. Advances in Logic Programming and Automated Reasoning, 1992. Wilkerson R. (Hg.), Ablex Publ. Coop.

  • Frieder Stolzenburg and Martin Volk. UBS -- Eine unifikationsbasierte Sprache zur Implementation von HPSG. LDV-Forum, 9(1):10-13, 1992.