| 2025 | AAAI | A Domain-Independent Agent Architecture for Adaptive Operation in Evolving Open Worlds. | Shiwali Mohan, Wiktor Piotrowski, Roni Stern, Sachin Grover, Sookyung Kim, Jacob Le, Johan de Kleer, Yoni Sher |
| 2025 | DX | The DX Competition 2025 and Its Benchmarks (DX Competition). | Ingo Pill, Daniel Jung, Eldin Kurudzija, Anna Sztyber-Betley, Michal Syfert, Kai Dresia, Gnther Waxenegger-Wilfing, Johan de Kleer |
| 2025 | DX | Assessing Diagnosis Algorithms: Of Sampling, Baselines, Metrics and Oracles. | Ingo Pill, Johan de Kleer |
| 2024 | DX | Challenges for Model-Based Diagnosis. | Ingo Pill, Johan de Kleer |
| 2020 | AAAI | Analog Accelerator for Simulation and Diagnostics. | Alexander Feldman, Ion Matei, Emil Totev, Johan de Kleer |
| 2020 | AAAI | Efficient Model-Based Diagnosis of Sequential Circuits. | Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei, Johan de Kleer |
| 2017 | AAAI | Collaborative Autonomy through Analogical Comic Graphs. | Matthew Evans Klenk, Shiwali Mohan, Johan de Kleer, Daniel G. Bobrow, Tom Hinrichs, Kenneth D. Forbus |
| 2017 | DX | Diagnosing Alternative Facts. | Johan de Kleer, Matthew Klenk, Alexander Feldman |
| 2016 | ECAI | A Framework for Automatic Debugging of Functional and Degradation Failures. | Nuno Cardoso, Rui Abreu, Alexander Feldman, Johan de Kleer |
| 2015 | SAFEProcess | Diagnosing Advanced Persistent Threats: A Position Paper. | Rui Abreu, Daniel G. Bobrow, Hoda Eldardiry, Alexander Feldman, John Hanley, Tomonori Honda, Johan de Kleer, Alexandre Perez, Dave Archer, David Burke |
| 2015 | SAFEProcess | The Case for a Hybrid Approach to Diagnosis: A Railway Switch. | Ion Matei, Anurag Ganguli, Tomonori Honda, Johan de Kleer |
| 2014 | AAAI | Qualitative Reasoning with Modelica Models. | Matthew Evans Klenk, Johan de Kleer, Daniel G. Bobrow, Bill Janssen |
| 2012 | AAAI | Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis. | Shekhar Gupta, Nico Roos, Cees Witteveen, Bob Price, Johan de Kleer |
| 2011 | IAAI | Hybrid Qualitative Simulation of Military Operations. | Thomas R. Hinrichs, Kenneth D. Forbus, Johan de Kleer, Sungwook Yoon, Eric K. Jones, Robert Hyland, Jason Wilson |
| 2009 | IJCAI | Diagnosing Multiple Persistent and Intermittent Faults. | Johan de Kleer |
| 2008 | AAAI | Pervasive Diagnosis: The Integration of Diagnostic Goals into Production Plans. | Lukas D. Kuhn, Bob Price, Johan de Kleer, Minh Binh Do, Rong Zhou |
| 2007 | IJCAI | Modeling When Connections Are the Problem. | Johan de Kleer |
| 1995 | IJCAI | Trading off the Costs of Inference vs. Probing in Diagnosis. | Johan de Kleer, Olivier Raiman |
| 1993 | IJCAI | Critical Reasoning. | Olivier Raiman, Johan de Kleer, Vijay A. Saraswat |
| 1992 | AAAI | An Improved Incremental Algorithm for Generating Prime Implicates. | Johan de Kleer |
| 1992 | KR | A Minimality Maintenance System. | Olivier Raiman, Johan de Kleer |
| 1991 | AAAI | Focusing on Probable Diagnoses. | Johan de Kleer |
| 1991 | AAAI | Characterizing Non-Intermittent Faults. | Olivier Raiman, Johan de Kleer, Vijay A. Saraswat, Mark Shirley |
| 1990 | AAAI | Exploiting Locality in a TMS. | Johan de Kleer |
| 1990 | AAAI | Characterizing Diagnoses. | Johan de Kleer, Alan K. Mackworth, Raymond Reiter |
| 1989 | IJCAI | A Comparison of ATMS and CSP Techniques. | Johan de Kleer |
| 1989 | IJCAI | Diagnosis with Behavioral Modes. | Johan de Kleer, Brian C. Williams |
| 1988 | AAAI | Massively Parallel Assumption-Based Truth Maintenance. | Michael Dixon, Johan de Kleer |
| 1988 | AAAI | Focusing the ATMS. | Kenneth D. Forbus, Johan de Kleer |
| 1988 | AAAI | A General Labeling Algorithm for Assumption-Based Truth Maintenance. | Johan de Kleer |
| 1987 | AAAI | Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report. | Raymond Reiter, Johan de Kleer |
| 1986 | AAAI | Reasoning about Multiple Faults. | Johan de Kleer, Brian C. Williams |
| 1986 | AAAI | Back to Backtracking: Controlling the ATMS. | Johan de Kleer, Brian C. Williams |
| 1985 | KI | Assumptionbased Truth Maintenance (Abstract). | Johan de Kleer |
| 1984 | AAAI | Choices Without Backtracking. | Johan de Kleer |
| 1984 | AAAI | Qualitative Reasoning With Higher-Order Derivatives. | Johan de Kleer, Daniel G. Bobrow |
| 1983 | IJCAI | The Origin, Form, and Logic of Qualitative Physical Laws. | John Seely Brown, Johan de Kleer |
| 1982 | AAAI | Foundations of Envisioning. | Johan de Kleer, John Seely Brown |
| 1979 | IJCAI | The Origin and Resolution of Ambiguities in Causal Arguments. | Johan de Kleer |
| 1977 | IJCAI | Multiple Representations of Knowledge in a Mechanics Problem-Solver. | Johan de Kleer |