1995

Veröffentlichungen 1995

  • Chandrabose Aravindan and Phan Minh Dung. Knowledge base dynamics, abduction, and database updates. Journal of Applied Non-Classical Logics, 5(1):51-76, 1995.

  • Chandrabose Aravindan and Phan Minh Dung. On the correctness of unfold/fold transformations of normal and extended logic programs. Journal of Logic Programming, 24(3):201-218, September 1995.

  • Chandrabose Aravindan. Dynamics of Belief: Epistemology, Abduction, and Database Updates. PhD thesis, Computer Science Program, Asian Institute of Technology, Bangkok, Thailand, 1995.

  • Peter Baumgartner and Johann Schumann. Implementing Restart Model Elimination and Theory Model Elimination on top of SETHEO. Fachberichte Informatik 5-95, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1995.

  • Peter Baumgartner and F. Stolzenburg. Constraint Model Elimination and a PTTP-Implementation. In R. Hähnle Peter Baumgartner and J. Posegga, editors, Theorem Proving with Analytic Tableaux and Related Methods, volume 918 of Lecture Notes in Artificial Intelligence, pages 201-216, 1995.

  • Peter Baumgartner and Frieder Stolzenburg. Jahrestreffen der GI-Fachgruppe 1.2.1 Deduktion. KI, 9(6):80-81, 1995. Tagungsbericht.

  • Peter Baumgartner, Ulrich Furbach, and Frieder Stolzenburg. Model Elimination, Logic Programming and Computing Answers. In 14th International Joint Conference on Artificial Intelligence (IJCAI 95), volume 1, 1995. Also in Artificial Intelligence, 90(1-2):135-176, 1997. Also Fachberichte Informatik 1/95, Universität Koblenz-Landau.

  • Peter Baumgartner, Reiner Hähnle, and J. Posegga, editors. Theorem Proving with Analytic Tableaux and Related Methods, volume 918 of Lecture Notes in Aritificial Intelligence. Springer, 1995.

  • Stefan Brass and Jürgen Dix. A General Approach to Bottom-Up Computation of Disjunctive Semantics. In J. Dix, L. Pereira, and T. Przymusinski, editors, Nonmonotonic Extensions of Logic Programming, LNAI 927, pages 127-155. Springer, Berlin, 1995.

  • Stefan Brass and Jürgen Dix. D-WFS: A Confluent calculus and an Equivalent Characterization. Technical Report TR 12/95, University of Koblenz, Department of Computer Science, Rheinau 1, September 1995.

  • J. Dix, L. Pereira, and T. Przymusinski, editors. Non-Monotonic Extensions of Logic Programming, LNAI 927, Berlin, 1995. Springer. Proceedings of the First Workshop "NMELP" at ICLP '94, Santa Margherita Ligure, Italy.

  • J. Dix. Disjunctive Deductive Databases: Theoetical Foundations and Operational Semantics. Technical report, Technical University of Vienna, Institute for Information-Systems, September 1995. Habilitation Thesis.

  • Jürgen Dix. A Classification-Theory of Semantics of Normal Logic Programs: I. Strong Properties. Fundamenta Informaticae, XXII(3):227-255, 1995. Also Fachberichte Informatik 10/93, Universität Koblenz-Landau.

  • Jürgen Dix. A Classification-Theory of Semantics of Normal Logic Programs: II. Weak Properties. Fundamenta Informaticae, XXII(3):257-288, 1995. Also Fachberichte Informatik 11/93, Universität Koblenz-Landau.

  • Jürgen Dix. Characterizing semantics of logic programs by partial evaluation. 10 th International Congress of Logic, Methodology and Philosophy of Science, Florence, Italy, August 1995.

  • Jürgen Dix. Detailed Report on the First LP & NMR retreat. The European Journal on Artificial Intelligence, Vol. 8, No. 1:39-43, 1995. Also in Computational Logic, Vol. 2, 1995, pages 94-97.

  • Jürgen Dix. Nichtmonotones Schliessen. Universität Koblenz-Landau, Lecture Notes, 1995. Vorlesungsskriptum.

  • Jürgen Dix. Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview. In Andre Fuhrmann and Hans Rott, editors, Logic, Action and Information -- Essays on Logic in Philosophy and Artificial Intelligence, pages 241-327. DeGruyter, 1995.

  • Ulrich Furbach. From theorem proving to logic programming. In Krall and Geske, editors, 11. Workshop Logische Programmierung. GMD-Studien, 1995.

  • Ilkka Niemelä. Towards efficient default reasoning. In Proceedings of the 14th International Joint Conference on Artificial Intelligence, pages 312-318, Montreal, Canada, August 1995. Morgan Kaufmann Publishers.