Qualitative reasoning about physical systems

著者

• Bobrow, Daniel Gureasko

書誌事項

Qualitative reasoning about physical systems

edited by Daniel G. Bobrow

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

タイトル別名

Physical systems

注記

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

Bibliography: p. 490-491

Includes index

収録内容

• 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

詳細情報

• NII書誌ID(NCID): BA00240460
• ISBN:
  • 0444876707
• LCCN: 84024675
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam ; New York,Cambridge, MA
• ページ数/冊数: 491 p.
• 大きさ: 25 cm
• 分類:
  • LCC : Q335.5
  • DC19 : 001.53/5
• 件名:
  • LCSH : Artificial intelligence -- Addresses, essays, lectures
  • LCSH : Reasoning -- Addresses, essays, lectures