1996

Veröffentlichungen 1996

  • Chandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Ilkka Niemelä, Gerd Neugebauer, Dorothea Schäfer, and Frieder Stolzenburg. On merging theorem proving and logic programming paradigms. In Norbert E. Fuchs and Ulrich Geske, editors, Proceedings of the Poster Session at the Joint International Conference and Symposium on Logic Programming, Bad Honnef, pages 99-122, 1996. In GMD-Studien Nr. 296, also Poster Abstract in Michael Maher (ed.), Proceedings of the Joint International Conference and Symposium on Logic Programming, Bad Honnef, MIT Press, Cambridge, MA, London, England, 1996.

  • Chandrabose Aravindan. Abduction and negation in disjunctive logic programming. In Ilkka Niemelä, editor, Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems, pages 1-7. Research Report RR-18-96, Universität Koblenz-Landau, 1996.

  • Chandrabose Aravindan. An abductive framework for negation in disjunctive logic programming. In J. J. Alferes, L. M. Pereira, and E. Orlowska, editors, Proceedings of Joint European workshop on Logics in AI, Lecture Notes in Aritificial Intelligence 1126, pages 252-267. Springer-Verlag, 1996.

  • Chandrabose Aravindan. DisLoP: A disjunctive logic programming system based on PROTEIN theorem prover. In G. Görz and S. Hölldobler, editors, Proc. of KI'96, Lecture Notes in Aritificial Intelligence 1137, pages 19-23. Springer-Verlag, 1996.

  • Peter Baumgartner and Ulrich Furbach. Calculi for Disjunctive Logic Programming. Fachberichte Informatik 13-96, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1996.

  • Peter Baumgartner and Ulrich Furbach. Hyper Tableaux and Disjunctive Logic Programming. In ICLP 96 Workshop on Deductive Databases and Logic Programming, volume 295 of GMD Studien. GMD, 1996.

  • Peter Baumgartner and Ulrich Furbach. Hyper Tableaux. Part I: Proof Procedure and Model Generation. Dagstuhl-Seminar Reports Disjunctive logic programming and databases: Non-monotonic aspects, 1996.

  • Peter Baumgartner and Ulrich Furbach. Refinements for Restart Model Elimination. Fachberichte Informatik 24-96, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1996.

  • Peter Baumgartner, Bernhard Beckert, and Michael Kühn. Extending Hyper Tableaux with Rigid E-Unification. In K. Prasser, editor, Workshop Deduktion, 20. Jahrestagung für künstliche Intelligenz, Zusammenfassungen, number WV-96-09 in Internal Reports, Fakultät Informatik, D01062 Dresden, 1996. Technische Universität Dresden.

  • Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, and Frieder Stolzenburg. Deduktion und Logisches Programmieren. KI, 10(2):34-39, 1996.

  • Peter Baumgartner, Ulrich Furbach, and Ilkka Niemelä. Hyper Tableaux. In Proc. JELIA 96, number 1126 in Lecture Notes in Aritificial Intelligence. European Workshop on Logic in AI, Springer, 1996. (Long version in: Fachberichte Informatik, 8-96, Universität Koblenz-Landau).

  • Peter Baumgartner. Linear and Unit-Resulting Refutations for Horn Theories. Journal of Automated Reasoning, 16(3):241-319, June 1996. Also Fachberichte Informatik 9/93, Universität Koblenz-Landau.

  • Peter Baumgartner. Theory Reasoning in Connection Calculi and the Linearizing Completion Approach. PhD thesis, Universität Koblenz-Landau, 1996. (Accepted).

  • Stefan Brass, Jürgen Dix, and Teodor C. Przymusinski. Characterizations and Implementation of Static Semantics of Disjunctive Programs. Technical Report TR 4/96, University of Koblenz, Department of Computer Science, Rheinau 1, February 1996.

  • Stefan Brass, Jürgen Dix, and Teodor C. Przymusinski. Super Logic Programs. In L. C. Aiello, J. Doyle, and S. C. Shapiro, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR '96), pages 529-541. San Francisco, CA, Morgan Kaufmann, 1996. Also Fachberichte Informatik 12/97, Universität Koblenz-Landau.

  • Gerhard Brewka and Jürgen Dix. Knowledge representation with logic programs. Technical report, Tutorial Notes of the 12th European Conference on Artificial Intelligence (ECAI '96), 1996. Also appeared as Technical Report 15/96, Dept. of CS of the University of Koblenz-Landau. Will appear as Chapter 6 in Handbook of Philosophical Logic, 2nd edition (1998), Volume 6, Methodologies.

  • J. Dix and U. Furbach. Logisches Programmieren mit Negation und Disjunktion. KI, 3:24-31, 1996. Special Issue on Logic Programming.

  • Jürgen Dix and Ulrich Furbach. The DFG-Project DisLoP on Disjunctive Logic Programming. Computational Logic, 2:89-90, 1996.

  • Jürgen Dix, Georg Gottlob, and Viktor Marek. Reducing disjunctive to non-disjunctive semantics by shift-operations. Fundamenta Informaticae, XXVIII(1/2):87-100, 1996.

  • Jürgen Dix, Donald Loveland, Jack Minker, and David S. Warren. Disjunctive Logic Programming and databases: Nonmonotonic Aspects. Technical Report Dagstuhl Seminar Report 150, IBFI GmbH, Schloß Dagstuhl, 1996.

  • Ulrich Furbach. Beiträge zu Logik und Logikprogrammierung. In Gerhard Strube, editor, Wörterbuch der Kognitionswissenschaften. Klett-Cotta, 1996.

  • Ilkka Niemelä and Patrik Simons. Efficient implementation of the well-founded and stable model semantics. In M. Maher, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 289-303, Bonn, Germany, September 1996. The MIT Press.

  • Ilkka Niemelä. Implementing circumscription using a tableau method. In W. Wahlster, editor, Proceedings of the European Conference on Artificial Intelligence, pages 80-84, Budapest, Hungary, August 1996. John Wiley.

  • Ilkka Niemelä. A tableau calculus for minimal model reasoning. In P. Miglioli, U. Moscato, D. Mundici, and M. Ornaghi, editors, Proceedings of the Fifth Workshop on Theorem Proving with Analytic Tableaux and Related Methods, pages 278-294, Terrasini, Italy, May 1996. LNAI 1071, Springer-Verlag.

  • Donald Nute and Katrin Erk. Defeasible Logic Graphs. In Proceedings of the 29th Annual Hawaii International Conference on System Science, pages 11-19. IEEE Computer Society Press, 1996.

  • Frieder Stolzenburg and Bernd Thomas. Analysing rule sets for the calculation of banking fees by a theorem prover with constraints. In Proceedings of the 2nd International Conference on Practical Application of Constraint Technology, pages 269-282, London, April 1996. Practical Application Company. Also in Fachberichte Informatik 14/95, Universität Koblenz-Landau.

  • Frieder Stolzenburg, Stephan Höhne, Ulrich Koch, and Martin Volk. Constraint logic programming for computational linguistics. In Christian Retoré, editor, Proceedings of the Conference on Logical Aspects of Computational Linguistics, pages 19-23, Nancy, September 1996. INRIA Lorraine and CRIN-C.N.R.S. Also in Fachberichte Informatik 26/96, Universität Koblenz-Landau.

  • Frieder Stolzenburg. Ein flexibles System zur Disjunktiven Logischen Programmierung mit Constraints. In Michael Thielscher and Sven-Erik Bornscheuer, editors, Fortschritte der Künstlichen Intelligenz, page 50. Dresden University Press, 1996. Aus den Workshops der 20. Deutschen Jahrestagung für Künstliche Intelligenz.

  • Frieder Stolzenburg. A flexible system for constraint disjunctive logic programming. In Ulrich Geske and Helmut Simonis, editors, Deklarative Constraint-Programmierung -- Workshop der FG 1.1.1 der GI zur KI-96, pages 43-58, Dresden, 1996. In GMD-Studien Nr. 297. Also Fachberichte Informatik 19/96, Universität Koblenz-Landau.

  • Frieder Stolzenburg. Membership-constraints and complexity in logic programming with sets. In Franz Baader and Klaus U. Schulz, editors, Frontiers in Combining Systems, pages 285-302. Kluwer Academic, Dordrecht, The Netherlands, 1996. Also in Fachberichte Informatik 13/95, Universität Koblenz-Landau.