1998

Veröffentlichungen 1998

  • Peter Baumgartner and Ulrich Furbach. Chapter I.3: Variants of Clausal Tableaux. In Wolfgang Bibel and Peter H. Schmitt, editors, Automated Deduction. A Basis for Applications, volume I: Foundations. Calculi and Refinements, pages 73-102. Kluwer Academic Publishers, 1998.

  • Peter Baumgartner and Uwe Petermann. Chapter II.6: Theory Reasoning. In Wolfgang Bibel and Peter H. Schmitt, editors, Automated Deduction. A Basis for Applications, volume I: Foundations. Calculi and Refinements, pages 191-224. Kluwer Academic Publishers, 1998.

  • Peter Baumgartner and Dorothea Schäfer. Model Elimination with Simplification and its Application to Software Verification. Fachberichte Informatik 5-98, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1998.

  • Peter Baumgartner, Norbert Eisinger, and Ulrich Furbach. A Confluent Connection Calculus. Fachberichte Informatik 23-98, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1998.

  • Peter Baumgartner. Hyper Tableaux --- The Next Generation. In Harry de Swaart, editor, Automated Reasoning with Analytic Tableaux and Related Methods, number 1397 in LNAI. Springer, 1998.

  • Stefan Brass and Jürgen Dix. Characterizations of the Disjunctive Well-founded Semantics: Confluent Calculi and Iterated GCWA. Journal of Automated Reasoning, 20(1):143-165, 1998. (Extended abstract appeared in: newblock Characterizing D-WFS: Confluence and Iterated GCWA. newblock Logics in Artificial Intelligence, JELIA '96, pages 268-283, 1996. Springer, LNCS 1126.).

  • Stefan Brass, Jürgen Dix, Burkhard Freitag, and Ulrich Zukowski. Transformation-Based Bottom-Up Computation of the Well-Founded Model. Fachberichte Informatik 15-98, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1998.

  • Stefan Brass, Jürgen Dix, Ilkka Niemelä, and Teodor. C. Przymusinski. A Comparison of the Static and the Disjunctive Well-founded Semantics and its Implementation. In A. G. Cohn, L. K. Schubert, and S. C. Shapiro, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR '98), pages 74-85. San Francisco, CA, Morgan Kaufmann, May 1998. appeared also as TR 17/97, University of Koblenz.

  • Stefan Brass, Jürgen Dix, and Teodor C. Przymusinski. Super Logic Programs. Fachberichte Informatik 17-98, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1998.

  • Gerhard Brewka and Jürgen Dix. Knowledge representation with logic programs. In J. Dix, L. Pereira, and T. Przymusinski, editors, Logic Programming and Knowledge Representation, LNAI 1471, pages 1-55, Berlin, 1998. Springer.

  • Jürgen Dix and Steffen Hölldobler. Inference Mechanisms in Knowledge-Based Systems: Theory and Applications (Proceedings of WS at KI '98). Fachberichte Informatik 19-98, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1998.

  • Jürgen Dix and Jorge Lobo. Logic Programming and Nonmonotonic Reasoning. Fachberichte Informatik 3-98, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1998.

  • Jürgen Dix and Frieder Stolzenburg. A framework to incorporate non-monotonic reasoning into constraint logic programming. Journal of Logic Programming, 37(1-3):47-76, 1998. Special Issue on Constraint Logic Programming, Guest Editors: Kim Marriott and Peter Stuckey.

  • J. Dix, L. Farinas del Cerro, and U. Furbach, editors. Logics in Artificial Intelligence, number 1489 in LNCS, Berlin, 1998. Springer.

  • J. Dix, L. Pereira, and T. Przymusinski, editors. Logic Programming and Knowledge Representation, LNAI 1471, Berlin, 1998. Springer.

  • Jürgen Dix, Ulrich Furbach, and Ilkka Niemelä. Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations. Fachberichte Informatik 20-98, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1998.

  • Jürgen Dix, V.S. Subrahmanian, and George Pick. Meta-Agent Programs. Fachberichte Informatik 21-98, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1998.

  • Jürgen Dix. The Logic Programming Paradigm. AI Communications, Vol. 11, No. 3:39-43, 1998.

  • Jürgen Dix. The Logic Programming Paradigm. Fachberichte Informatik 16-98, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1998.

  • Ulrich Furbach, Michael Kühn, and Frieder Stolzenburg. Model-Guided Proof Debugging. Fachberichte Informatik 6-98, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1998.

  • Ulrich Furbach. Automated DeductionAutomated Deduction. A Basis for Applications., volume I: Foundations. Calculi and Refinements, chapter Tableaux and Connection Calculi. KluwerAcademic Publishers, 1998.

  • Micha Kühn. Debugging Axioms with Hyper-Tableaux. In P. Baumgartner, U. Furbach, M. Kohlhase, W. McCune, W. Reif, M. Stickel, and T. Uribe, editors, Proceedings of the Workshop on Problem-solving Methodologies with Automated Deduction in Conjunction with 15th International Conference on Automated Deduction, 1998.

  • Wenjin Lu and Ulrich Furbach. Disjunctive logic program = Horn Program + Control program. Fachberichte Informatik 8-98, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1998.

  • Wenjin Lu and Ulrich Furbach. Disjunctive program = Horn program + control program. In Jürgen Dix, L. Farinas del Cerro, and Ulrich Furbach, editors, Proceedings of JELIA'98, number 1489 in LNAI. Springer-Verlag, 1998.

  • Oliver Obst, Jan Murray, Frieder Stolzenburg, and Björn Bremer. Towards deduction in RoboCup. In Proceedings of the RoboCup Workshop during KI'98, Bremen, September 1998.

  • Oliver Obst. Robocup: FC-Linux - mit Linux zur Fußball-WM. Linux-Magazin, 8:48-51, 1998.

  • Oliver Obst. RoboLog -- An ECLiPSe-Prolog soccerserver interface -- Users manual, March 1998.

  • Frieder Stolzenburg and Bernd Thomas. Analysing rule sets for the calculation of banking fees by a theorem prover with constraints. In Wolfgang Bibel and Peter H. Schmitt, editors, Automated Deduction -- A Basis for Applications. Volume III: Applications, Applied Logic Series 10, pages 243-264. Kluwer Academic, Dordrecht, The Netherlands, 1998.

  • Frieder Stolzenburg. Constraint-Programmierung. KI, 12(1):63, 1998. Buchrezension.

  • Frieder Stolzenburg. Disjunctive Logic Programming with Constraints and its Applications. Koblenzer Schriften zur Informatik 7. Fölbach, Koblenz, 1998. Dissertation.

  • Frieder Stolzenburg. A flexible system for constraint disjunctive logic programming. KI, 12(2):73-78, 1998.

  • Frieder Stolzenburg. Loop-detection in hyper-tableaux by powerful model generation. In Nikolaj S. Bjørner, Reiner Hähnle, Wolfram Menzel, Wolfgang Reif, and Peter H. Schmitt, editors, Proceedings of the Workshop on Integration of Deductive Systems in Conjunction with 15th International Conference on Automated Deduction, pages 76-84, Lindau, Germany, 1998.

  • Bernd Thomas. Intelligent Web Querying with Logic Programs. In J. Dix and St. Hölldobler, editors, Proceedings of the Workshop on Inference Systems in Knowledge-based Systems, preceding the national German AI conference KI '98, Bremen, Germany, pages 11-32. University of Koblenz, TR 19/98, September 1998.