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
Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian: Implementing Stable Semantics by Linear Programming. 23-42
Martin Müller, Jürgen Dix: Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (Extended Abstract). 43-59
Radek Vingralek: Connectionist Approach to Finding Stable Models and Other Structures in Nonmonotonic Reasoning. 60-81
Wlodzimierz Drabent: SLS-Resolution without Floundering. 82-98

MBNF and Related Topics

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

Stability and Related Topics

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

Disjunctive LP, Inconsistency Handling

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

Nonstandard Semantics

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

Constructive Logic

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

Last update Sun May 19 23:08:11 2013 CET by the DBLP Team —

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