- FOUNDATIONS OF ENVISIONING' Johan de Kicer and John Seely Brown
- Massachusetts Institute of Technology Artificial Intelligence Laboratory
- Modelbased diagnosis in SOPHIE III 1 Johan de Kleer and John Seely Brown
- THE ORIGIN, FORM AND LOGIC OF QUALITATIVE PHYSICAL LAWS
- FOUNDATIONS OF ASSUMPTION-BASED
- Improving probability estimates to lower diagnostic costs Johan de Kleer
- ARTIFICIAL INTELLIGENCE A Qualitative Physics
- MASSACHUSETTS INSTITUTE OF TECHNOLOGY ARTIFICIAL INTELLIGENCE LABORATORY
- Heuristic Search for Target-Value Path Problem Lukas Kuhn, Tim Schmidt, Bob Price, Johan de Kleer, Rong Zhou and Minh Do
- DIAGNOSING MULTIPLE FAULTS1 Johan de Kleer and Brian C. Williams
- EXPERT SYSTEMS: THE USER James A. Hendler
- Roy Leitch, Chair Working Papers
- ARTIFICIAL INTELLIGENCE 205 How Circuits Work
- Pervasive Model Adaptation: The Integration of Planning and Information Gathering in Dynamic Production Systems
- Automated Redesign with the General Redesign Engine Alexander Feldman1,3
- A GENERAL LABELING ALGORITHM FOR ASSUMPTION-BASED TRUTH MAINTENANCE'
- We may be able to exploit these observations to inte grate probe selection and candidate generation within a
- How to diagnose well with very little information Johan de Kleer, Olivier Raiman
- Model-based diagnosis in SOPHIE III' Johan de Kleer and John Seely Brown
- Mental Models of Physical Mechanisms and Their
- ARTIFICIAL INTELLIGENCE 97 Diagnosing Multiple Faults
- CIRCUIT THEORY AND APPLICATIONS, VOL. 5, 1 27~144(1910) PROPAGATION OF CONSTRAINTS APPLIED TO
- Submitted to SOCS'09 1 A depth-first approach to target-value search
- Continuously estimating persistent and intermittent failure probabilities.
- First International Diagnosis Competition DXC'09 Tolga Kurtoglu*, Sriram Narasimhan**, Scott Poll***, David Garcia****, Lukas Kuhn
- Towards a Framework for Evaluating and Comparing Diagnosis Algorithms Tolga Kurtoglu*, Sriram Narasimhan**, Scott Poll***, David Garcia****, Lukas Kuhn
- A Unified Information Criterion for Evaluating Probe and Test Selection
- Pervasive Diagnosis: Integration of Active Diagnosis into Production Plans
- An Improved Approach for Generating Max-Fault Min-Cardinality Diagnoses Palo Alto Research Center
- Modeling when Connections are the Problem Johan de Kleer
- Exploiting locality in a TMS Johan de Kleer
- Massively Parallel Assumption-based Truth Maintenance
- BACK TO BACKTRACKING: CONTROLLING THE ATMS
- SOME ISSUES ON MECHANISTIC MENTAL MODELS' Johan de Kleer and John Seely Brown
- ~dvnd'w~oc~ The Origin and Resolution o.f Ambiguities in Causal Arguments
- REPRESENTATIONS OF KNOWLEDGE IN A MECHANICS PROBLEM~SOLVER
- MASSACHUSETTS INSTITUTE OF TECHNOLOGY ARTIFICIAL INTELLIGENCE LABORATORY
- A Hybrid Truth Maintenance System Johan de Kleer
- A! Approaches to Troubleshooting Dr. )ohan de Kleer
- MASSACHUSETTS INSTITUTE OF TECHNOLOGY ARTIFICIAL INTELLIGENCE LABORATORY
- Working Papers The Eighth International Workshop
- ARTIFICIALINTELLIGENCE127 AnAssumption-basedTMS
- A 1<1 I ICI :\L IN'!!TI AG [N( `L () RESEARCH NOTE
- Focusing on Probable Diagnoses1 Johan de Kleer
- Compiling Devices: Locality in a TMS Johan de Kleer
- A COMPARISON OF ATMS AND CSP TECHNIQUES Johan de Kleer
- Troubleshooting unintended temporal behavior Johan de Kleer
- Diagnostic tasks involve identifying faulty com-ponents from observations of symptomatic device
- Modeling when connections are the problem Johan de Kleer
- An Improved Incremental Algorithm for Generating
- ARTIFICIAL. INTELLIGENCE 33 Theories of Causal Ordering
- ARTIFICIAL INTELLIGENCE 197 Problem Solving with the ATMS
- BACKTRACK~NG,DEPENDENCY D~RECTED search will be saved; the components are dynamically reor-
- PHYSICS, QUALITATIVE BIBLIOGRAPHY
- 11. Pedagogical, natural language and knowledge engineering techniques in SOPHIE I, II and Ill
- A framework for continuously estimating persistent and intermittent failure probabilities
- A FRAMEWORK FOR A QUALITATIVE PHYSICS John Seely Brown
