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

Autoepistemic Logic

• Teodor C. Przymusinski: Autoepistemic Logics of Closed Beliefs and Logic Programming. 3-20
• P. Geerts, Dirk Vermeir: Credulous and Autoepistemic Reasoning Using Ordered Logic. 21-36
• V. Wiktor Marek, Miroslaw Truszczynski: Computing Intersection of Autoepistemic Expansions. 37-50

Properties of Logic Programming Semantics

• Piero A. Bonatti: Beliefs as Stable Conjectures. 53-68
• Chitta Baral, V. S. Subrahmanian: Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning (Extended Abstract). 69-86
• Domenico Saccà, Carlo Zaniolo: Partial Models and Three-Valued Models in Logic Programs with Negation. 87-101

Well-Founded Semantics

• Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: Contradiction Removal within Well Founded Semantics. 105-119
• Phan Minh Dung, Phaiboon Ruamviboonsuk: Well-Founded Reasoning with Classical Negation. 120-132
• John S. Schlipf: Representing Epistemic Intervals in Logic Programs. 133-147

Theory

• Miroslaw Truszczynski: Embedding Default Logic into Modal Nonmonotonic Logics. 151-165
• Jürgen Dix: Classifying Semantics of Logic Programs (Extended Abstract). 166-180
• Michael J. Maher: Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning. 181-195

Extensions

• Gerhard Brewka, David Makinson, Karl Schlechta: JTMS and Logic Programming. 199-210
• L. Thorne McCarty: Circumscribing Embedded Implications. 211-227
• Stephen G. Pimentel, William L. Rodi: Belief Revision and Paraconsistency in a Logic Programming Framework. 228-242

Miscellaneous

• Michael Gelfond, Halina Przymusinska: Definitions in Epistemic Specifications. 245-259
• Grigori Schwarz: Autoepistemic Logic of Knowledge. 260-274
• Antonis C. Kakas, Paolo Mancarella: Negation as Stable Hypotheses. 275-288