http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Grounded consequence for defeasible logic
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.
Includes bibliographical references (pages 113-116) and index.