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'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers 1995
    DBLP: db/conf/nmelp/nmelp94.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.
    An Argumentation Theoretic Semantics Based on Non-Refutable Falsity.
    Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers 1995 (0) 1994
    Conference paper
    Monica D. Barback, Jorge Lobo.
    A Resolution-based Procedure for Default Theories with Extensions.
    Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers 1995 (0) 1994
    Conference paper
    Stefan Brass, Jürgen Dix.
    A general Approach to Bottom-Up Computation of Disjunctive Semantics.
    Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers 1995 (0) 1994
    Conference paper
    Stefania Costantini, Gaetano Aurelio Lanzarone.
    Static Semantics as Program Transformation and Well-founded Computation.
    Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers 1995 (0) 1994
    Conference paper
    Lars Degerstedt, Ulf Nilsson.
    Magic Computation for Wll-founded Semantics.
    Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers 1995 (0) 1994
    Conference paper
    Vladimir Lifschitz, Hudson Turner.
    From Disjunctive Programs to Abduction.
    Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers 1995 (0) 1994
    Conference paper
    Teodor C. Przymusinski.
    Semantics of Normal and Disjunctive Logic Programs: A Unifying Framework.
    Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers 1995 (0) 1994
    Conference paper
    Carolina Ruiz, Jack Minker.
    Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs.
    Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers 1995 (0) 1994
    Conference paper
    Cees Witteveen.
    Every Normal Program has a Nearly-Stable Model.
    Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers 1995 (0) 1994
    Conference paper
    Jia-Huai You, Li-Yan Yuan.
    Logic Programming with Assumption Denials.
    Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers 1995 (0) 1994

    Your query returned 10 matches in the database.