Abstract is missing.
- The meaning of Negative Premises in Transition System SpecificationsRoland N. Bol, Jan Friso Groote. 2-9
- A More General Solution to the Multiple Expansion ProblemPiero A. Bonatti. 10-18
- Metalevel Negation in Non-Monotonic ReasoningStefania Costantini, Gaetano Aurelio Lanzarone. 19-26
- Declarative Semantics for Pruning Operators in Logic ProgrammingFosca Giannotti, Dino Pedreschi. 27-37
- A Semantically Justified Approach to Nonmonotonic Reasoning in Logic Programming: Extended AbstractJames P. Delgrande. 38-48
- Abductive Logic ProgrammingAntonis C. Kakas, Paolo Mancarella. 49-61
- The LOCO Language: Towards an Integration of Logic and Object-Oriented ProgrammingEls Laenens, Brigitte Verdonk, Dirk Vermeir. 62-72
- Autoepistemic Logic Revisited: The Bias-Free Stable SemanticsV. S. Lakshmanan. 73-80
- The Case for Explicit ExceptionsL. Thorne McCarty. 81-94
- Integrating Assumption-Based and Nonmonotonic ReasoningStephen G. Pimentel, William L. Rodi. 95-102
- Three-Valued Non-Monotonic Formalisms and Semantics of Logic ProgramsTeodor C. Przymusinski. 103-106
- Possible Model Semantics for Disjunctive Databases II (Extended Abstract)Chiaki Sakama. 107-114
- A Comparative Study of the Well-Founded and the Stable Model Semantics: Transformation s ViewpointHirohisa Seki. 115-123
- A Preferred Model Semantics for Inheritance SystemsLiz Sonenberg, Rodney W. Topor. 124-131
- On reasoning from Closed World Databases with Disjunctive ViewsMarek A. Suchenek, Rajshekhar Sunderraman. 132-149
- Modal Nonmonotonic Logic with Restricted Application of the Negation as Failure to Prove RuleMiroslaw Truszczynski. 150-169
- A New Form of Circumscription for Logic Programs (Extended Abstract)Allen Van Gelder. 170-177
- Programming in Default LogicFeng Yang, Allen L. Brown Jr., Howard A. Blair. 178-186