Johan de Kleer

Publication Activity (10 Years)

Years Active: 1977-2024
Publications (10 Years): 37

Top Topics

Space Exploration

Kernel Density Estimation

Process Planning

Aerial Vehicles

Top Venues

Publications

Ion Matei, Wiktor Piotrowski, Alexandre Perez, Johan de Kleer, Jorge Tierno, Wendy Mungovan, Vance Turnewitsch
System Resilience through Health Monitoring and Reconfiguration. ACM Trans. Cyber Phys. Syst. 8 (1) (2024)
Shiwali Mohan, Wiktor Piotrowski, Roni Stern, Sachin Grover, Sookyung Kim, Jacob Le, Yoni Sher, Johan de Kleer
A domain-independent agent architecture for adaptive operation in evolving open worlds. Artif. Intell. 334 (2024)
Ion Matei, Johan de Kleer, Maksym Zhenirovskyy
2D Density Control of Micro-Particles using Kernel Density Estimation. ACC (2023)
Wiktor Piotrowski, Roni Stern, Yoni Sher, Jacob Le, Matthew Klenk, Johan de Kleer, Shiwali Mohan
Learning to Operate in Open Worlds by Adapting Planning Models. AAMAS (2023)
Shiwali Mohan, Wiktor Piotrowski, Roni Stern, Sachin Grover, Sookyung Kim, Jacob Le, Johan de Kleer
A Domain-Independent Agent Architecture for Adaptive Operation in Evolving Open Worlds. CoRR (2023)
Wiktor Piotrowski, Roni Stern, Yoni Sher, Jacob Le, Matthew Klenk, Johan de Kleer, Shiwali Mohan
Learning to Operate in Open Worlds by Adapting Planning Models. CoRR (2023)
Ion Matei, Raj Minhas, Johan de Kleer, Alexander Feldman
AI Enhanced Control Engineering Methods. CoRR (2023)
Ion Matei, Maksym Zhenirovskyy, Johan de Kleer, John Maxwell III
Improving the Efficiency of Gradient Descent Algorithms Applied to Optimization Problems with Dynamical Constraints. CoRR (2022)
Morad Behandish, John Maxwell III, Johan de Kleer
AI Research Associate for Early-Stage Scientific Discovery. CoRR (2022)
Alexander Feldman, Johan de Kleer, Ion Matei
A Quantum Algorithm for Computing All Diagnoses of a Switching Circuit. CoRR (2022)
Ion Matei, Wiktor Piotrowski, Alexandre Perez, Johan de Kleer, Jorge Tierno, Wendy Mungovan, Vance Turnewitsch
System Resilience through Health Monitoring and Reconfiguration. CoRR (2022)
Ion Matei, Chen Zeng, Souma Chowdhury, Rahul Rai, Johan de Kleer
Controlling Draft Interactions Between Quadcopter Unmanned Aerial Vehicles with Physics-aware Modeling. J. Intell. Robotic Syst. 101 (1) (2021)
Ion Matei, Anne Plochowietz, Johan de Kleer, John S. Baras
Micro-scale chiplet assembly control with chiplet-to-chiplet potential interaction. CDC (2021)
Morad Behandish, John Maxwell III, Johan de Kleer
AI Research Associate for Early-Stage Scientific Discovery. AAAI Spring Symposium: MLPS (2021)
Wiktor Piotrowski, Roni Stern, Matthew Klenk, Alexandre Perez, Shiwali Mohan, Johan de Kleer, Jacob Le
Playing Angry Birds with a Domain-Independent PDDL+ Planner. CoRR (2021)
Ion Matei, Raj Minhas, Maksym Zhenirovskyy, Johan de Kleer, Rahul Rai
Deep Learning for Control: a non-Reinforcement Learning View. ACC (2020)
Alexander Feldman, Ion Matei, Emil Totev, Johan de Kleer
Analog Accelerator for Simulation and Diagnostics. AAAI (2020)
Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei, Johan de Kleer
Efficient Model-Based Diagnosis of Sequential Circuits. AAAI (2020)
Ion Matei, Johan de Kleer, Christoforos Somarakis, Anne Plochowietz, John S. Baras
Micro-scale 2D chiplet position control: a formal approach to policy design. CDC (2020)
Ion Matei, Johan de Kleer, Alexander Feldman, Rahul Rai, Souma Chowdhury
Hybrid modeling: Applications in real-time diagnosis. CoRR (2020)
Ion Matei, Johan de Kleer, Christoforos Somarakis, Rahul Rai, John S. Baras
Interpretable machine learning models: a physics-based view. CoRR (2020)
Ion Matei, Maksym Zhenirovskyy, Johan de Kleer, Christoforos Somarakis, John S. Baras
Learning physical laws: the case of micron size particles in dielectric fluid. ACC (2020)
Ion Matei, Johan de Kleer, Maksym Zhenirovskyy, Alexander Feldman
Learning constitutive equations of physical components with predefined feasibility conditions. ACC (2019)
Alexander Feldman, Johan de Kleer, Ion Matei
Design Space Exploration as Quantified Satisfaction. CoRR (2019)
Saigopal Nelaturi, Morad Behandish, Amir M. Mirzendehdel, Johan de Kleer
Automatic Support Removal for Additive Manufacturing Post Processing. CoRR (2019)
Saigopal Nelaturi, Morad Behandish, Amir M. Mirzendehdel, Johan de Kleer
Automatic Support Removal for Additive Manufacturing Post Processing. Comput. Aided Des. 115 (2019)
Morad Behandish, Saigopal Nelaturi, Johan de Kleer
Automated process planning for hybrid manufacturing. Comput. Aided Des. 102 (2018)
Ion Matei, Alexander Feldman, Johan de Kleer
Analog Implementation of Optimization Algorithms: A Distributed Optimization View. CDC (2018)
Ion Matei, Johan de Kleer, Raj Minhas
Learning constitutive equations of physical components with constraints discovery. ACC (2018)
Morad Behandish, Saigopal Nelaturi, Johan de Kleer
Automated Process Planning for Hybrid Manufacturing. CoRR (2018)
Ion Matei, Alexander Feldman, Johan de Kleer
Model-based diagnosis: A frequency domain view. ICPHM (2018)
Johan de Kleer, Matthew Klenk, Alexander Feldman
Diagnosing Alternative Facts. DX (2017)
Matthew Evans Klenk, Shiwali Mohan, Johan de Kleer, Daniel G. Bobrow, Tom Hinrichs, Kenneth D. Forbus
Collaborative Autonomy through Analogical Comic Graphs. AAAI Workshops (2017)
Ion Matei, Raj Minhas, Johan de Kleer, Anurag Ganguli
Improving state-action space exploration in reinforcement learning using geometric properties. CDC (2017)
Marzieh Nabi, Adam Arvay, Matthew Klenk, Gaurang Gavai, Daniel G. Bobrow, Johan de Kleer
Position Article on Integrating Data and Model to Understand Disease Interactions. ICHI (2017)
Saigopal Nelaturi, Johan de Kleer, Vadim Shapiro
Combinatorial models for heterogeneous system composition and analysis. SoSE (2016)
Nuno Cardoso, Rui Abreu, Alexander Feldman, Johan de Kleer
A Framework for Automatic Debugging of Functional and Degradation Failures. ECAI (2016)
Ion Matei, Anurag Ganguli, Tomonori Honda, Johan de Kleer
The Case for a Hybrid Approach to Diagnosis: A Railway Switch. DX (2015)
Rui Abreu, Daniel G. Bobrow, Hoda Eldardiry, Alexander Feldman, John Hanley, Tomonori Honda, Johan de Kleer, Alexandre Perez, Dave Archer, David Burke
Diagnosing Advanced Persistent Threats: A Position Paper. DX (2015)
Matthew Evans Klenk, Johan de Kleer, Daniel G. Bobrow, Bill Janssen
Qualitative Reasoning with Modelica Models. AAAI (2014)
Alexander Feldman, Johan de Kleer, Tolga Kurtoglu, Sriram Narasimhan, Scott Poll, David García, Lukas D. Kuhn, Arjan J. C. van Gemund
The Diagnostic Competitions. AI Mag. 35 (2) (2014)
Lara S. Crawford, Minh Binh Do, Wheeler Ruml, Haitham A. Hindi, Craig Eldershaw, Rong Zhou, Lukas D. Kuhn, Markus P. J. Fromherz, David Biegelsen, Johan de Kleer, Daniel Larner
On-Line Reconfigurable Machines. AI Mag. 34 (3) (2013)
Shekhar Gupta, Christian Fritz, Bob Price, Roger Hoover, Johan de Kleer, Cees Witteveen
ThroughputScheduler: Learning to Schedule on Heterogeneous Hadoop Clusters. ICAC (2013)
Shekhar Gupta, Nico Roos, Cees Witteveen, Bob Price, Johan de Kleer
Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis. AAAI (2012)
Thomas R. Hinrichs, Kenneth D. Forbus, Johan de Kleer, Sungwook Yoon, Eric K. Jones, Robert Hyland, Jason Wilson
Hybrid Qualitative Simulation of Military Operations. IAAI (2011)
Lukas D. Kuhn, Bob Price, Minh Binh Do, Juan Liu, Rong Zhou, Tim Schmidt, Johan de Kleer
Pervasive Diagnosis. IEEE Trans. Syst. Man Cybern. Part A 40 (5) (2010)
Peter Struss, Gregory M. Provan, Johan de Kleer, Gautam Biswas
Special Issue on Model-Based Diagnostics. IEEE Trans. Syst. Man Cybern. Part A 40 (5) (2010)
Lukas D. Kuhn, Johan de Kleer
Diagnosis with Incomplete Models: Diagnosing Hidden Interaction Faults. AAAI Spring Symposium: Embedded Reasoning (2010)
Kenneth D. Forbus, Thomas R. Hinrichs, Johan de Kleer, Jeffrey M. Usher
FIRE: Infrastructure for Experience-Based Systems with Common Sense. AAAI Fall Symposium: Commonsense Knowledge (2010)
Alexander Feldman, Gregory M. Provan, Johan de Kleer, Lukas D. Kuhn, Arjan J. C. van Gemund
Automated Redesign with the General Redesign Engine. SARA (2009)
Johan de Kleer
Diagnosing Multiple Persistent and Intermittent Faults. IJCAI (2009)
Juan Liu, Lukas D. Kuhn, Johan de Kleer, Rong Zhou
Pervasive Model Adaptation: The Integration of Planning and Information Gathering in Dynamic Production Systems. ICAPS (2009)
Lukas D. Kuhn, Bob Price, Johan de Kleer, Minh Binh Do, Rong Zhou
Pervasive Diagnosis: The Integration of Diagnostic Goals into Production Plans. AAAI (2008)
Johan de Kleer
Dynamic Domain Abstraction Through Meta-diagnosis. SARA (2007)
Johan de Kleer
Modeling When Connections Are the Problem. IJCAI (2007)
Markus P. J. Fromherz, Daniel G. Bobrow, Johan de Kleer
Model-Based Computing for Design and Control of Reconfigurable Systems. AI Mag. 24 (4) (2004)
Johan de Kleer, Olivier Raiman
Trading off the Costs of Inference vs. Probing in Diagnosis. IJCAI (1995)
Olivier Raiman, Johan de Kleer, Vijay A. Saraswat
Critical Reasoning. IJCAI (1993)
Johan de Kleer
A Perspective on Assumption-Based Truth Maintenance. Artif. Intell. 59 (1-2) (1993)
Johan de Kleer
A View on Qualitative Physics. Artif. Intell. 59 (1-2) (1993)
Olivier Raiman, Johan de Kleer
A Minimality Maintenance System. KR (1992)
Johan de Kleer, Alan K. Mackworth, Raymond Reiter
Characterizing Diagnoses and Systems. Artif. Intell. 56 (2-3) (1992)
Brian C. Williams, Olivier Raiman, Daniel G. Bobrow, Mark Shirley, Brian Falkenhainer, Johan de Kleer
Narrow Views, Old Talks, New Beginnings. Comput. Intell. 8 (1992)
Johan de Kleer
An Improved Incremental Algorithm for Generating Prime Implicates. AAAI (1992)
Johan de Kleer
Focusing on Probable Diagnoses. AAAI (1991)
Olivier Raiman, Johan de Kleer, Vijay A. Saraswat, Mark Shirley
Characterizing Non-Intermittent Faults. AAAI (1991)
Brian C. Williams, Johan de Kleer
Qualitative Reasoning about Physical Systems: A Return to Roots. Artif. Intell. 51 (1-3) (1991)
Johan de Kleer
Using Crude Probability Estimates to Guide Diagnosis. Artif. Intell. 45 (3) (1990)
Johan de Kleer, Alan K. Mackworth, Raymond Reiter
Characterizing Diagnoses. AAAI (1990)
Johan de Kleer, Alan K. Mackworth, Raymond Reiter
Characterizing Diagnoses. Expert Systems in Engineering (1990)
Johan de Kleer
Exploiting Locality in a TMS. AAAI (1990)
Johan de Kleer, Brian C. Williams
Diagnosis with Behavioral Modes. IJCAI (1989)
Johan de Kleer, Kurt Konolige
Eliminating the Fixed Predicates from a Circumscription. Artif. Intell. 39 (3) (1989)
Johan de Kleer
A Comparison of ATMS and CSP Techniques. IJCAI (1989)
Kenneth D. Forbus, Johan de Kleer
Focusing the ATMS. AAAI (1988)
Michael Dixon, Johan de Kleer
Massively Parallel Assumption-Based Truth Maintenance. NMR (1988)
Johan de Kleer
A General Labeling Algorithm for Assumption-Based Truth Maintenance. AAAI (1988)
Michael Dixon, Johan de Kleer
Massively Parallel Assumption-Based Truth Maintenance. AAAI (1988)
Johan de Kleer, Brian C. Williams
Diagnosing Multiple Faults. Artif. Intell. 32 (1) (1987)
Raymond Reiter, Johan de Kleer
Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report. AAAI (1987)
Johan de Kleer, Brian C. Williams
Reasoning about Multiple Faults. AAAI (1986)
Johan de Kleer
Extending the ATMS. Artif. Intell. 28 (2) (1986)
Johan de Kleer, John Seely Brown
Theories of Causal Ordering. Artif. Intell. 29 (1) (1986)
Johan de Kleer
Problem Solving with the ATMS. Artif. Intell. 28 (2) (1986)
Johan de Kleer, Brian C. Williams
Back to Backtracking: Controlling the ATMS. AAAI (1986)
Johan de Kleer
An Assumption-Based TMS. Artif. Intell. 28 (2) (1986)
Johan de Kleer
F. Hayes-Roth, D. A. Waterman and D. B. Lenat, Building Expert Systems (Book Review). Artif. Intell. 25 (1) (1985)
Johan de Kleer
Assumptionbased Truth Maintenance (Abstract). GWAI (1985)
Johan de Kleer, Daniel G. Bobrow
Qualitative Reasoning With Higher-Order Derivatives. AAAI (1984)
Johan de Kleer
Choices Without Backtracking. AAAI (1984)
Johan de Kleer, John Seely Brown
A Qualitative Physics Based on Confluences. Artif. Intell. 24 (1-3) (1984)
Johan de Kleer
E. A. Feigenbaum and P. McCorduck, The Fifth Generation: Artificial Intelligence and Japan's Computer Challenge to the World. Artif. Intell. 22 (2) (1984)
Johan de Kleer
How Circuits Work. Artif. Intell. 24 (1-3) (1984)
John Seely Brown, Johan de Kleer
The Origin, Form, and Logic of Qualitative Physical Laws. IJCAI (1983)
Johan de Kleer, John Seely Brown
Foundations of Envisioning. AAAI (1982)
Johan de Kleer
The Origin and Resolution of Ambiguities in Causal Arguments. IJCAI (1979)
Johan de Kleer, Jon Doyle, Guy L. Steele Jr., Gerald Jay Sussman
AMORD explicit control of reasoning. Artificial Intelligence and Programming Languages (1977)
Johan de Kleer
Multiple Representations of Knowledge in a Mechanics Problem-Solver. IJCAI (1977)