12. WLP 1997: München, Germany

Fran?ois Bry, Burkhard Freitag, Dietmar Seipel (Hrsg.): Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Technical Report PMS-FB-1997-10 of the Ludwig Maximilians Univeristät München
Online Proceedings

Constraint Logic Programming I

Applications

Semantics of Logic Programming

Theory

Constraint Logic Programming II

Non-Monotonic Reasoning

Paradigms in LP-Systems

Theorem Provers

Planning Systems

Reasoning Systems