Johan De Kleer

Johan De Kleer's AcademicInfluence.com Rankings

Johan De Kleer

Computer Science

#4481

World Rank

#4725

Historical Rank

Automated Reasoning

#10

World Rank

#10

Historical Rank

Artificial Intelligence

#1101

World Rank

#1120

Historical Rank

Database

#1693

World Rank

#1774

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Johan De Kleer's Degrees

PhD Computer Science Stanford University
Masters Computer Science Stanford University
Bachelors Mathematics University of California, Berkeley

Similar Degrees You Can Earn

Why Is Johan De Kleer Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Johan De Kleer's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Diagnosing Multiple Faults (1987) (2370)
An Assumption-Based TMS (1987) (2016)
A Qualitative Physics Based on Confluences (1984) (1506)
Readings in qualitative reasoning about physical systems (1990) (863)
Characterizing Diagnoses and Systems (1992) (667)
Readings in Model-Based Diagnosis (1992) (662)
Diagnosis with Behavioral Modes (1989) (477)
Building Problem Solvers (1993) (446)
Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report (1987) (429)
Problem Solving with the ATMS (1986) (299)
How Circuits Work (1984) (299)
Extending the ATMS (1986) (276)
Focusing on Probable Diagnoses (1991) (200)
A Comparison of ATMS and CSP Techniques (1989) (195)
Theories of Causal Ordering (1986) (192)
Multiple Representations of Knowledge in a Mechanics Problem-Solver (1977) (171)
Causal and Teleological Reasoning In Circuit Recognition (1979) (145)
Fundamentals of model-based diagnosis (2003) (141)
Using Crude Probability Estimates to Guide Diagnosis (1990) (139)
Reasoning about Multiple Faults (1986) (127)
Characterizing Diagnoses (1990) (125)
Qualitative and Quantitative Knowledge in Classical Mechanics (1975) (122)
Choices Without Backtracking (1984) (112)
Propagation of constraints applied to circuit synthesis (1980) (110)
An Improved Incremental Algorithm for Generating Prime Implicates (1992) (90)
AMORD explicit control of reasoning (1977) (87)
Qualitative Reasoning about Physical Systems: A Return to Roots (1991) (78)
Local Methods for Localizing Faults in Electronic Circuits (1976) (77)
Qualitative Reasoning With Higher-Order Derivatives (1989) (75)
Non-Monotonic Reasoning (1989) (75)
A General Labeling Algorithm for Assumption-Based Truth Maintenance (1988) (72)
Focusing the ATMS (1988) (66)
Explicit Control of Reasoning (1977) (63)
The Origin, Form, and Logic of Qualitative Physical Laws (1983) (60)
Back to Backtracking: Controlling the ATMS (1986) (59)
The Origin and Resolution of Ambiguities in Causal Arguments (1979) (58)
Diagnosing Multiple Persistent and Intermittent Faults (2009) (56)
Exploiting Locality in a TMS (1990) (53)
Eliminating the Fixed Predicates from a Circumscription (1989) (52)
Model-Based Computing for Design and Control of Reconfigurable Systems (2004) (45)
Mental Models of Physical Mechanismsand Their Acquisition (2003) (45)
One step lookahead is pretty good (1992) (44)
ThroughputScheduler: Learning to Schedule on Heterogeneous Hadoop Clusters (2013) (42)
Automated Process Planning for Hybrid Manufacturing (2018) (42)
Hitting set algorithms for model-based diagnosis (2011) (37)
AMORD: A Deductive Procedure System (1978) (36)
Foundations of Envisioning (1982) (35)
Massively Parallel Assumption-Based Truth Maintenance (1988) (35)
Characterizing Non-Intermittent Faults (1991) (34)
Critical Reasoning (1993) (34)
Pervasive Diagnosis: Integration of Active Diagnosis into Production Plans (2008) (32)
Pervasive Diagnosis: The Integration of Diagnostic Goals into Production Plans (2008) (32)
A Qualitative Physics Confluences (1984) (29)
Solving Model-Based Diagnosis Problems with Max-SAT Solvers and Vi e Versa (2010) (27)
Using Fault Augmented Modelica Models for Diagnostics (2014) (25)
Trading off the Costs of Inference vs. Probing in Diagnosis (1995) (24)
A Perspective on Assumption-Based Truth Maintenance (1993) (24)
Automatic Support Removal for Additive Manufacturing Post Processing (2019) (23)
Mininimum cardinality candidate generation (2009) (22)
A View on Qualitative Physics (1993) (20)
Empirical Evaluation of Diagnostic Algorithm Performance Using a Generic Framework (2021) (17)
Model-based diagnosis in SOPHIE III (1992) (17)
A framework for continuously estimating persistent and intermittent failure probabilities (2008) (14)
Modeling When Connections Are the Problem (2007) (14)
DARN: Toward a community memory for diagnosis and repair tasks (1987) (13)
A Minimality Maintenance System (1992) (13)
Simulation-Based Design of Aircraft Electrical Power Systems (2011) (12)
Hybrid Qualitative Simulation of Military Operations (2011) (12)
Prospects for expert systems in CAD (1983) (11)
The Case for a Hybrid Approach to Diagnosis: A Railway Switch (2015) (11)
Research Challenges and Opportunities in Knowledge Representation (2013) (10)
Verification and Design Exploration through Meta Tool Integration with OpenModelica (2014) (10)
Third International Diagnostic Competition – DXC ’ 11 (2011) (10)
Heuristic Search for Target-Value Path Problem (2008) (10)
A Model-Based Approach for an Optimal Maintenance Strategy (2014) (10)
Diagnosing Advanced Persistent Threats: A Position Paper (2015) (8)
Dynamic Domain Abstraction Through Meta-diagnosis (2007) (8)
3rd International Diagnostics Competition– DXC’11 (2011) (8)
Making Modelica Applicable for Formal Methods (2014) (8)
Second International Diagnostic Competition (DXC’10) (2010) (8)
Compiling Devices and Processes (1990) (7)
Continuously estimating persistent and intermittent failure probabilities. (2009) (7)
Pervasive Diagnosis (2010) (7)
Learning constitutive equations of physical components with constraints discovery (2018) (7)
A Simulation and Modeling Based Reliability Requirements Assessment Methodology (2014) (7)
A FRAMEWORK FOR A QUALITATIVE PHYSICS (6)
Efficient Model-Based Diagnosis of Sequential Circuits (2020) (6)
to SOCS ’ 09 1 A depth-first approach to target-value search (2009) (6)
Qualitative Reasoning with Modelica Models (2014) (6)
Diagnosis with Incomplete Models: Diagnosing Hidden Interaction Faults (2010) (6)
FIRE: Infrastructure for Experience-Based Systems with Common Sense (2010) (6)
Improving probability estimates to lower diagnostic costs (2006) (5)
Towards a Theory of Qualitative Reasoning about Mechanisms and its Role in Troubleshooting (1981) (5)
A Self-Aware Machine Platform in Manufacturing Shop Floor Utilizing MTConnect Data (2014) (5)
Causal explanations of behavior (1990) (5)
Guiding and Verifying Early Design Using Qualitative Simulation (2012) (5)
Combinatorial models for heterogeneous system composition and analysis (2016) (5)
Compiling devices: locality in a TMS (1993) (4)
Deep Learning for Control: a non-Reinforcement Learning View (2020) (4)
Special Issue on Model-Based Diagnostics (2010) (4)
Learning constitutive equations of physical components with predefined feasibility conditions (2019) (4)
Classification-based Diagnosis Using Synthetic Data from Uncertain Models (2018) (4)
Hybrid modeling: Applications in real-time diagnosis (2020) (4)
Micro-scale 2D chiplet position control: a formal approach to policy design (2020) (4)
Diagnosing Heterogeneous Hadoop Clusters (2013) (3)
On-Line Reconfigurable Machines (2013) (3)
Placing Qualitative Reasoning in the Design Process (2012) (3)
A Framework for Automatic Debugging of Functional and Degradation Failures (2016) (3)
Online Model-based Diagnosis for Multiple , Intermittent and Interaction Faults (2009) (3)
A Theory of Plans for Electronic Circuits (1977) (3)
Computationally Efficient Tiered Inference for Multiple Fault Diagnosis (2009) (3)
Automated Redesign with the General Redesign Engine (2009) (3)
Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis (2012) (2)
F. Hayes-Roth, D. A. Waterman and D. B. Lenat, Building Expert Systems (Book Review) (1985) (2)
Online Reconfigurable Machines (2013) (2)
Using Modelica Models for Qualitative Reasoning (2013) (2)
AI (Artificial Intelligence) Approaches to Troubleshooting (1984) (2)
Building problem solvers: listings (1993) (2)
DIAGNOSIS WITH BEHAVIORAL MODES 1 (2)
Hybrid Qualitative and Quantitative Diagnosis Approach (2019) (2)
Design Space Exploration as Quantified Satisfaction (2019) (2)
Assumptionbased Truth Maintenance (Abstract) (1985) (1)
But where do we start ? Qualitative initialization problem with quantitative models (2015) (1)
Challenges for qualitative reasoning for engineering design (2012) (1)
DIAGNOSING MULTIPLE FAULTS 1 (2008) (1)
Interpretable machine learning models: a physics-based view (2020) (1)
Playing Angry Birds with a Domain-Independent PDDL+ Planner (2021) (1)
Diagnosing Alternative Facts (2018) (1)
A Characterizing Diagonases and Systems (1990) (1)
Learning Diagnosis Models Using Variable-Fidelity Component Model Libraries★ (2015) (1)
Improving the Efficiency of Gradient Descent Algorithms Applied to Optimization Problems with Dynamical Constraints (2022) (1)
Collaborative Autonomy through Analogical Comic Graphs (2017) (1)
Micro-scale chiplet assembly control with chiplet-to-chiplet potential interaction (2021) (1)
2D Density Control of Micro-Particles using Kernel Density Estimation (2022) (1)
The Diagnostic Competitions (2014) (1)
A I ] 1 3 A ug 2 01 9 Design Space Exploration as Quantified Satisfaction (2019) (0)
An optimization-based approach to automated design (2023) (0)
Causal Reasoning and Rationalization in Electronics (1978) (0)
AI Research Associate for Early-Stage Scientific Discovery (2022) (0)
Real time model-based diagnosis enabled by hybrid modeling (2020) (0)
Model-based diagnosis in combinational digital circuits: An application with potential for quantum speedup (2017) (0)
In defence of nonmonotonic inference (1987) (0)
An Improved Incremental Al Prime Implicates (1992) (0)
Joint Identification and Control in Hybrid Linear Systems (2020) (0)
E. A. Feigenbaum and P. McCorduck, The Fifth Generation: Artificial Intelligence and Japan's Computer Challenge to the World (1984) (0)
Model-based diagnosis: A frequency domain view (2018) (0)
BACK TO BACKTRACKING : CONTR . OLLING THE ATMS (1999) (0)
The fifth generation: Artificial intelligence and Japan's computer challenge to the world: E.A. Feigenbaum and P. McCorduck, (Addison-Wesley, Reading, MA, 1983); 275 pages, $15.55 (1984) (0)
Simulation-Based Design of Aircraft Electrical Power Systems Tolga (2011) (0)
A control approach to fault disambiguation A Control Approach to Fault Disambiguation (2022) (0)
Empiri al Evaluation of Diagnosti AlgorithmPerforman e Using a (2010) (0)
Model-Based Adaptation to Novelty in Open-World AI (2022) (0)
NARROW VIEWS, OLD TASKS, AND NEW BEGINNINGS (1992) (0)
Recherche d'anomalies affectant le comportement temporel des circuits combinatoires (2007) (0)
Improving the Robustness of Team Collaboration through Analysis of Qualitative Interactions (2016) (0)
Ambiguities in Causal Arguments (0)
Factored Envisioning1 (2009) (0)
Focusing on Probable Diagnoses 1 (2008) (0)
Online Reconfi gable Machine (2013) (0)
Over the past Two Years We Have Started a Program of Research into the Development of Vlsi Systems. Professor Expert Problem Solving and Vlsi Design (2000) (0)
Troubleshooting unintended temporal behavior (2009) (0)
Learning to Operate in Open Worlds by Adapting Planning Models (2023) (0)
Improving state-action space exploration in reinforcement learning using geometric properties (2017) (0)
Analog Accelerator for Simulation and Diagnostics (2020) (0)
Injecting model-based diagnosis thinking into the design process (2014) (0)
Model-based diagnosis in SOPHIE III 1 (2019) (0)
In Defence of nonmonotnic inference (1987) (0)
Challenges in Formulating Explanatory Models for Comorbidities (2016) (0)
Extended Spectrum Based Plan Diagnosis for Plan-Repair (2012) (0)
Special Track on Continuous Planning (2012) (0)
A Quantum Algorithm for Computing All Diagnoses of a Switching Circuit (2022) (0)
Abduction 8 Related Work (1991) (0)
Online Model-Based Diagnosis of Production Systems (2008) (0)
Analog Implementation of Optimization Algorithms: A Distributed Optimization View (2018) (0)
Classification Based Diagnosis: (2019) (0)
Proceedings of the 2nd International Workshop on Non-Monotonic Reasoning (1989) (0)
Pervasive Model Adaptation: The Integration of Planning and Information Gathering in Dynamic Production Systems (2009) (0)
1 Compiling Devices : Locality in a TMS (0)
System Resilience through Health Monitoring and Reconfiguration (2022) (0)
Position Article on Integrating Data and Model to Understand Disease Interactions (2017) (0)
A GENERAL LA M FOR ASSUM ENANCE (1999) (0)
Correcting Design Errors in Components and Connections (2019) (0)
SOME ISSUES ON MECHANISTIC MENTAL MODELS ’ (0)
Learning physical laws: the case of micron size particles in dielectric fluid (2020) (0)
Diagnosing Sequential Circuits as Boolean Satisfaction (2019) (0)

This paper list is powered by the following services:

Johan De Kleer's Academic­Influence.com Rankings

Johan De Kleer's Degrees

Similar Degrees You Can Earn

Why Is Johan De Kleer Influential?

Johan De Kleer's Published Works

Published Works

Johan De Kleer's AcademicInfluence.com Rankings