default search action
Artificial Intelligence, Volume 24
Volume 24, Numbers 1-3, December, 1984
- Daniel G. Bobrow:
Qualitative Reasoning about Physical Systems: An Introduction. 1-5 - Johan de Kleer, John Seely Brown:
A Qualitative Physics Based on Confluences. 7-83 - Kenneth D. Forbus:
Qualitative Process Theory. 85-168 - Benjamin Kuipers:
Commonsense Reasoning about Causality: Deriving Behavior from Structure. 169-203 - Johan de Kleer:
How Circuits Work. 205-280 - Brian C. Williams:
Qualitative Analysis of MOS Circuits. 281-346 - Randall Davis:
Diagnostic Reasoning Based on Structure and Behavior. 347-410 - Michael R. Genesereth:
The Use of Design Descriptions in Automated Diagnosis. 411-436 - Harry G. Barrow:
VERIFY: A Program for Proving Correctness of Digital Hardware Designs. 437-491
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.