-
1
-
-
0018544688
-
A truth maintenance system
-
Jon Doyle, A Truth Maintenance System, Artificial Intelligence 12 (1979), page 231-272.
-
(1979)
Artificial Intelligence
, vol.12
, pp. 231-272
-
-
Doyle, J.1
-
2
-
-
0021593920
-
Diagnostic reasoning based on structure and behavior
-
Randall Davis, Diagnostic Reasoning Based on Structure and Behavior, Artificial Intelligence 24 (1984), page 347-410.
-
(1984)
Artificial Intelligence
, vol.24
, pp. 347-410
-
-
Davis, R.1
-
3
-
-
0021613150
-
Qualitative process theory
-
Kenneth D. Forbus, Qualitative Process Theory, Artificial Intelligence 24 (1984), page 85-168.
-
(1984)
Artificial Intelligence
, vol.24
, pp. 85-168
-
-
Forbus, K.D.1
-
4
-
-
0021575359
-
The use of design descriptions in automated diagnosis
-
Michael R. Genesereth, The Use of Design Descriptions in Automated Diagnosis, Artificial Intelligence 24 (1984), page 411-436.
-
(1984)
Artificial Intelligence
, vol.24
, pp. 411-436
-
-
Genesereth, M.R.1
-
5
-
-
0343532394
-
A theory and system for non-monotonic reasoning
-
Dissertations No. 165, Linköpings Universitetet
-
James W. Goodwin, A Theory and System for Non-Monotonic Reasoning, Linköpings Studies in Science and Technology, Dissertations No. 165, Linköpings Universitetet.
-
Linköpings Studies in Science and Technology
-
-
Goodwin, J.W.1
-
6
-
-
0006741939
-
STEAMER: An interactive inspectable simulation-based training system
-
summer
-
J. D. Hollan, E. L. Hutchins and L. Weitzman, STEAMER: An Interactive Inspectable Simulation-Based Training System, AI Magazine, vol 5, no 3, page 15-27, summer 1984.
-
(1984)
AI Magazine
, vol.5
, Issue.3
, pp. 15-27
-
-
Hollan, J.D.1
Hutchins, E.L.2
Weitzman, L.3
-
8
-
-
0021577685
-
A qualitative physics based on confluences
-
Johan de Kleer and John Seely Brown, A Qualitative Physics Based on Confluences, Artificial Intelligence 24 (1984), page 7-83.
-
(1984)
Artificial Intelligence
, vol.24
, pp. 7-83
-
-
De Kleer, J.1
Brown, J.S.2
-
9
-
-
0021596949
-
How circuits work
-
Johan de Kleer, How Circuits Work, Artificial Intelligence 24 (1984), page 205-280.
-
(1984)
Artificial Intelligence
, vol.24
, pp. 205-280
-
-
De Kleer, J.1
-
10
-
-
0022677462
-
Problem solving with the ATMS
-
Johan de Kleer, Problem solving with the ATMS, Artificial Intelligence 28 (1886), page 197-224.
-
(1886)
Artificial Intelligence
, vol.28
, pp. 197-224
-
-
De Kleer, J.1
-
12
-
-
46149128342
-
Qualitative simulation
-
Benjamin Kuipers, Qualitative Simulation, Artificial Intelligence 29 (1986), page 289-338.
-
(1986)
Artificial Intelligence
, vol.29
, pp. 289-338
-
-
Kuipers, B.1
-
13
-
-
85034840495
-
ICONStraint, A dependency directed constraint maintenance system
-
Thesis 71, LiU-Tek-Lic Linköping University
-
Jalal Maleki, ICONStraint, A Dependency Directed Constraint Maintenance System, Linköpings Studies in Science and Technology, Thesis 71, LiU-Tek-Lic 1986:11, Linköping University.
-
(1986)
Linköpings Studies in Science and Technology
, pp. 11
-
-
Maleki, J.1
-
14
-
-
0023347370
-
Strategies for diagnosis
-
May/June
-
Robert Milne, Strategies for Diagnosis, IEEE Transactions on systems, man, and cybernetics, vol. smc-17, No. 3, May/June 1987, page 333-339.
-
(1987)
IEEE Transactions on Systems, Man, and Cybernetics
, vol.SMC-17
, Issue.3
, pp. 333-339
-
-
Milne, R.1
-
16
-
-
0017544789
-
Sussman, forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
-
Richard M. Stallman and Gerald J. Sussman, Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis, Artificial Intelligence 9 (1977), page 135-196.
-
(1977)
Artificial Intelligence
, vol.9
, pp. 135-196
-
-
Stallman, R.M.1
Gerald, J.2
-
17
-
-
84974744880
-
The deepening of expert systems
-
august 87
-
Luc Steels, The deepening of Expert Systems, Artificial Intelligence Communications, vol. 0 No 1, august 87, page 9-16.
-
Artificial Intelligence Communications
, Issue.1
, pp. 9-16
-
-
Steels, L.1
-
19
-
-
0020809406
-
XPLAIN: A system for creating and explaining expert consulting programs
-
William R. Swartout, XPLAIN: A System for Creating and Explaining Expert Consulting Programs, Artificial Intelligence vol. 21, no. 3 (1983), page 285-325.
-
(1983)
Artificial Intelligence
, vol.21
, Issue.3
, pp. 285-325
-
-
Swartout, W.R.1
-
20
-
-
0021573933
-
Qualitative analysis of MOS circuit
-
B. C. Williams, Qualitative analysis of MOS circuit, Artificial Intelligence 24 (1984), page 281-346.
-
(1984)
Artificial Intelligence
, vol.24
, pp. 281-346
-
-
Williams, B.C.1
|