J. Kleer

发表

Foundations of Envisioning

Johan de Kleer, John Seely Brown, J. Brown, 1982, AAAI.

A Qualitative Physics Based on Confluences

Johan de Kleer, John Seely Brown, J. Brown, 1984, Artif. Intell..

Qualitative and Quantitative Knowledge in Classical Mechanics

J. Kleer, 1975 .

A Qualitative Physics Based on Confluences

J. Brown, J. Kleer, 1984, Artif. Intell..

Extending the ATMS

Johan de Kleer, J. Kleer, 1986, Artif. Intell..

An Assumption-Based TMS

Johan de Kleer, J. Kleer, 1987, Artif. Intell..

Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report

Raymond Reiter, Johan de Kleer, R. Reiter, 1987, AAAI.

Theories of Causal Ordering

Johan de Kleer, John Seely Brown, J. Brown, 1986, Artif. Intell..

Reasoning about Multiple Faults

Brian C. Williams, Johan de Kleer, B. Williams, 1986, AAAI.

Problem Solving with the ATMS

Johan de Kleer, J. Kleer, 1986, Artif. Intell..

Propagation of constraints applied to circuit synthesis

Gerald Jay Sussman, Johan de Kleer, G. Sussman, 1980 .

Research Challenges and Opportunities in Knowledge Representation

Tim Finin, Craig Boutilier, Jeff Heflin, 2013 .

Readings in qualitative reasoning about physical systems

Johan de Kleer, Daniel S. Weld, J. Kleer, 1990 .

Challenges in Formulating Explanatory Models for Comorbidities

D. Bobrow, J. Kleer, 2016 .

BACK TO BACKTRACKING : CONTR . OLLING THE ATMS

J. Kleer, 1999 .

A I ] 1 3 A ug 2 01 9 Design Space Exploration as Quantified Satisfaction

J. Kleer, Ion Matei, A. Feldman, 2019 .

A FRAMEWORK FOR A QUALITATIVE PHYSICS

J. Brown, J. Kleer, Xerox Pare, 2022 .

Online Model-Based Diagnosis of Production Systems

J. Kleer, L. Kuhn, 2008 .

Online Reconfigurable Machines

Markus P. J. Fromherz, H. Hindi, L. Crawford, 2013 .

Third International Diagnostic Competition – DXC ’ 11

Rui Abreu, Alexander Feldman, Matthew Daigle, 2011 .

Second International Diagnostic Competition – DXC’10

Alexander Feldman, Johan de Kleer, Scott Poll, 2010 .

Hitting set algorithms for model-based diagnosis

Johan de Kleer, J. Kleer, 2011 .

Computationally Efficient Tiered Inference for Multiple Fault Diagnosis

J. Kleer, L. Kuhn, Juan Liu, 2009 .

DIAGNOSIS WITH BEHAVIORAL MODES 1

Brian C. Williams, Johan de Kleer, B. Williams, 2022 .

Special Track on Continuous Planning

Pascal Van Hentenryck, Benjamin Kuipers, Emilio Frazzoli, 2012, International Conference on Automated Planning and Scheduling.

Troubleshooting unintended temporal behavior

J. Kleer, 2009 .

Using Modelica Models for Qualitative Reasoning

D. Bobrow, J. Kleer, M. Klenk, 2013 .

Heuristic Search for Target-Value Path Problem

J. Kleer, L. Kuhn, Rong Zhou, 2008 .

Factored Envisioning1

Kenneth D. Forbus, J. Kleer, E. Jones, 2009 .

One step lookahead is pretty good

Johan de Kleer, Olivier Raiman, Mark Shirley, 1992 .

Diagnosing Multiple Persistent and Intermittent Faults

J. Kleer, 2009, IJCAI.

Diagnosing Heterogeneous Hadoop Clusters

J. Kleer, C. Witteveen, Shekhar Gupta, 2013 .

A GENERAL LA M FOR ASSUM ENANCE

J. Kleer, 1999 .

Improving the Robustness of Team Collaboration through Analysis of Qualitative Interactions

D. Bobrow, J. Kleer, M. Klenk, 2016 .

Challenges for qualitative reasoning for engineering design

D. Bobrow, J. Kleer, M. Klenk, 2012 .

Focusing on Probable Diagnoses 1

J. Kleer, 2008 .

2D Density Control of Micro-Particles using Kernel Density Estimation

J. Kleer, Ion Matei, Maksym Zhenirovskyy, 2022, 2209.03550.

Analog Accelerator for Simulation and Diagnostics

Johan de Kleer, Ion Matei, Alexander Feldman, 2020, AAAI.

Non-Monotonic Reasoning

Michael Reinfrank, Erik Sandewall, Johan de Kleer, 1989, Lecture Notes in Computer Science.

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

Johan de Kleer, J. Kleer, 1984 .

F. Hayes-Roth, D. A. Waterman and D. B. Lenat, Building Expert Systems (Book Review)

Johan de Kleer, J. Kleer, 1985, Artif. Intell..

Model-based diagnosis in combinational digital circuits: An application with potential for quantum speedup

Rupak Biswas, Hartmut Neven, Johan de Kleer, 2017 .

Online Reconfi gable Machine

Wheeler Ruml, Johan de Kleer, Markus P. J. Fromherz, 2013 .

A Minimality Maintenance System

Johan de Kleer, Olivier Raiman, J. Kleer, 1992, KR.

An Improved Incremental Al Prime Implicates

J. Kleer, 1992 .

Compiling devices: locality in a TMS

Johan de Kleer, J. Kleer, 1993 .

Proceedings of the 2nd International Workshop on Non-Monotonic Reasoning

Michael Reinfrank, Erik Sandewall, Johan de Kleer, 1989 .

A Theory of Plans for Electronic Circuits

Johan de Kleer, J. Kleer, 1977 .

Solving Model-Based Diagnosis Problems with Max-SAT Solvers and Vi e Versa

Johan de Kleer, Gregory Provan, J. Kleer, 2010 .

A Perspective on Assumption-Based Truth Maintenance

Johan de Kleer, J. Kleer, 1993, Artif. Intell..

Improving the Efficiency of Gradient Descent Algorithms Applied to Optimization Problems with Dynamical Constraints

J. Kleer, Ion Matei, Maksym Zhenirovskyy, 2022, ArXiv.

But where do we start ? Qualitative initialization problem with quantitative models

D. Bobrow, J. Kleer, I. Matei, 2015 .

Micro-scale chiplet assembly control with chiplet-to-chiplet potential interaction

J. Baras, J. Kleer, Ion Matei, 2021, 2021 60th IEEE Conference on Decision and Control (CDC).

Model-Based Adaptation to Novelty in Open-World AI

J. Kleer, M. Klenk, Roni Stern, 2022 .

A control approach to fault disambiguation A Control Approach to Fault Disambiguation

K. Goebel, J. Kleer, Ion Matei, 2022 .

Readings in Model-Based Diagnosis

Luca Console, Johan de Kleer, Walter Hamscher, 1992 .

DARN: Toward a community memory for diagnosis and repair tasks

Daniel G. Bobrow, Johan de Kleer, Sanjay Mittal, 1987 .

DIAGNOSING MULTIPLE FAULTS 1

Brian C. Williams, Johan de Kleer, B. Williams, 2008 .

Eliminating the Fixed Predicates from a Circumscription

Kurt Konolige, Johan de Kleer, J. Kleer, 1989, Artif. Intell..

Diagnosing Multiple Faults

Brian C. Williams, Johan de Kleer, B. Williams, 1987, Artif. Intell..

On-Line Reconfigurable Machines

Wheeler Ruml, Rong Zhou, Johan de Kleer, 2013, AI Mag..

Hybrid Qualitative Simulation of Military Operations

Kenneth D. Forbus, Johan de Kleer, Thomas R. Hinrichs, 2011, IAAI.

Pervasive Diagnosis

Tim Schmidt, Juan Liu, Rong Zhou, 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

Causal and Teleological Reasoning In Circuit Recognition

Johan de Kleer, J. Kleer, 1979 .

Mental Models of Physical Mechanismsand Their Acquisition

Johan de Kleer, J. Brown, J. Kleer, 2003 .

How Circuits Work

Johan de Kleer, J. Kleer, 1984, Artif. Intell..

A View on Qualitative Physics

Johan de Kleer, J. Kleer, 1993, Artif. Intell..

AMORD explicit control of reasoning

Jon Doyle, Gerald Jay Sussman, Guy L. Steele, 1977, Artificial Intelligence and Programming Languages.

Explicit Control of Reasoning

Jon Doyle, Gerald Jay Sussman, Guy L. Steele, 1977 .

Dynamic Domain Abstraction Through Meta-diagnosis

Johan de Kleer, J. Kleer, 2007, SARA.

ThroughputScheduler: Learning to Schedule on Heterogeneous Hadoop Clusters

Cees Witteveen, Christian Fritz, Johan de Kleer, 2013, ICAC.

An optimization-based approach to automated design

J. Kleer, Ion Matei, Maksym Zhenirovskyy, 2023, 2302.08428.

Deep Learning for Control: a non-Reinforcement Learning View

Johan de Kleer, Ion Matei, Rahul Rai, 2020, 2020 American Control Conference (ACC).

Characterizing Diagnoses and Systems

Raymond Reiter, Alan K. Mackworth, Johan de Kleer, 1992, Artif. Intell..

Back to Backtracking: Controlling the ATMS

Brian C. Williams, Johan de Kleer, B. Williams, 1986, AAAI.

The Origin and Resolution of Ambiguities in Causal Arguments

Johan de Kleer, J. Kleer, 1979, IJCAI.

Causal Reasoning and Rationalization in Electronics

Johan De Kleer, J. Kleer, 1978 .

Local Methods for Localizing Faults in Electronic Circuits

Johan De Kleer, J. Kleer, 1976 .

Model-based diagnosis in SOPHIE III

Johan de Kleer, John Seely Brown, J. Brown, 1992 .

Modeling When Connections Are the Problem

Johan de Kleer, J. Kleer, 2007, IJCAI.

Qualitative Reasoning about Physical Systems: A Return to Roots

Brian C. Williams, Johan de Kleer, B. Williams, 1991, Artif. Intell..

Using Crude Probability Estimates to Guide Diagnosis

Johan de Kleer, J. Kleer, 1990, Artif. Intell..

Characterizing Diagnoses

Raymond Reiter, Alan K. Mackworth, Johan de Kleer, 1990, AAAI.

Diagnosis with Behavioral Modes

Brian C. Williams, Johan de Kleer, B. Williams, 1989, IJCAI.

Diagnosis with Incomplete Models: Diagnosing Hidden Interaction Faults

Johan de Kleer, Lukas D. Kuhn, J. Kleer, 2010, AAAI Spring Symposium: Embedded Reasoning.

Online Model-based Diagnosis for Multiple , Intermittent and Interaction Faults

Johan de Kleer, Lukas Kuhn, J. Kleer, 2009 .

Characterizing Non-Intermittent Faults

Johan de Kleer, Vijay A. Saraswat, Olivier Raiman, 1991, AAAI.

Focusing the ATMS

Kenneth D. Forbus, Johan de Kleer, J. Kleer, 1988, AAAI.

A General Labeling Algorithm for Assumption-Based Truth Maintenance

Johan de Kleer, J. Kleer, 1988, AAAI.

Choices Without Backtracking

Johan de Kleer, J. Kleer, 1984, AAAI.

AI Research Associate for Early-Stage Scientific Discovery

J. Kleer, M. Behandish, J. Maxwell, 2022, AAAI Spring Symposium: MLPS.

In Defence of nonmonotnic inference

Johan de Kleer, J. Kleer, 1987 .

Model-based diagnosis in SOPHIE III 1

J. Brown, J. Kleer, 2019 .

Combinatorial models for heterogeneous system composition and analysis

Vadim Shapiro, Saigopal Nelaturi, Johan de Kleer, 2016, 2016 11th System of Systems Engineering Conference (SoSE).

Automatic Support Removal for Additive Manufacturing Post Processing pdf

Saigopal Nelaturi, Johan de Kleer, Morad Behandish, 2019, Comput. Aided Des..

Qualitative Reasoning With Higher-Order Derivatives

Daniel G. Bobrow, Johan de Kleer, D. Bobrow, 1989, AAAI.

A Quantum Algorithm for Computing All Diagnoses of a Switching Circuit

J. Kleer, Ion Matei, A. Feldman, 2022, ArXiv.

Design Space Exploration as Quantified Satisfaction pdf

Alexander Feldman, Johan de Kleer, Ion Matei, 2019, ArXiv.

Automated Process Planning for Hybrid Manufacturing pdf

Saigopal Nelaturi, Johan de Kleer, Morad Behandish, 2018, Comput. Aided Des..

Correcting Design Errors in Components and Connections

J. Kleer, I. Matei, A. Feldman, 2019 .

A Comparison of ATMS and CSP Techniques

Johan de Kleer, J. Kleer, 1989, IJCAI.

Building Problem Solvers

Kenneth D. Forbus, Johan de Kleer, J. Kleer, 1993 .

Analog Implementation of Optimization Algorithms: A Distributed Optimization View

Alexander Feldman, Johan de Kleer, Ion Matei, 2018, 2018 IEEE Conference on Decision and Control (CDC).

Learning constitutive equations of physical components with constraints discovery

Johan de Kleer, Ion Matei, Raj Minhas, 2018, 2018 Annual American Control Conference (ACC).

System Resilience through Health Monitoring and Reconfiguration

J. Tierno, J. Kleer, Ion Matei, 2022, ArXiv.

Hybrid modeling: Applications in real-time diagnosis pdf

Johan de Kleer, Ion Matei, Rahul Rai, 2020, ArXiv.

Trading off the Costs of Inference vs. Probing in Diagnosis

Johan de Kleer, Olivier Raiman, J. Kleer, 1995, IJCAI.

Diagnosing Advanced Persistent Threats: A Position Paper

Daniel G. Bobrow, Rui Abreu, Alexander Feldman, 2015, DX.

Exploiting Locality in a TMS

Johan de Kleer, J. Kleer, 1990, AAAI.

Massively Parallel Assumption-Based Truth Maintenance

Michael Dixon, Johan de Kleer, J. Kleer, 1988, NMR.

Compiling Devices and Processes

Johan de Kleer, J. Kleer, 1990 .

1 Compiling Devices : Locality in a TMS

Anne Rogers, Keshav Pingali, J. Kleer, 2022 .

Hybrid Qualitative and Quantitative Diagnosis Approach

Johan de Kleer, Ion Matei, Maksym Zhenirovskyy, 2019, Annual Conference of the PHM Society.

Learning constitutive equations of physical components with predefined feasibility conditions

Johan de Kleer, Ion Matei, Maksym Zhenirovskyy, 2019, 2019 American Control Conference (ACC).

Model-based diagnosis: A frequency domain view

Alexander Feldman, Johan de Kleer, Ion Matei, 2018, 2018 IEEE International Conference on Prognostics and Health Management (ICPHM).

FIRE: Infrastructure for Experience-Based Systems with Common Sense

Kenneth D. Forbus, Johan de Kleer, Jeffrey M. Usher, 2010, AAAI Fall Symposium: Commonsense Knowledge.

A Qualitative Physics Based on Confluences

J. Brown, J. Kleer, 1984, Artif. Intell..

Abduction 8 Related Work

J. Kleer, 1991 .

Causal explanations of behavior

Daniel S. Weld, J. Kleer, 1990 .

Using Fault Augmented Modelica Models for Diagnostics

Bhaskar Saha, Johan de Kleer, Ion Matei, 2014 .

Qualitative Simulation *

B. Kuipers, J. Kleer, 2002 .

The Origin, Form, and Logic of Qualitative Physical Laws

Johan de Kleer, John Seely Brown, J. Brown, 1983, IJCAI.

Learning Diagnosis Models Using Variable-Fidelity Component Model Libraries★

Rui Abreu, Alexander Feldman, Johan de Kleer, 2015 .