Seminar: Logikprogrammierung

Inhalt

• Logikprogrammierung
• Constraints

Termin

Die Vorträge finden jeweils donnerstags um 8:30 Uhr bzw. mittwochs um 15:15 Uhr im Seminarraum des Lehrstuhls statt.

Am Donnerstag, den 17.6., finden zwei Vorträge in Folge statt, beginnend um 8.15 Uhr.

Themen

Literatur

• K.R. Apt and A. Pellegrini: On the occur-check free Prolog programs. ACM TOPLAS, 16, No. 3, pp. 687-726, (1994).
• Dale Miller: Unification of Simply Typed Lambda-Terms as Logic Programming. Eighth International Conference on Logic Programming, edited by Koichi Furukawa, Paris, France. MIT Press, June 1991, pp. 255 -- 269.
• J.Jaffar and M.Maher: Constraint Logic Programming: a Survey. Journal of Logic Programming, Special 10th Anniversary Issue, Vols 19/20, May/July 1994. Also in Handbook of Artificial Intelligence and Logic Programming, Oxford Univ. Press, 1995.
• C. Walinsky: CLP(Σ ): Constraint logic programming with regular sets. In Giorgio Levi and Maurizio Martelli, editors, ICLP'89: Proceedings 6th International Conference on Logic Programming, pages 181--196, Lisbon, Portugal, June 1989. MIT Press.
• K.R. Apt and D. Pedreschi: Reasoning about termination of pure Prolog programs. Information and Computation 106, No. 1, pp. 109-157, (1993).
• K.R. Apt and I. Luitjes: Verification of Logic Programs with Delay Declarations. Proc. 4th International Conference on Algebraic Methodology and Software Technology (AMAST '95), (invited lecture), Springer-Verlag Lecture Notes in Computer Science 936, pp. 66-90 (1995).
• Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar: Extracting Determinacy in Logic Programs. Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, June 21-25, 1993, Budapest, Hungary. MIT Press 1993
• Vladimir Lifschitz, Hudson Turner: Splitting a Logic Program, Logic Programming. Proceedings of the Eleventh International Conference on Logic Programming, June 13-18, 1994, Santa Margherita Ligure, Italy. MIT Press 1994.
• Dale Miller: A logical analysis of modules in logic programming. Journal of Logic Programming, 6 (1989), 79 -- 108.
• S. Ruggieri: Decidability of logic program semantics and applications to testing. Journal of Logic Programming. Vol 46(1-2) November/December 2000, 103-137.
• K. Marriott, H. Sndergaard, and N. D. Jones: Denotational Abstract Interpretation of Logic Programs. ACM Transactions on Programming Languages and Systems 16(3):607--648.
• Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, August 15-19, 1988. MIT Press 1988.
• Keijo Heljanko: Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets. Fundamenta Informaticae, 37(3):247-268, IOS Press, 1999.
• Mehmet A. Orgun, Wanli Ma: An Overview of Temporal and Modal Logic Programming. Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings. Lecture Notes in Computer Science 827 Springer 1994.
• S.H. Muggleton. Stochastic logic programs. In L. de Raedt, editor, Advances in Inductive Logic Programming, pages 254-264. IOS Press, 1996.

Zuordnung

Voraussetzung

• Logikprogrammierung

Hinweise zur Vortrag und Ausarbeitung

• Hinweise zur Ausarbeitung
• Hinweise zum Vortrag
• Weitere Anmerkungen zu Ausarbeitung und Vortrag

Ansprechpartner

Benedikt Bollig, Volker Stolz <{bollig,stolz}@i2.informatik.rwth-aachen.de>