![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.