Non-Monotonic Extensions of Logic Programming (NMELP 94), ICLP 94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers - researchr publication

researchr

You are not signed in
Sign in
Sign up

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

Conference: nmelp1995

Abstract is missing.

An Argumentation Theoretic Semantics Based on Non-Refutable FalsityJosé Júlio Alferes, Luís Moniz Pereira. 3-22

From Disjunctive Programs to AbductionVladimir Lifschitz, Hudson Turner. 23-42

Semantics of Normal and Disjunctive Logic Programs: A Unifying FrameworkTeodor C. Przymusinski. 43-67

Every Normal Program has a Nearly-Stable ModelCees Witteveen. 68-84

Logic Programming with Assumption DenialsJia-Huai You, Li-Yan Yuan. 85-100

A Resolution-based Procedure for Default Theories with ExtensionsMonica D. Barback, Jorge Lobo. 101-126

A general Approach to Bottom-Up Computation of Disjunctive SemanticsStefan Brass, Jürgen Dix. 127-155

Static Semantics as Program Transformation and Well-founded ComputationStefania Costantini, Gaetano Aurelio Lanzarone. 156-180

Magic Computation for Wll-founded SemanticsLars Degerstedt, Ulf Nilsson. 181-204

Computing Stable and Partial Stable Models of Extended Disjunctive Logic ProgramsCarolina Ruiz, Jack Minker. 205-229

runs on WebDSL