rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Non-Monotonic Extensions of Logic Programming
    sub title: Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers
  name:
    name part: Dix, Juergen.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: Moniz Pereira, Luis.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: Przymusinski, Teodor C.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 1997
    edition: 1st ed. 1997.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XIII, 231 p. online resource.
  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.
  table of contents: Prolegomena to logic programming for non-monotonic reasoning -- On logics and semantics for general logic programs -- A new logical characterisation of stable models and answer sets -- Aggregation and well-founded semantics+ -- Nonmonotonic reasoning by monotonic inferences with priority constraints -- Update-programms can update programs -- An abductive proof procedure for reasoning about actions in modal logic programming -- Update programs versus revision programs -- Transformation-based bottom-up computation of the well-founded model -- Computation of non-ground disjunctive well-founded semantics with constraint logic programming.
  note: edited by Juergen Dix, Luis Moniz Pereira, Teodor C. Przymusinski.
  subject:
    topic: Architecture, Computer
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Artificial intelligence
  subject:
    topic: Mathematical logic
  subject:
    topic: Computer programming
  subject:
    topic: Computer System Implementation
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Artificial Intelligence
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Programming Techniques
  classification: QA76.9.A73
  classification: QA76.9.S88
  classification: 003.3
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Artificial Intelligence ; 1216
  identifier: 9783540687023
  identifier: https://doi.org/10.1007/BFb0023798
  record info:
    record creation date: 121227
    record change date: 20191028102829.0
    record identifier: 978-3-540-68702-3