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

Autoepistemic Logic

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

Properties of Logic Programming Semantics

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

Well-Founded Semantics

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

Theory

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

Extensions

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

Miscellaneous

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