Johan de Kleer

from Wikipedia, the free encyclopedia

Johan de Kleer is an American computer scientist.

Johan de Kleer studied mathematics and computer science at the University of British Columbia with a bachelor's degree and computer science at the Massachusetts Institute of Technology with a master's degree and doctorate in 1979 with Gerald Sussman (Causal and teleological reasoning in circuit recognition). He is a PARC Research Fellow at Xerox PARC where he heads the Model Based Reasoning (MBR) group. Research areas he initiated are Qualitative Reasoning, Assumption-based Truth Maintenance System (ATMS) and Model-Based Diagnosis.

In 1987 he received the IJCAI Computers and Thought Award . He is a Fellow of the Association for Computing Machinery and the AAAI .

Fonts

  • with JS Brown: A qualitative physics based on confluences, Artificial intelligence, Volume 24, 1984, pp. 7-83
  • An assumption-based TMS, Artificial intelligence, Volume 28, 1986, pp. 127-162
  • with BC Williams: Diagnosing multiple faults, Artificial intelligence, Volume 32, 1987, pp. 97-130
  • with AK Mackworth, Ray Reiter: Characterizing diagnoses and systems, Artificial intelligence, Volume 56, 1992, pp. 197–222
  • with Kenneth D. Forbus: Building problem solvers, MIT Press 1993
  • with Daniel S. Weld: Readings in qualitative reasoning about physical systems, Morgan Kaufmann 2013
  • with Walter Hamscher, Luca Console: Readings in model based diagnosis, Morgan Kaufmann 1992

Web links

Individual evidence

  1. ↑ Johan de Kleer in the Mathematics Genealogy Project (English)Template: MathGenealogyProject / Maintenance / id used
personal data
SURNAME Kleer, Johan de
BRIEF DESCRIPTION American computer scientist
DATE OF BIRTH 20th century