Qualitative reasoning about physical systems
By: edited by Daniel G. Bobrow.
Contributors: Bobrow, Daniel Gureasko.
Publisher: North-Holland; Sole distributors for the U.S.A. and Canada, MIT Press
Published: 1984
Place of publication: Amsterdam; New York; Cambridge, MA
Language: eng
Number of pages: 491
Subjects: Artificial intelligence; Qualitative reasoning
Other titles: Physical systems.
Notes: Includes bibliographies.
"Reprinted from the journal Artificial intelligence, volume 24"--Verso of t.p.
Table of contents: title: Qualitative reasoning about physical systems / D.G. Bobrow; title: A qualitative physics based on confluences / J. de Kleer and J.S. Brown; title: Qualitative process theory / K.D. Forbus; title: Commonsense reasoning about causality / B. Kuipers; title: How circuits work / J. de Kleer; title: Qualitative analysis of MOS circuits / B.C. Williams; title: Diagnostic reasoning based on structure and behavior / R. Davis; title: The use of design descriptions in automated diagnosis / M.R. Genesereth; title: VERIFY, a program for proving correctness of digital hardware designs / H.G. Barrow.