2. LPNMR 1993: Lisbon, Portugal

Luís Moniz Pereira, Anil Nerode: Logic Programming and Non-monotonic Reasoning, Proceedings of the Second International Workshop, Lisbon, Portugal, June 1993. The MIT Press 1993, ISBN 0-262-66083-0

Implementation

Wolf Kohn, Anil Nerode: Autonomous Control of Hybrid Systems with Declarative Controllers. 3-22 BibTeX
Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian: Implementing Stable Semantics by Linear Programming. 23-42 BibTeX
Martin Müller, Jürgen Dix: Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (Extended Abstract). 43-59 BibTeX
Radek Vingralek: Connectionist Approach to Finding Stable Models and Other Structures in Nonmonotonic Reasoning. 60-81 BibTeX
Wlodzimierz Drabent: SLS-Resolution without Floundering. 82-98 BibTeX

MBNF and Related Topics

Vladimir Lifschitz, Grigori Schwarz: Extended Logic Programs as Autoepistemic Theories. 101-114 BibTeX
V. Wiktor Marek, Miroslaw Truszczynski: Reflective Autoepistemic Logic and Logic Programming. 115-131 BibTeX
Jianhua Chen: Minimal Knowledge + Negation as Failure = Only Knowing (Sometimes). 132-150 BibTeX
Piero A. Bonatti: Autoepistemic Logic Programming. 151-167 BibTeX

Stability and Related Topics

Andrei Bondarenko, Francesca Toni, Robert A. Kowalski: An Assumption-Based Framework for Non-Monotonic Reasoning. 171-189 BibTeX
Stefania Costantini: Contributions to the Stable Model Semantics of Logic Programs with Negation. 190-205 BibTeX
Frank Teusink: A Characterization of Stable Models using a Non-Monotonic Operator. 206-222 BibTeX
Alberto Torres: Negation as Failure to Support. 223-243 BibTeX
Bamshad Mobasher, Jacek Leszczylowski, Don Pigozzi: Negation as Partial Failure. 244-262 BibTeX

Disjunctive LP, Inconsistency Handling

Georg Gottlob: Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter (Invited Talk Abstract). 265 BibTeX
Chiaki Sakama, Katsumi Inoue: Relating Disjunctive Logic Programs to Default Theories. 266-282 BibTeX
Artur Mikitiuk, Miroslaw Truszczynski: Rational Default Logic and Disjunctive Logic Programming. 283-299 BibTeX
Gerd Wagner: Reasoning with Inconsistency in Extended Deductive Databases. 300-315 BibTeX
Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes: Diagnosis and Debugging as Contradiction Removal. 316-330 BibTeX

Nonstandard Semantics

Yehoshua Sagiv: Tools for Deductive Databases (Abstract). 333 BibTeX
José Júlio Alferes, Phan Minh Dung, Luís Moniz Pereira: Scenario Semantics of Extended Logic Programs. 334-348 BibTeX
Gerhard Brewka: An Abductive Framework for Generalized Logic Programs. 349-364 BibTeX
Marc Denecker, Danny De Schreye: Justification Semantics: A Unifiying Framework for the Semantics of Logic Programs. 365-379 BibTeX
P. Geerts, Dirk Vermeir: A Nonmonotonic Reasoning Formalism Using Implicit Specificity Information. 380-396 BibTeX
Michael Gelfond, Halina Przymusinska: Reasoning on Open Domains. 397-413 BibTeX

Constructive Logic

L. Thorne McCarty, Ron van der Meyden: An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version). 417-436 BibTeX
Fangqing Dong, Laks V. S. Lakshmanan: Canonical Kripke Models and The Intuitonistic Semantics of Logic Programs (Extended Abstract). 437-456 BibTeX
David Pearce: Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms. 457-475 BibTeX
Douglas R. Busch: A Sequent Axiomatization of Three-valued Logic with Two Negations. 476-494 BibTeX