de Kleer, Johan

30 publications

AAAI 2025 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

JMLR 2023 Sensitivity-Free Gradient Descent Algorithms Ion Matei, Maksym Zhenirovskyy, Johan de Kleer, John Maxwell

AAAI 2020 Analog Accelerator for Simulation and Diagnostics Alexander Feldman, Ion Matei, Emil Totev, Johan de Kleer

AAAI 2020 Efficient Model-Based Diagnosis of Sequential Circuits Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei, Johan de Kleer

AAAI 2014 Qualitative Reasoning with Modelica Models Matthew Evans Klenk, Johan de Kleer, Daniel G. Bobrow, Bill Janssen

AAAI 2012 Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis Shekhar Gupta, Nico Roos, Cees Witteveen, Bob Price, Johan de Kleer

IJCAI 2009 Diagnosing Multiple Persistent and Intermittent Faults Johan de Kleer

AAAI 2008 Pervasive Diagnosis: The Integration of Diagnostic Goals into Production Plans Lukas D. Kuhn, Bob Price, Johan de Kleer, Minh Binh Do, Rong Zhou

IJCAI 2007 Modeling When Connections Are the Problem Johan de Kleer

IJCAI 1995 Trading Off the Costs of Inference vs. Probing in Diagnosis Johan de Kleer, Olivier Raiman

IJCAI 1993 Critical Reasoning Olivier Raiman, Johan de Kleer, Vijay A. Saraswat

AAAI 1992 An Improved Incremental Algorithm for Generating Prime Implicates Johan de Kleer

AAAI 1991 Characterizing Non-Intermittent Faults Olivier Raiman, Johan de Kleer, Vijay A. Saraswat, Mark Shirley

AAAI 1991 Focusing on Probable Diagnoses Johan de Kleer

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

AAAI 1990 Exploiting Locality in a TMS Johan de Kleer

IJCAI 1989 A Comparison of ATMS and CSP Techniques Johan de Kleer

IJCAI 1989 Diagnosis with Behavioral Modes Johan de Kleer, Brian C. Williams

AAAI 1988 A General Labeling Algorithm for Assumption-Based Truth Maintenance Johan de Kleer

AAAI 1988 Focusing the ATMS Kenneth D. Forbus, Johan de Kleer

AAAI 1988 Massively Parallel Assumption-Based Truth Maintenance Michael Dixon, Johan de Kleer

AAAI 1987 Foundations of Assumption-Based Truth Maintenance Systems: Preliminary Report Raymond Reiter, Johan de Kleer

AAAI 1986 Back to Backtracking: Controlling the ATMS Johan de Kleer, Brian C. Williams

AAAI 1986 Reasoning About Multiple Faults Johan de Kleer, Brian C. Williams

AAAI 1984 Choices Without Backtracking Johan de Kleer

AAAI 1984 Qualitative Reasoning with Higher-Order Derivatives Johan de Kleer, Daniel G. Bobrow

IJCAI 1983 The Origin, Form, and Logic of Qualitative Physical Laws John Seely Brown, Johan de Kleer

AAAI 1982 Foundations of Envisioning Johan de Kleer, John Seely Brown

IJCAI 1979 The Origin and Resolution of Ambiguities in Causal Arguments Johan de Kleer

IJCAI 1977 Multiple Representations of Knowledge in a Mechanics Problem-Solver Johan de Kleer