Conferences in DBLP

Workshop on Non-Monotonic Extensions of Logic Programming (NMELP) (nmelp)
1994 (conf/nmelp/1994)

1. José Júlio Alferes, Luís Moniz Pereira
   An Argumentation Theoretic Semantics Based on Non-Refutable Falsity. [Citation Graph (0, 0)][DBLP]
   NMELP, 1994, pp:3-22 [Conf]
   
2. Vladimir Lifschitz, Hudson Turner
   From Disjunctive Programs to Abduction. [Citation Graph (0, 0)][DBLP]
   NMELP, 1994, pp:23-42 [Conf]
   
3. Teodor C. Przymusinski
   Semantics of Normal and Disjunctive Logic Programs: A Unifying Framework. [Citation Graph (0, 0)][DBLP]
   NMELP, 1994, pp:43-67 [Conf]
   
4. Cees Witteveen
   Every Normal Program has a Nearly-Stable Model. [Citation Graph (0, 0)][DBLP]
   NMELP, 1994, pp:68-84 [Conf]
   
5. Jia-Huai You, Li-Yan Yuan
   Logic Programming with Assumption Denials. [Citation Graph (1, 0)][DBLP]
   NMELP, 1994, pp:85-100 [Conf]
   
6. Monica D. Barback, Jorge Lobo
   A Resolution-based Procedure for Default Theories with Extensions. [Citation Graph (0, 0)][DBLP]
   NMELP, 1994, pp:101-126 [Conf]
   
7. Stefan Brass, Jürgen Dix
   A general Approach to Bottom-Up Computation of Disjunctive Semantics. [Citation Graph (0, 0)][DBLP]
   NMELP, 1994, pp:127-155 [Conf]
   
8. Stefania Costantini, Gaetano Aurelio Lanzarone
   Static Semantics as Program Transformation and Well-founded Computation. [Citation Graph (0, 0)][DBLP]
   NMELP, 1994, pp:156-180 [Conf]
   
9. Lars Degerstedt, Ulf Nilsson
   Magic Computation for Wll-founded Semantics. [Citation Graph (0, 0)][DBLP]
   NMELP, 1994, pp:181-204 [Conf]
   
10. Carolina Ruiz, Jack Minker
    Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP]
    NMELP, 1994, pp:205-229 [Conf]