NMELP

Keyphrases

Publications

volume 1216, 1997

Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers NMELP 1216 (1997)

1996

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

volume 927, 1995

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

1994