2. NMR 1988: Grassau, Germany

General Properties of Non-Monotonic Logics

Preference-Based Model Theory

Autoepistemic Logics

Implementing Circumscription

Complexity Considerations

Truth Maintenance Systems

Applications

a service of Schloss Dagstuhl - Leibniz Center for Informatics