2. NIL 1990: Karlsruhe, Germany

Nonmonotonicity in Logic Programs

Axiomatic Approach to Nonmonotonic Reasoning

Inductive Inference

Autoepistemic Logic

Belief Updates

a service of Schloss Dagstuhl - Leibniz Center for Informatics