Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007613772/catalog> ?p ?o. }

• catalog abstract "This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Non-Monotonic Extensions of Logic Programming, NMELP '96, held in Bad Honnef, Germany, in September 1996. The nine full papers presented in the volume in revised version were carefully reviewed and selected from a total of 18 submissions; the set of papers addresses theoretical, applicational and implementational issues and reflects the current state of the art in the area of non-monotonic extensions of logic programming. An introductory survey by the volume editors entitled "Prolegomena to Logic Programming for Non-Monotonic Reasoning" deserves special mentioning; it contains a bibliography listing 136 entries.".
• catalog alternative "NMELP '96".
• catalog contributor b10522848.
• catalog contributor b10522849.
• catalog contributor b10522850.
• catalog contributor b10522851.
• catalog created "c1997.".
• catalog date "1997".
• catalog date "c1997.".
• catalog dateCopyrighted "c1997.".
• catalog description "Includes bibliographical references.".
• catalog description "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 [and others] -- 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.".
• catalog description "This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Non-Monotonic Extensions of Logic Programming, NMELP '96, held in Bad Honnef, Germany, in September 1996. The nine full papers presented in the volume in revised version were carefully reviewed and selected from a total of 18 submissions; the set of papers addresses theoretical, applicational and implementational issues and reflects the current state of the art in the area of non-monotonic extensions of logic programming. An introductory survey by the volume editors entitled "Prolegomena to Logic Programming for Non-Monotonic Reasoning" deserves special mentioning; it contains a bibliography listing 136 entries.".
• catalog extent "224 p. :".
• catalog identifier "3540628436 (softcover : alk. paper)".
• catalog isPartOf "Lecture notes in computer science ; 1216. Lecture notes in artificial intelligence".
• catalog isPartOf "Lecture notes in computer science ; 1216.".
• catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
• catalog issued "1997".
• catalog issued "c1997.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "005.1/15 21".
• catalog subject "Artificial intelligence.".
• catalog subject "Computer science.".
• catalog subject "Logic programming Congresses.".
• catalog subject "Nonmonotonic reasoning Congresses.".
• catalog subject "QA76.63 .N65 1996".
• catalog tableOfContents "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 [and others] -- 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.".
• catalog title "NMELP '96".
• catalog title "Non-monotonic extensions of logic programming : 2nd International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers / Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski, eds.".
• catalog type "Conference proceedings. fast".
• catalog type "text".