6. NMELP 1996: Bad Honnef, Germany

Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (Eds.): Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers. Lecture Notes in Computer Science 1216 Springer 1997, ISBN 3-540-62843-6 BibTeX

@proceedings{DBLP:conf/nmelp/1996,
  editor    = {J{\"u}rgen Dix and
               Lu\'{\i}s Moniz Pereira and
               Teodor C. Przymusinski},
  title     = {Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad
               Honnef, Germany, September 5-6, 1996, Selected Papers},
  booktitle = {NMELP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1216},
  year      = {1997},
  isbn      = {3-540-62843-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Introduction

Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski: Prolegomena to Logic Programming for Non-monotonic Reasoning. 1-36 BibTeX

Semantics

Alexander Bochman: On Logics and Semantics for General Logic Programs. 37-56 BibTeX
David Pearce: A New Logical Characterisation of Stable Models and Answer Sets. 57-70 BibTeX
Mauricio Osorio, Bharat Jayaraman: Aggregation and Well-Founded Semantics. 71-90 BibTeX
Xianchang Wang, Jia-Huai You, Li-Yan Yuan: Nonmonotonic Reasoning by Monotonic Inference with Priority Constraints. 91-109 BibTeX

Applications

José Júlio Alferes, Luís Moniz Pereira: Update-Programs Can Update Programs. 110-131 BibTeX
Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti: An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming. 132-150 BibTeX
Nicole Bidoit, Sofian Maabout: Update Programs Versus Revision Programs. 151-170 BibTeX

Computation

Stefan Brass, Ulrich Zukowski, Burkhard Freitag: Transformation-Based Bottom-Up Computation of the Well-Founded Model. 171-201 BibTeX
Jürgen Dix, Frieder Stolzenburg: Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming. 202-224 BibTeX