Abstract is missing.
- Prolegomena to Logic Programming for Non-monotonic ReasoningJürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski. 1-36
- On Logics and Semantics for General Logic ProgramsAlexander Bochman. 37-56
- A New Logical Characterisation of Stable Models and Answer SetsDavid Pearce. 57-70
- Aggregation and Well-Founded SemanticsMauricio Osorio, Bharat Jayaraman. 71-90
- Nonmonotonic Reasoning by Monotonic Inference with Priority ConstraintsXianchang Wang, Jia-Huai You, Li-Yan Yuan. 91-109
- Update-Programs Can Update ProgramsJosé Júlio Alferes, Luís Moniz Pereira. 110-131
- An Abductive Proof Procedure for Reasoning About Actions in Modal Logic ProgrammingMatteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti. 132-150
- Update Programs Versus Revision ProgramsNicole Bidoit, Sofian Maabout. 151-170
- Transformation-Based Bottom-Up Computation of the Well-Founded ModelStefan Brass, Ulrich Zukowski, Burkhard Freitag. 171-201
- Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic ProgrammingJürgen Dix, Frieder Stolzenburg. 202-224