Johan de Kleer
Johan de Kleer
Verified email at parc.com
Title
Cited by
Cited by
Year
Diagnosing multiple faults
J De Kleer, BC Williams
Artificial intelligence 32 (1), 97-130, 1987
3195*1987
An assumption-based TMS
J De Kleer
Artificial intelligence 28 (2), 127-162, 1986
30981986
A qualitative physics based on confluences
J De Kleer, JS Brown
Artificial intelligence 24 (1-3), 7-83, 1984
24121984
Readings in qualitative reasoning about physical systems
DS Weld, J De Kleer
Morgan Kaufmann, 2013
1084*2013
Readings in model-based diagnosis
W Hamscher, L Console, J De Kleer
Morgan Kaufmann Publishers Inc., 1992
8181992
Characterizing diagnoses and systems
J De Kleer, AK Mackworth, R Reiter
Artificial intelligence 56 (2-3), 197-222, 1992
7871992
Assumptions and ambiguities in mechanistic mental models
J De Kleer, JS Brown
Mental models, 163-198, 2014
6102014
Foundations for assumption-based truth maintenance systems: Preliminary report
J de Kleer, R Reiter
Proc. American Assoc. for Artificial Intelligence Nat. Conf, 183-188, 1987
5561987
Building problem solvers
KD Forbus, J De Kleer
MIT press, 1993
5551993
How circuits work
J De Kleer
Artificial intelligence 24 (1-3), 205-280, 1984
4341984
Problem solving with the ATMS
J De Kleer
Artificial Intelligence 28 (2), 197-224, 1986
4161986
Extending the ATMS
J De Kleer
Artificial intelligence 28 (2), 163-196, 1986
3761986
Mental models of physical mechanisms and their acquisition
J De Kleer, JS Brown
Cognitive skills and their acquisition, 285-309, 1981
2591981
A comparison of ATMS and CSP techniques.
J De Kleer
IJCAI 89, 290-296, 1989
2581989
Theories of causal ordering
J De Kleer, JS Brown
Artificial intelligence 29 (1), 33-61, 1986
2491986
Focusing on Probable Diagnoses.
J De Kleer
AAAI 91, 842-848, 1991
2381991
Choices Without Backtracking.
J De Kleer
AAAI 84, 79-86, 1984
1911984
Fundamentals of model-based diagnosis
J De Kleer, J Kurien
IFAC Proceedings Volumes 36 (5), 25-36, 2003
1832003
Using crude probability estimates to guide diagnosis
J de Kleer
Artificial intelligence 45 (3), 381-391, 1990
1811990
Causal and teleological reasoning in circuit recognition
JD Kleer
1771979
The system can't perform the operation now. Try again later.
Articles 1–20