12th WLP 1997: München, Germany

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

a service of Schloss Dagstuhl - Leibniz Center for Informatics