The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski
    Prolegomena to Logic Programming for Non-monotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    NMELP, 1996, pp:1-36 [Conf]
  2. Alexander Bochman
    On Logics and Semantics for General Logic Programs. [Citation Graph (0, 0)][DBLP]
    NMELP, 1996, pp:37-56 [Conf]
  3. David Pearce
    A New Logical Characterisation of Stable Models and Answer Sets. [Citation Graph (0, 0)][DBLP]
    NMELP, 1996, pp:57-70 [Conf]
  4. Mauricio Osorio, Bharat Jayaraman
    Aggregation and Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
    NMELP, 1996, pp:71-90 [Conf]
  5. Xianchang Wang, Jia-Huai You, Li-Yan Yuan
    Nonmonotonic Reasoning by Monotonic Inference with Priority Constraints. [Citation Graph (0, 0)][DBLP]
    NMELP, 1996, pp:91-109 [Conf]
  6. José Júlio Alferes, Luís Moniz Pereira
    Update-Programs Can Update Programs. [Citation Graph (0, 0)][DBLP]
    NMELP, 1996, pp:110-131 [Conf]
  7. Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti
    An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming. [Citation Graph (0, 0)][DBLP]
    NMELP, 1996, pp:132-150 [Conf]
  8. Nicole Bidoit, Sofian Maabout
    Update Programs Versus Revision Programs. [Citation Graph (1, 0)][DBLP]
    NMELP, 1996, pp:151-170 [Conf]
  9. Stefan Brass, Ulrich Zukowski, Burkhard Freitag
    Transformation-Based Bottom-Up Computation of the Well-Founded Model. [Citation Graph (0, 0)][DBLP]
    NMELP, 1996, pp:171-201 [Conf]
  10. Jürgen Dix, Frieder Stolzenburg
    Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    NMELP, 1996, pp:202-224 [Conf]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002