Johan de Kleer Publications

Selected Publications

Books

Forbus, K. and de Kleer, J. (1992) Building problem solvers, MIT Press (source code)

Editted Collections

de Kleer, J. and Williams, B.C. (1992) Special volume on Qualitative Reasoning about Physical Systems II, Elsevier.
Reinfrank, M., de Kleer, J, Ginsberg, M. L., and Sandewall, E. (1989): Non-Monotonic Reasoning, 2nd International Workshop, Springer-Verlag.
Console, L., Hamscher, W. and de Kleer, J. (1989) Readings in model-based diagnosis, Morgan Kauffman.
Weld, D. and de Kleer, J. (1987) Readings in qualitative physics, Morgan Kauffman.

Book Chapters

de Kleer, J. and Reiter, R. (1999) An improved incremental algorithm for generating prime implicates (ps)
de Kleer, J. and Brown, J.S. (1992) Model-based diagnosis in SOPHIE III. In: Readings in Model-Based Diagnosis, Hamscher, W., de Kleer, J. and Console, L., Morgan Kaufmann. (ps, scanned pdf)
de Kleer, J., O. Raiman, Mark Shirley (1992) One Step Lookahead is Pretty Good, In: Readings in Model-Based Diagnosis, Hamscher, W., de Kleer, J. and Console, L., Morgan Kaufmann. (ps)
de Kleer, J. (1992) Compiling devices: Locality in a TMS. In: Recent advances in qualitative physics, B. Faltings and P. Struss (eds), MIT Press, pp. 295-310. (scanned pdf) Earlier version appeared in QR91.
Mittal, J., Bobrow, D.G., and de Kleer, J. (1988) DARN: Toward a community memory for diagnosis and repair tasks. In: Expert Systems: The User Interface, Hendler, J.A., Ablex. (scanned pdf)
de Kleer, J. (1986) Dependency Directed Backtracking, Encyclopedia of Artificial Intelligence, John Wiley. (scanned pdf)
de Kleer, J. (1986) Qualitative Physics, In: Encyclopedia of Artificial Intelligence, John Wiley. (scanned pdf)
de Kleer, J., Doyle, J., Rich, C., Steele Jr., G.L., and Sussman, G.J. (1985) AMORD, A Deductive Procedure System. In: Readings in Knowledge Representation, Brachman, R.J. and Levesque, H.J. (eds), Morgan Kaufmann. Revision of MIT AI Memo 435.
de Kleer, J. and Doyle, J. (1983) Dependencies and Assumptions, The Handbook of Artificial Intelligence, Barr, A. and Feigenbaum, E. (eds), Vol 2, pp. 72-76.
de Kleer, J. and Brown, J.S. (1983) Assumptions and Ambiguities in Mechanistic Mental Models. In: Mental Models, Gentner, G. and Collins, A.
Brown, J.S., Burton, D., and J.S. Brown (1982) Pedagogical, natural language and knowledge engineering techniques in SOPHIE I, II and III. In: Intelligent Tutoring Systems, Sleeman, D. and Brown, J.S. (eds), Academic Press, 1982. (scanned pdf LARGE)
de Kleer, J. (1982) Mental Models of Physical Mechanisms and their Acquisition. In Cognitive Skills and their Acquisition, Anderson, J. (ed), Erlbaum, 1982. (scanned pdf)
de Kleer, J. (1975) Structural Knowledge in Troubleshooting Circuits. In: Steps toward a theoretical foundation for complex knowledge-based CAI, Brown, J.S. (ed) Bolt Beranek and Newman.

Journal Articles

Fromherz, M.P.J., Bobrow, D.G. and de Kleer, J. (2003) Model-based computing for design and control of reconfigurable systems, AI Magazine (to appear) (doc)
de Kleer, J. (1993) A view on qualitative physics, Artificial Intelligence 59 (1-2) pp. 105-114
de Kleer, J. (1993) A perspective on assumption-based truth maintenance, Artificial Intelligence 59 (1-2) pp. 63-67
de Kleer, J., Mackworth, A.K. and Reiter, R. (1992) Characterizing diagnoses and systems, Artificial Intelligence 56 (2-3) pp. 197-222 (scanned pdf)
Williams, B.C. and de Kleer, J. (1991) Qualitative reasoning about physical systems: a return to roots, Artificial Intelligence 51 (1-3) pp. 1-9
Williams, B. C., Raiman, O., Bobrow D. G., Shirley, M.,Falkenhainer, B., and de Kleer, J. (1992) Narrow Views, Old Talks, New Beginnings, Computational Intelligence 8, pp. 210-215
de Kleer, J. (1990) Using crude probability estimates to guide diagnosis, Artificial Intelligence 45 (3) pp. 381-391
de Kleer, J. and Konolige, K. (1989) Eliminating the fixed predicates from a circumscription, Artificial Intelligence 39 (3) pp. 391-398 (scanned pdf)
de Kleer, J. and Williams, B.C. (1987) Diagnosing multiple faults, Artificial Intelligence 32 (1) pp. 97-130 (scanned pdf) (latest version pdf)
de Kleer, J. (1986) Problem solving with the ATMS, Artificial Intelligence 28 (2) pp. 197-224 (scanned pdf)
de Kleer, J. (1986) An assumption-based TMS, Artificial Intelligence 28 (2) pp. 127-162 (scanned pdf)
de Kleer, J. and Brown, J.S. (1986) Theories of causal ordering, Artificial Intelligence 29 (1) pp. 33-61 (scanned pdf)
de Kleer, J. (1986) Extending the ATMS, Artificial Intelligence 28 (2) pp. 163-196
de Kleer, J. (1984) How circuits work, Artificial Intelligence (scanned pdf)
de Kleer, J. and Brown, J.S. (1984) A qualitative physics based on confluences, Artificial Intelligence 24 (1-3) pp. 7-83 (scanned pdf)
de Kleer, J. and Stefik, M. (1983) Knowledge versus Complexity: Prospects for Expert Systems in Computer-Aided Design, Computer Design, April.
Sussman, G.J. and de Kleer, J. (1980) Propagation of Constraints Applied to Circuit Synthesis, , Circuit Theory and Applications, Vol. 8. (scanned pdf)

Conferences

de Kleer, J. (2006) Improving probability estimates to lower diagnostic costs, DX 2006. (pdf)
de Kleer, J. (2006) Modeling when connections are the problem, QR-2006. (pdf) IJCAI-2007 (pdf)
de Kleer, J. and Kurien, J. (2003) Fundamentals of model-based diagnosis, SafeProcess 2003 (to appear). (pdf)
de Kleer, J., Raiman, O. (1995) Trading off the costs of inference vs. probing in diagnosis, IJCAI-95, pp. 1736-1741 (ps)
Raiman, O. and de Kleer, J., and Saraswat, V.J. (1993) Critical Reasoning. IJCAI-93, pp. 18-23
de Kleer, J. and Raiman, O. (1993) How to diagnose with very little information. Fourth International Workshop on Principles of Diagnosis, pp. 160-165. (ps)
de Kleer, J. (1992) An improved incremental algorithm for generating prime implicates, AAAI-92, pp. 780-785
Raiman, O., and de Kleer, J. (1992):,A minimality maintenance system. KR-1992, pp. 532-538
de Kleer, J. (1991) Focusing on probable diagnoses, AAAI-91, pp. 842-848.
Raiman, O., de Kleer, J. and Saraswat, V.J., and Shirley, M. (1991) Characterizing non-intermittent faults. AAAI-91, pp. 849-854
de Kleer, J. (1990) Exploiting Locality in a TMS, AAAI-90, pp.264-271 (scanned pdf)
de Kleer, Johan, Mackworth A. K., and Reiter, R. (1990) Characterizing Diagnoses. AAAI-90, pp.: 324-330 (revised scanned pdf) and in Expert Systems in Engineering, Gottlob, G. and Nejdl, W. (Eds.), pp. 1-15.
de Kleer, J. and Williams, B.C. (1989) Diagnosis with Behavioral Modes, IJCAI-89, pp. 1324-1330 (scanned pdf).
de Kleer, J. (1989) A comparison of ATMS and CSP techniques, IJCAI-89, pp. 290-296 (scanned pdf)
de Kleer, J. (1988) A general labeling algorithm for assumption-based truth maintenance, AAAI-88, pp. 188-192. (revised scanned pdf)
Forbus, K.D., and de Kleer, J. (1988) Focusing the ATMS, AAAI-88, pp. 193-198.
Dixon, M. and de Kleer, J. (1988) Massively Parallel Assumption-Based Truth Maintenance, AAAI-88, pp.199-204. Also in, NMR-88, pp.131-142. (scanned pdf)
Reiter, R., and de Kleer, J. (1987) Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report, AAAI-87, pp. 183-189 (scanned pdf)
de Kleer, J. and Williams, B.C. (1986) Reasoning about Multiple Faults, AAAI-86, pp. 132-139.
de Kleer, J. and Williams, B.C. (1986) Back to Backtracking: Controlling the ATMS, AAAI-86, pp. 910-917. (scanned pdf)
de Kleer, J. (1984) Choices without backtracking, AAAI-84, pp.79-85
de Kleer, J. and Bobrow, D.G. (1984) Qualitative Reasoning With Higher-Order Derivatives, AAAI-84, pp. 86-91.
de Kleer, J. and Brown, J.S. (1984) A Framework for Qualitative Physics, Proceedings of the Sixth Annual Conference of the Cognitive Science Society, pp. 11-18 (scanned pdf)
Brown, J.S. and de Kleer, J. (1983) The Origin, Form, and Logic of Qualitative Physical Laws, IJCAI-83, pp. 1158-1169. (scanned pdf)
de Kleer, J. and Brown, J.S. (1982) Foundations of Envisioning, AAAI-82, pp. 434-437. (revised scanned pdf)
de Kleer, J. and Brown, J.S. (1982) Some Issues on Mechanistic Mental Models, Proceedings of the Fourth Annual Conference of the Cognitive Science Society. (scanned pdf)
de Kleer, J. (1981) Towards a Theory of Qualitative Reasoning about Mechanisms and its role in Troubleshooting, Proceedings of the NATO Symposium on Human Detection and Diagnosis of System Failures, Plenum, 1981.
de Kleer, J. (1979) The origin and resolution of ambiguities in causal arguments, IJCAI-79 (scanned pdf)
de Kleer, J. (1977) Multiple representations of knowledge in a mechanics problem-solver, IJCAI-77, pp. 299-304. (scanned pdf)
de Kleer, J. Doyle, J., Steele, G.L. and Sussman, G.J. (1977) Explicit Control of Reasoning, in Proceedings of the Symposium on Artificial Intelligence and Programming Languages. Also in MIT Perspective. (scanned.pdf)

Other

de Kleer, J. (1994) A Hybrid-Truth Maintenance System, PARC Tech Report, 1994. (pdf)
de Kleer, J. (1985) Book review: F. Hayes-Roth, D.A. Waterman and D.B. Lenat, Building Expert Systems, Artificial Intelligence 25 (1) pp. 105-107
de Kleer, J. (1984) Book review: E.A. Feigenbaum and P. McCorduck, The Fifth Generation: Artificial Intelligence and Japan's Computer Challenge to the World, Artificial Intelligence 22 (2) pp. 222-226
de Kleer, J. (1984) AI Approaches to Troubleshooting, Artificial Intelligence in Maintenance: Proceedings of the Joint Services Workshop, pp. 83-94. (scanned pdf)
de Kleer, J. (1979) Causal and Teleological Reasoning in Circuit Recognition, MIT TR-529, 1979.
de Kleer, J. (1978) Causal Reasoning and Rationalization in Electronics, MIT AI Lab Memo 499 (scanned pdf)
de Kleer, J. (1977) A Theory of Plans for Electronic Circuits, MIT AI Lab Working Paper 144. (scanned pdf)
de Kleer, J. (1976) Local Methods of Localizing Faults in Electronic Circuits, MIT.AI Lab Memo 394, 1976. (scanned pdf)
de Kleer, J. (1975) Qualitative and Quantitative Knowledge in Classical Mechanics, MIT. AI Lab Technical Report 352.
de Kleer, J. (1975) Qualitative and Quantitative Knowledge in Classical Mechanics: Proposal, MIT. AI Lab Working Paper 88. (scanned pdf)
de Kleer, J., Dixon, M. and Lamping, J. (1988) Massively parallel propositional reasoning, US Patent US5088048:

Return to Johan de Kleer's home page.