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

Autoepistemic Logic

Properties of Logic Programming Semantics

Well-Founded Semantics

Theory

Extensions

Miscellaneous

maintained by Schloss Dagstuhl LZI at University of Trier