1997

Veröffentlichungen 1997

  • Chandrabose Aravindan and Peter Baumgartner. A Rational and Efficient Algorithm for View Deletion in Databases. In Jan Maluszynski, editor, Logic Programming - Proceedings of the 1997 International Symposium, Port Jefferson, New York, 1997. The MIT Press.

  • Chandrabose Aravindan and Peter Baumgartner. A Rational and Efficient Algorithm for View Deletion in Databases. Fachberichte Informatik 10-97, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1997.

  • Chandrabose Aravindan, Jürgen Dix, and Ilkka Niemelä. DisLoP: A Research Project on Disjunctive Logic Programming. Fachberichte Informatik 1-97, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1997.

  • Chandrabose Aravindan, Jürgen Dix, and Ilkka Niemelä. DisLoP: Towards a Disjunctive Logic Programming System. In J. Dix, U. Furbach, and A. Nerode, editors, Logic Programming and Non-Monotonic Reasoning, Proceedings of the Fourth International Conference, LNAI 1265, pages 342-353, Berlin, June 1997. Springer.

  • Chandrabose Aravindan, Jürgen Dix, and Ilkka Niemelä. Report on the DisLoP-project on Disjunctive Logic Programming. AI Communications, 4, 1997. Extended Abstract apeared in Computational Logic, Vol. 3, No. 2, 1997.

  • Jose Arrazola, Jürgen Dix, and Mauricio Osorio. Confluent Rewriting Systems for Logic Programming Semantics. Fachberichte Informatik 27-97, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1997.

  • Peter Baumgartner and Stefan Brüning. A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion. Journal of Automated Reasoning, 19(2):205-262, 1997.

  • Peter Baumgartner and Ulrich Furbach. Calculi for Disjunctive Logic Programming. In Jan Maluszynski, editor, Logic Programming - Proceedings of the 1997 International Symposium, Port Jefferson, New York, 1997. The MIT Press. (Currently, an extended version is available as technical report number 13/96).

  • Peter Baumgartner and Ulrich Furbach. Refinements for Restart Model Elimination. In Proceedings of the International Workshop on First Order Theorem Proving (FTP 97), Technical Report. RISC-Linz, October 1997.

  • Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, and Wolfgang Nejdl. Semantically Guided Theorem Proving for Diagnosis Applications. In 15th International Joint Conference on Artificial Intelligence (IJCAI 97), pages 460-465, Nagoya, 1997. International Joint Conference on Artificial Intelligence.

  • Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, and Wolfgang Nejdl. Tableaux for Diagnosis Applications. In Didier Galmiche, editor, Automated Reasoning with Analytic Tableaux and Related Methods, number 1227 in Lecture Notes in Aritificial Intelligence, pages 76-90. Springer, 1997.

  • Peter Baumgartner, Ulrich Furbach, and Frieder Stolzenburg. Computing answers with model elimination. Artificial Intelligence, 90(1-2):135-176, 1997.

  • Peter Baumgartner. Hyper Tableaux --- The Next Generation. Fachberichte Informatik 32-97, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1997.

  • Wolfgang Bibel, Ulrich Furbach, Ryuzo Hasegawa, and Mark Stickel (Eds.). Deduction. Dagstuhl-Seminar-Report 170, Schloß Dagstuhl, 1997.

  • Maria Paola Bonacina and Ulrich Furbach, editors. FTP--International Workshop on First-Order Theorem Proving (Abstracts), number 97-50 in RISC-Linz Report Series, 1997.

  • Stefan Brass and Jürgen Dix. Characterizations of the Disjunctive Stable Semantics by Partial Evaluation. Journal of Logic Programming, 32(3):207-228, 1997. (Extended abstract appeared in: newblock Characterizations of the Stable Semantics by Partial Evaluation newblock LPNMR, Proceedings of the Third International Conference, Kentucky, pages 85-98, 1995. LNCS 928, Springer).

  • Stefan Brass, Jürgen Dix, Ilkka Niemelä, and Teodor. C. Przymusinski. Comparison and Efficient Computation of the Static and the Disjunctive WFS. In Gerd Brewka, Emil Weydert, and Cees Witteveen, editors, Proceedings of the third Dutch-German Workshop on Nonmonotonic Reasoning and its Applications, pages 37-42. Max Planck Institute for Computer Science, Saarbrücken, February 1997. appeared also as TR 2/96.

  • Stefan Brass, Jürgen Dix, Ilkka Niemelä, and Teodor. C. Przymusinski. Comparison and Efficient Computation of the Static and the Disjunctive WFS. In Uli Furbach, editor, Proceedings of the IJCAI-97 Workshop on Model Based Automated Reasoning, Nagoya, Japan, August 1997.

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

  • Gerd Brewka, Jürgen Dix, and Kurt Konolige. Nonmonotonic Reasoning: An Overview. CSLI Lecture Notes 73. CSLI Publications, Stanford, CA, 1997.

  • Jürgen Dix and Mauricio Osorio. Provability Closures in Logic Programming. In Instituto Politectico Nacional, editor, Proceedings of the International Symposium on Computer Science in Mexico, pages 313-319, 1997.

  • Jürgen Dix and Mauricio Osorio. Towards Well-Behaved Semantics Suitable for Aggregation. Fachberichte Informatik 11-97, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1997.

  • Jürgen Dix and Frieder Stolzenburg. A Framework to Incorporate Non-Monotonic Reasoning into Constraint Logic Programming. Fachberichte Informatik 16-97, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1997.

  • Jürgen Dix and Frieder Stolzenburg. Computation of non-ground disjunctive well-founded semantics with constraint logic programming. In Jürgen Dix, Luís Moniz Pereira, and Teodor C. Przymusinski, editors, Selected Papers of the Workshop on Non-Monotonic Extensions of Logic Programming in Conjunction with Joint International Conference and Symposium on Logic Programming 1996, pages 202-224, Bad Honnef, 1997. Springer, Berlin, Heidelberg, New York. LNAI 1216.

  • J. Dix, U. Furbach, and A. Nerode, editors. Logic Programming and Nonmonotonic Reasoning, LNAI 1265, Berlin, 1997. Springer.

  • J. Dix, L. Pereira, and T. Przymusinski, editors. Non-Monotonic Extensions of Logic Programming, LNAI 1216, Berlin, 1997. Springer.

  • Jürgen Dix, Luis Pereira, and Teodor Przymusinski. Prolegomena to Logic Programming for Non-Monotonic Reasoning. In J. Dix, L. Pereira, and T. Przymusinski, editors, Nonmonotonic Extensions of Logic Programming, LNAI 1216, pages 1-36. Springer, Berlin, 1997.

  • Jürgen Dix, Luis Pereira, and Teodor Przymusinski. Prolegomena to Logic Programming for Non-Monotonic Reasoning. Fachberichte Informatik 4-97, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1997.

  • Jürgen Dix, Luís Moniz Pereira, and Teodor Przymusinski. Logic Programming and Knowledge Representation (LPKR '97) (Proceedings of the ILPS '97 Postconference Workshop). Fachberichte Informatik 19-97, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1997.

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

  • Ulrich Furbach (Ed.). IJCAI-97 Workshop on Model Based Automated Reasoning. Fachberichte Informatik 17-97, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1997.

  • Ulrich Furbach. A View to Automated Reasoning in Artificial Intelligence. Fachberichte Informatik 2-97, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1997.

  • Peter Baumgartner (Hrsg.). Jahrestreffen der GI-Fachgruppe 1.2.1 `Deduktionssysteme' --- Kurzfassungen der Vorträge. Fachberichte Informatik 23-97, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1997.

  • U. K"uhler and C.-P. Wirth. Conditional equational specifications of data types with partial operations for inductive theorem proving. In 8th Int. Conf. on Rewriting Techniques and Applications, LNCS 1232, pages 38-52, Barcelona, May 1997. Springer-Verlag.

  • Michael Kühn. Rigid Hypertableaux. In G. Brewka, C. Habel, and B. Nebel, editors, KI-97: Advances in Artificial Intelligence, number 1303 in LNAI, pages 87-99. Springer, 1997.

  • Wenjin Lu. Minimal model generation based on E-hyper tableau. In Cristopher Habel Gerhard Brewka and Bernhard Nebel, editors, Proceedings of KI'97, number 1303 in LNAI, pages 99-110. Springer-Verlag, 1997.

  • Gerd Neugebauer and Dorothea Schäfer. GLUE: Opening the world to theorem provers. In Jürgen Dix, Ulrich Furbach, and Anil Nerode, editors, Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 411-420, Schloß Dagstuhl, 1997. Springer, Berlin, Heidelberg, New York. LNAI 1265.

  • Gerd Neugebauer. GLUE -- using heterogeneous sources of information in a logic programming system. In Proceedings of the KI'97 Workshop on Intelligent Information Integration, Freiburg, 1997.

  • Frieder Stolzenburg and Oliver Obst. Reasoning with constraints and well-founded negation. In Peter Baumgartner, editor, Jahrestreffen der GI-Fachgruppe 1.2.1 Deduktionssysteme -- Kurzfassungen der Vorträge, pages 9-10, Schloß Dagstuhl, 1997. Fachberichte Informatik 23/97, Universität Koblenz.

  • Frieder Stolzenburg and Oliver Obst. Reasoning with constraints and well-founded negation. In Documents of the ERCIM/Compulog Workshop on Constraints, Schloß Hagenberg, Linz, 1997. Available electronically.

  • Frieder Stolzenburg, Stephan Höhne, Ulrich Koch, and Martin Volk. Constraint logic programming for computational linguistics. In Christian Retoré, editor, Selected Papers of the 1st International Conference on Logical Aspects of Computational Linguistics 1996, pages 406-425, Nancy, 1997. Springer, Berlin, Heidelberg, New York. LNAI 1328.

  • C.-P. Wirth. Positive/Negative-Conditional Equations: A Constructor-Based Framework for Specification and Inductive Theorem Proving. PhD thesis, Universität Kaiserslautern, Hamburg, 1997.