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

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

Last update Thu May 23 17:39:10 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page