1994

Veröffentlichungen 1994

  • Chandrabose Aravindan and Phan Minh Dung. Belief dynamics; abduction, and databases. In C. MacNish, D. Pearce, and L. M. Pereira, editors, Proceedings of Joint European workshop on Logics in AI, Lecture Notes in Aritificial Intelligence 838, pages 66-85. Springer-Verlag, 1994.

  • Chandrabose Aravindan and Phan Minh Dung. Partial deduction of logic programs wrt well-founded semantics. New Generation Computing, 13:45-74, 1994. Also in H. Kirchner and G. Levi, International Conference on Algebraic and Logic Programming LNCS 632, pages 384-402. Springer, 1992.

  • Chandrabose Aravindan and Phan Minh Dung. Relationship between Gärdenfors-Makinson's epistemic entrenchment and Katsuno-Mendelzon's faithful total pre-orders. In R. Sadananda, editor, Second international conference on expert systems for development, pages 182-186. IEEE, 1994.

  • Peter Baumgartner and U. Furbach. PROTEIN: A PROver with a Theory Extension Interface. In A. Bundy, editor, Automated Deduction -- CADE-12, volume 814 of LNAI, pages 769-773. Springer, 1994.

  • Peter Baumgartner and Ulrich Furbach. Lineare Vervollständigung für die Behandlung von Horntheorien. In DFG-Colloquium ``Deduction'', number AIDA-94-02 in Research Report. Technische Hochschule Darmstadt, 1994.

  • Peter Baumgartner and Ulrich Furbach. Model Elimination without Contrapositives and its Application to PTTP. Journal of Automated Reasoning, 13:339-359, 1994. Short version in: A. Bundy (ed.), Proceedings of CADE-12, Springer LNAI 814, 1994, pp 87-101. Also Fachberichte Informatik 12/93, Universität Koblenz-Landau.

  • Peter Baumgartner, H.-J. Bürckert, H. Comon, Ulrich Furbach, and Mark Stickel, editors. Theory Reasoning in Automated Deduction, 12th International Conference on Automated Deduction, Workshop. INRIA, Lorraine, 1994. Also Fachberichte Informatik 8/94, Universität Koblenz-Landau.

  • Peter Baumgartner, Jürgen Dix, Ulrich Furbach, and Frieder Stolzenburg. The Spectrum of Model Elimination based Theorem Proving. In C. Walther W. Bibel, editor, Informal Proceedings of the 11th Annual Meeting of the GI-Fachgruppe Deduktionssysteme, number AIDA-94-06 in Research Report. TH Darmstadt, 1994.

  • Peter Baumgartner, U. Furbach, and F. Stolzenburg. Applications of Theory Reasoning in Model Elimination. In Peter Baumgartner, H.-J. Bürckert, H. Comon, Ulrich Furbach, and Mark Stickel, editors, Theory Reasoning in Automated Deduction, CADE-12 Workshop Proceedings, 1994.

  • Peter Baumgartner. A Transformation Technique to Combine the Linear and the Unit-Resulting Restrictions. In Proceedings of the Eight International Symposium on Methodologies for Intelligent Systems, Charlotte, N.C, USA, 1994. Oak Ridge National Laboratory.

  • Peter Baumgartner. Refinements of Theory Model Elimination and a Variant without Contrapositives. In A.G. Cohn, editor, 11th European Conference on Artificial Intelligence, ECAI 94. Wiley, 1994. (Long version in: Research Report 8/93, University of Koblenz, Institute for Computer Science, Koblenz, Germany).

  • Stefan Brass and Jürgen Dix. A General Approach to Bottom-Up Computation of Disjunctive Semantics. Technical Report TR 11/94, University of Koblenz, Department of Computer Science, Rheinau 1, September 1994.

  • Stefan Brass and Jürgen Dix. A Characterization of the Stable Semantics by Partial Evaluation. In N. E. Fuchs and G. Gottlob, editors, Proc. of the 10th Workshop on Logic Programming, Zürich, October 1994, 1994.

  • Stefan Brass and Jürgen Dix. Computing Disjunctive Stable Semantics based on Clark's Completed Database. In Proc. of the 6th GI-Workshop ``Grundlagen von Datenbanken'', Bad Helmstedt, September 1994, pages 30-34, 1994.

  • Stefan Brass and Jürgen Dix. A disjunctive semantics based on unfolding and bottom-up evaluation. In Bernd Wolfinger, editor, Innovationen bei Rechen- und Kommunikationssystemen, (IFIP '94-Congress, Workshop FG2: Disjunctive Logic Programming and Disjunctive Databases), pages 83-91, Berlin, 1994. Springer.

  • Jürgen Dix and Martin Kummer. Herbrand's Theorem for Nonstandard Inference Operations. Journal of Logic and Computation, Vol. 4, No. 2:143-156, 1994.

  • Jürgen Dix and Martin Müller. An Axiomatic Framework for Representing and Characterizing Semantics of Disjunctive Logic Programs. In Pascal Van Hentenryck, editor, Proceedings of the 11th Int. Conf. on Logic Programming, S. Margherita Ligure, pages 303-322. MIT, June 1994.

  • Jürgen Dix and Martin Müller. Partial Evaluation and Relevance for Approximations of the Stable Semantics. In Z.W. Ras and M. Zemankova, editors, Proceedings of the 8th Int. Symp. on Methodologies for Intelligent Systems, Charlotte, NC, 1994, LNAI 869, pages 511-520, Berlin, 1994. Springer.

  • Jürgen Dix and Martin Müller. The Stable Semantics and its Variants: A Comparison of Recent Approaches. In L. Dreschler-Fischer and B. Nebel, editors, Proceedings of the 18th German Annual Conference on Artificial Intelligence (KI '94), Saarbrücken, Germany, LNAI 861, pages 82-93, Berlin, 1994. Springer.

  • Jürgen Dix, Georg Gottlob, and Viktor Marek. Causal Models for Disjunctive Logic Programs. In Pascal Van Hentenryck, editor, Proceedings of the 11th Int. Conf. on Logic Programming, S. Margherita Ligure, pages 290-302. MIT, June 1994.

  • Jürgen Dix. Review on Marek/Truszscynski's Book ''Nonmonotonic Logic``. Bulletin of the IGPL, Vol. 6, No. 1:250-254, 1994.

  • U. Furbach. Drei Beiträge zu ``Logik und KI''. Fachberichte Informatik 14/94, Universität Koblenz-Landau, 1994. 1. W. Bibel, U. Furbach: Logik, KI und Intellektik 2. C. Freska: über den Unterschied zwischen Logik- basierten und logischen Ansätzen zur Wissens- repräsentation 3. C. Habel: Perspektiven einer logischen Fundierung der KI.

  • Ulrich Furbach. Theory Reasoning -- Extending First Order Calculi to Handle Theories. In Proceedings of ISKI-94. Spinger, 1994. LNCS 777.

  • Frieder Stolzenburg and Peter Baumgartner. Constraint Model Elimination and a PTTP-Implementation. Fachberichte Informatik 10/94, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1994.

  • Frieder Stolzenburg. Logic programming with sets by membership-constraints. In Norbert E. Fuchs and Georg Gottlob, editors, Proceedings of the 10th Logic Programming Workshop, Universität Zürich, 1994. Institut für Informatik. Technical Report ifi 94.10.

  • Frieder Stolzenburg. Membership-constraints and some applications. Fachberichte Informatik 5/94, Universität Koblenz-Landau, Koblenz, May 1994.