|
" Qualitative reasoning about physical systems "
edited by Daniel G. Bobrow.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
730813
|
| Doc. No
|
:
|
b550579
|
| Main Entry
|
:
|
edited by Daniel G. Bobrow.
|
| Title & Author
|
:
|
Qualitative reasoning about physical systems\ edited by Daniel G. Bobrow.
|
| Publication Statement
|
:
|
Amsterdam: North-Holland, 1991, ©1984.
|
| Page. NO
|
:
|
491 pages : illustrations ; 25 cm
|
| ISBN
|
:
|
0444876707
|
|
|
:
|
: 9780444876706
|
| Contents
|
:
|
Qualitative Reasoning about Physical Systems: An Introduction (D.G. Bobrow). A Qualitative Physics Based on Confluences (J. De Kleer and J.S. Brown). Qualitative Process Theory (K.D. Forbus). Commonsense Reasoning About Causality: Deriving Behavior from Structure (B. Kuipers). How Circuits Work (J. De Kleer). Qualitative Analysis of MOS Circuits (B.C. Williams). Diagnostic Reasoning Based on Structure and Behavior (R. Davis). The Use of Design Descriptions in Automated Diagnosis (M.R. Genesereth). VERIFY: A Program for Proving Correctness of Digital Hardware Designs (H.G. Barrow).
|
| LC Classification
|
:
|
Q335.5E358 9999
|
| Added Entry
|
:
|
Daniel G Bobrow
|
| |