Johan de Kleer

105 papers A* 31A 2C 12Journal 40Unranked 18

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