4. NMELP 1994: Santa Margherita Ligure, Italy

Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (Eds.): Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers. Lecture Notes in Computer Science 927 Springer 1995, ISBN 3-540-59467-1 BibTeX

@proceedings{DBLP:conf/nmelp/1994,
  editor    = {J{\"u}rgen Dix and
               Lu\'{\i}s Moniz Pereira and
               Teodor C. Przymusinski},
  title     = {Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP
               '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994,
               Selected Papers},
  booktitle = {NMELP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {927},
  year      = {1995},
  isbn      = {3-540-59467-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Semantics

José Júlio Alferes, Luís Moniz Pereira: An Argumentation Theoretic Semantics Based on Non-Refutable Falsity. 3-22 BibTeX
Vladimir Lifschitz, Hudson Turner: From Disjunctive Programs to Abduction. 23-42 BibTeX
Teodor C. Przymusinski: Semantics of Normal and Disjunctive Logic Programs: A Unifying Framework. 43-67 BibTeX
Cees Witteveen: Every Normal Program has a Nearly-Stable Model. 68-84 BibTeX
Jia-Huai You, Li-Yan Yuan: Logic Programming with Assumption Denials. 85-100 BibTeX

Computation

Monica D. Barback, Jorge Lobo: A Resolution-based Procedure for Default Theories with Extensions. 101-126 BibTeX
Stefan Brass, Jürgen Dix: A general Approach to Bottom-Up Computation of Disjunctive Semantics. 127-155 BibTeX
Stefania Costantini, Gaetano Aurelio Lanzarone: Static Semantics as Program Transformation and Well-founded Computation. 156-180 BibTeX
Lars Degerstedt, Ulf Nilsson: Magic Computation for Wll-founded Semantics. 181-204 BibTeX
Carolina Ruiz, Jack Minker: Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs. 205-229 BibTeX