


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














