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: Grounded consequence for defeasible logic
  name:
    name part: Antonelli, G. Aldo.
    role:
      role term: creator
  type of resource: text
  genre: bibliography
  origin info:
    place:
      place term: enk
    date issued: 2005
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: print
    extent: xii, 118 pages : illustrations ; 24 cm.
  table of contents: The logic of defeasible inference. First-order logic -- Consequence relations -- Nonmonotonic logics -- Skeptical vs. credulous reasoning -- Floating conclusions -- Conflicts and modularity -- Assessment -- Cyclic networks. Background and motivation -- Graph-theoretical preliminaries -- Constructing extensions -- Non-well-founded networks -- Extensions and comparisons. Decoupling ; Zombie paths ; Infinite networks -- Proofs of selected thorems -- General extensions for default logic. Introductory remarks -- Categorical default theories -- Examples -- Grounded extensions -- Examples, continued -- Proofs of selected theorems -- Defeasible consequence relations. Defeasible consequence -- Alternative developments. Seminormal theories ; Optimal extensions ; Circumspect extensions -- Conclusions and comparisons. Existence of extensions ; Defeasible consequence, again ; Floating conclusions, conflicts, and modularity -- Infinitely many defaults -- Proofs of selected theorems.
  note: G. Aldo Antonelli.
  note: Includes bibliographical references (pages 113-116) and index.
  subject:
    topic: Defeasible reasoning
  classification: BC199.D38 A58 2005
  classification: 160
  identifier: 0521842050 (hardback)
  identifier: 2005003176
  identifier: http://www.loc.gov/catdir/toc/ecip057/2005003176.html
  related item:
    location:
      url: http://www.loc.gov/catdir/toc/ecip057/2005003176.html
  record info:
    record content source: DLC
    record creation date: 050203
    record change date: 20151102131409.0
    record identifier: in00002080429