Abstract is missing.
- Autonomous Control of Hybrid Systems with Declarative ControllersWolf Kohn, Anil Nerode. 3-22
- Implementing Stable Semantics by Linear ProgrammingColin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian. 23-42
- Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (Extended Abstract)Martin Müller, Jürgen Dix. 43-59
- Connectionist Approach to Finding Stable Models and Other Structures in Nonmonotonic ReasoningRadek Vingralek. 60-81
- SLS-Resolution without FlounderingWlodzimierz Drabent. 82-98
- Extended Logic Programs as Autoepistemic TheoriesVladimir Lifschitz, Grigori Schwarz. 101-114
- Reflective Autoepistemic Logic and Logic ProgrammingV. Wiktor Marek, Miroslaw Truszczynski. 115-131
- Minimal Knowledge + Negation as Failure = Only Knowing (Sometimes)Jianhua Chen. 132-150
- Autoepistemic Logic ProgrammingPiero A. Bonatti. 151-167
- An Assumption-Based Framework for Non-Monotonic ReasoningAndrei Bondarenko, Francesca Toni, Robert A. Kowalski. 171-189
- Contributions to the Stable Model Semantics of Logic Programs with NegationStefania Costantini. 190-205
- Negation as Partial FailureBamshad Mobasher, Jacek Leszczylowski, Don Pigozzi. 244-262
- Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter (Invited Talk Abstract)Georg Gottlob. 265
- Relating Disjunctive Logic Programs to Default TheoriesChiaki Sakama, Katsumi Inoue. 266-282
- Rational Default Logic and Disjunctive Logic ProgrammingArtur Mikitiuk, Miroslaw Truszczynski. 283-299
- Reasoning with Inconsistency in Extended Deductive DatabasesGerd Wagner. 300-315
- Diagnosis and Debugging as Contradiction RemovalLuís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes. 316-330
- Scenario Semantics of Extended Logic ProgramsJosé Júlio Alferes, Phan Minh Dung, Luís Moniz Pereira. 334-348
- An Abductive Framework for Generalized Logic ProgramsGerhard Brewka. 349-364
- A Nonmonotonic Reasoning Formalism Using Implicit Specificity InformationP. Geerts, Dirk Vermeir. 380-396
- Reasoning on Open DomainsMichael Gelfond, Halina Przymusinska. 397-413
- An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version)L. Thorne McCarty, Ron van der Meyden. 417-436
- Canonical Kripke Models and The Intuitonistic Semantics of Logic Programs (Extended Abstract)Fangqing Dong, Laks V. S. Lakshmanan. 437-456
- Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic FormalismsDavid Pearce. 457-475
- A Sequent Axiomatization of Three-valued Logic with Two NegationsDouglas R. Busch. 476-494