Qualitative reasoning about physical systems

Author(s)

• Bobrow, Daniel Gureasko

Bibliographic Information

Qualitative reasoning about physical systems

edited by Daniel G. Bobrow

North-Holland , Sole distributors for the U.S.A. and Canada, MIT Press, 1984

Other Title

Physical systems

Note

"Reprinted from the journal Artificial intelligence, volume 24" -- T.p verso

Bibliography: p. 490-491

Includes index

Contents of Works

• Qualitative reasoning about physical systems : an introduction / Daniel G. Bobrow
• A qualitative physics based on confluences / Johan de Kleer and John Seely Brown
• Qualitative process theory / Kenneth D. Forbus
• Commonsense reasoning about causality : deriving behavior from structure / Benjamin Kuipers
• How circuits work / Johan de Kleer
• Qualitative analysis of MOS circuits / Brian C. Williams
• Diagnostic reasoning based on structure and behavior / Randall Davis
• The use of design descriptions in automated diagnosis / Michael R. Genesereth
• VERIFY : a program for proving correctness of digital hardware designs / Harry G. Barrow

Details

• NCID: BA00240460
• ISBN:
  • 0444876707
• LCCN: 84024675
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam ; New York,Cambridge, MA
• Pages/Volumes: 491 p.
• Size: 25 cm
• Classification:
  • LCC : Q335.5
  • DC19 : 001.53/5
• Subject Headings:
  • LCSH : Artificial intelligence -- Addresses, essays, lectures
  • LCSH : Reasoning -- Addresses, essays, lectures