NMELP - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

1997

Non-Monotonic Extensions of Logic Programming, NMELP 96, Bad Honnef, Germany, September 5-6, 1996, Selected PapersJürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski, editors, Volume 1216 of Lecture Notes in Computer Science, Springer, 1997.

1996

Update-Programs Can Update ProgramsJosé Júlio Alferes, Luís Moniz Pereira. nmelp 1997: 110-131

An Abductive Proof Procedure for Reasoning About Actions in Modal Logic ProgrammingMatteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti. nmelp 1997: 132-150

Update Programs Versus Revision ProgramsNicole Bidoit, Sofian Maabout. nmelp 1997: 151-170

On Logics and Semantics for General Logic ProgramsAlexander Bochman. nmelp 1997: 37-56

Transformation-Based Bottom-Up Computation of the Well-Founded ModelStefan Brass, Ulrich Zukowski, Burkhard Freitag. nmelp 1997: 171-201

Prolegomena to Logic Programming for Non-monotonic ReasoningJürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski. nmelp 1997: 1-36

Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic ProgrammingJürgen Dix, Frieder Stolzenburg. nmelp 1997: 202-224

Aggregation and Well-Founded SemanticsMauricio Osorio, Bharat Jayaraman. nmelp 1997: 71-90

A New Logical Characterisation of Stable Models and Answer SetsDavid Pearce. nmelp 1997: 57-70

Nonmonotonic Reasoning by Monotonic Inference with Priority ConstraintsXianchang Wang, Jia-Huai You, Li-Yan Yuan. nmelp 1997: 91-109

1995

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

1994

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

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

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

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

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

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

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

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

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

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

Sign in or sign up to see more results.

runs on WebDSL