1993

Veröffentlichungen 1993

  • Peter Baumgartner and Ulrich Furbach. Consolution as a Framework for Comparing Calculi. Journal of Symbolic Computation, 16(5):445-477, 1993.

  • Peter Baumgartner. Combining Model Elimination and Unit-Resulting Resolution. In Proc. Tableau-Workshop, Marseille, 1993. MPI-Report I-93-213.

  • Peter Baumgartner, editor. PTTP-based Theorem Proving, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1993. Research Report 7/93.

  • Gerd Brewka, Jürgen Dix, and Kurt Konolige. A Tutorial on Nonmonotonic Reasoning. In G. Brewka, K. P. Jantke, and P. H. Schmitt, editors, Nonmonotonic and Inductive Logic, Proceedings of the Second International Workshop, Reinhardsbrunn Castle, Germany, December 1991, LNCS 659, pages 1-88, Berlin, February 1993. Springer.

  • Jürgen Dix and Martin Müller. Implementing Semantics for Disjunctive Logic Programs Using Fringes and Abstract Properties. In Luis Moniz Pereira and Anil Nerode, editors, Logic Programming and Non-Monotonic Reasoning, Proceedings of the Second International Workshop, pages 43-59, Cambridge, Mass., July 1993. Lisbon, MIT Press.

  • Jürgen Dix and Peter Schmitt. Nichtmonotones Schließen: Wieviel Nichtmonotonie ist nötig? Kognitionswissenschaft, 3:53-69, 1993.

  • Jürgen Dix. LP&NMR '93: Report on the Second International Workshop on Logic Programming and Non-Monotonic Reasoning. The European Journal on Artificial Intelligence, Vol. 6, Nos. 3/4:229-231, 1993. Also in Newsletter of the Association of Logic Programming, Vol. 6/4, 1993, pages 2-3.

  • Ulrich Furbach. Formal Specification Methods for Reactive Systems. The Journal of Systems and Software, (21):129-139, 1993.

  • Frieder Stolzenburg. An algorithm for general set unification and its complexity. In Eugenio G. Omodeo and Gianfranco Rossi, editors, Proceedings of the Workshop on Logic Programming with Sets, in Conjunction with the 10th International Conference on Logic Programming, pages 17-22, Budapest, Hungary, June 1993.

  • Frieder Stolzenburg. Tautologie-Pruning. In Peter Baumgartner, editor, Workshop PTTP-basiertes Theorembeweisen, Koblenz, Oktober 1993, Koblenz, 1993. Universität Koblenz-Landau. In Fachberichte Informatik 7/93.