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: Reasoning with logic programming
  name:
    name part: Alferes, José Júlio.
    role:
      role term: creator
  name:
    name part: Pereira, Luís Moniz.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  genre: Electronic resources (Books)
  origin info:
    place:
      place term: gw
    date issued: 1996
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (xx, 326 pages) : illustrations
  abstract: "As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools. The authors used this book successfully as a text for a MSc course. The use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning, is thoroughly investigated and illustrated and a variety of knowledge representation formalisms, like default negation, integrity constraints, default rules, etc., are treated in depth. Besides the main text, detailed introductory background and motivational information is included together with a bibliography listing 215 entries as well as the listing of the Prolog interpreter used in the text for running numerous examples."--PUBLISHER'S WEBSITE.
  table of contents: 1. Normal logic programs -- 2. Extended logic programs -- 3. Why a new semantics for extended programs? -- 4. WFSX -- A well founded semantics for extended logic programs -- 5. WFSX, LP semantics with two negations, and autoepistemic logics -- 6. WFSX and default logic -- 7. WFSX and hypotheses abduction -- 8. Dealing with contradiction -- 9. Further properties and comparisons -- 10. Top-down derivation procedures for WFSX -- 11. Application to classical nonmonotonic reasoning problems -- 12. Application to diagnosis and debugging -- App. A. Prolog top-down interpreter for WFSX -- App. B.A Prolog pre-processor for contradiction removal -- App. C. Proofs of theorems.
  note: José Júlio Alferes, Luís Moniz Pereira.
  note: Errata slip inserted.
  note: Electronic resource.
  note: Includes bibliographical references (pages 271-281).
  subject:
    topic: Logic programming
  subject:
    topic: Reasoning
  subject:
    topic: diagnostic erreur
  subject:
    topic: raisonnement non monotone
  subject:
    topic: sémantique langage
  subject:
    topic: raisonnement logique
  subject:
    topic: programmation en logique
  subject:
    topic: Langages de programmation
    topic: Sémantique
  subject:
    topic: Programmation logique
  subject:
    topic: Logic programming
  subject:
    topic: Reasoning
  subject:
    topic: Logisch programmeren
  subject:
    topic: Redeneren
  subject:
    topic: Raisonnement
  subject:
    topic: Programmation logique
  subject:
    topic: Logische Programmierung
  subject:
    topic: Wissensrepräsentation
  subject:
    topic: Nichtmonotones Schlie€en
  classification: QA76.63 .A33 1996
  classification: 006.3/3
  classification: 54.51
  classification: 28
  classification: CC 2500
  classification: DAT 706f
  classification: SS 4800
  classification: ST 285
  related item:
    title info:
      title: Lecture notes in computer science ; 1111
  related item:
    title info:
      title: Lecture notes in computer science
      part name: Lecture notes in artificial intelligence
  identifier: 3540614885 (Berlin : soft : acid-free paper)
  identifier: 9783540614883 (Berlin : soft : acid-free paper)
  identifier: 96027904
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: DLC
    record creation date: 960621
    record change date: 20190325093227.0
    record identifier: in00001323834
    language of cataloging:
      language term: eng