Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers / Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.).

Author/creator NMELP '96
Other author Dix, J. (Jürgen), 1961-
Other author Pereira, Luís Moniz.
Other author Przymusinski, Teodor C., 1947-
Format Book
Publication InfoBerlin ; New York : Springer, ©1997.
Descriptionxii, 224 pages : illustrations ; 24 cm.
Subjects
Logic programming--Congresses.
Nonmonotonic reasoning--Congresses.

SeriesLecture notes in computer science ; 1216. Lecture notes in artificial intelligence
Lecture notes in computer science 1216. ^A466336
Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Contents Prolegomena to logic programming for non-monotonic reasoning / J. Dix, L.M. Pereira, and T. Przymusinski -- On logics and semantics for general logic programs / A. Bochman -- A new logical characterization of stable models and answer sets / D. Pearce -- Aggregation and well-founded semantics / M. Osorio, B. Jayaraman -- Nonmonotonic reasoning by monotonic inferences + priority constraints / X. Wang, J.-H. You, L.-Y. Yuan -- Update-programs can update programs / J.J. Alferes, L.M. Pereira -- An abductive procedure for reasoning about actions in modal LP / M. Baldoni ... [et al.] -- Update rule programs versus revision programs / N. Bidoit, S. Maabout -- Transformation-based bottom-up computation of the well-founded model / S. Brass, S. Zukowski, H. Freitag -- Computation of non-ground disjunctive well-founded semantics with constraint logic programming / J. Dix, F. Stolzenburg.
Bibliography noteIncludes bibliographical references.
LCCN 97012651
ISBN3540628436 (softcover : alk. paper)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.63 .N65 1996 ✔ Available Place Hold