1. LPNMR 1991: Washington, D.C., USA

Autoepistemic Logic

Properties of Logic Programming Semantics

Well-Founded Semantics

Theory

Extensions

Miscellaneous

a service of Schloss Dagstuhl - Leibniz Center for Informatics