http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Tractable reasoning in artificial intelligence
1 online resource (xiv, 247 pages) : illustrations
1. Introduction -- 2. Language restriction: Complexity of minimal reasoning -- 3. Approximation of a logical theory -- 4. Using complexity results for evaluating approximation techniques -- 5. Conclusions -- A Appendix to Chapter 2 -- B Appendix to Chapter 3 -- C Appendix to Chapter 4.
Includes bibliographical references (pages 227-239) and index.
Berlin ; New York : Springer-Verlag, ©1995
Lecture notes in artificial intelligence