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

Anil Nerode, V. Wiktor Marek, V. S. Subrahmanian: Logic Programming and Non-monotonic Reasoning, Proceedings of the First International Workshop, Washington, D.C., USA, July 1991. The MIT Press 1991, ISBN 0-262-64027-9

Autoepistemic Logic

Properties of Logic Programming Semantics

Well-Founded Semantics

Theory

Extensions

Miscellaneous