Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers 1997
    DBLP: db/conf/nmelp/nmelp96.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 10  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    José Júlio Alferes, Luís Moniz Pereira.
    Update-Programs Can Update Programs.
    Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers 1997 (0) 1996
    Conference paper
    Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti.
    An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming.
    Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers 1997 (0) 1996
    Conference paper
    Nicole Bidoit, Sofian Maabout.
    Update Programs Versus Revision Programs.
    Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers 1997 (0) 1996
    Conference paper
    Alexander Bochman.
    On Logics and Semantics for General Logic Programs.
    Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers 1997 (0) 1996
    Conference paper
    Stefan Brass, Ulrich Zukowski, Burkhard Freitag.
    Transformation-Based Bottom-Up Computation of the Well-Founded Model.
    Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers 1997 (0) 1996
    Conference paper
    Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski.
    Prolegomena to Logic Programming for Non-monotonic Reasoning.
    Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers 1997 (0) 1996
    Conference paper
    Jürgen Dix, Frieder Stolzenburg.
    Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming.
    Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers 1997 (0) 1996
    Conference paper
    Mauricio Osorio, Bharat Jayaraman.
    Aggregation and Well-Founded Semantics.
    Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers 1997 (0) 1996
    Conference paper
    David Pearce.
    A New Logical Characterisation of Stable Models and Answer Sets.
    Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers 1997 (0) 1996
    Conference paper
    Xianchang Wang, Jia-Huai You, Li-Yan Yuan.
    Nonmonotonic Reasoning by Monotonic Inference with Priority Constraints.
    Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers 1997 (0) 1996
    Show item 1 to 10 of 10  

    Your query returned 10 matches in the database.