Multiple Representations of Knowledge in a Mechanics Problem-Solver. - Johan de Kleer (IJCAI, 1977)

AMORD explicit control of reasoning. - Johan de Kleer; Jon Doyle; Guy L. Steele Jr.; Gerald Jay Sussman (Artificial Intelligence and Programming Languages, 1977)

The Origin and Resolution of Ambiguities in Causal Arguments. - Johan de Kleer (IJCAI, 1979)

Foundations of Envisioning. - Johan de Kleer; John Seely Brown (AAAI, 1982)

The Origin, Form, and Logic of Qualitative Physical Laws. - John Seely Brown; Johan de Kleer (IJCAI, 1983)

Choices Without Backtracking. - Johan de Kleer (AAAI, 1984)

Qualitative Reasoning With Higher-Order Derivatives. - Johan de Kleer; Daniel G. Bobrow (AAAI, 1984)

How Circuits Work. - Johan de Kleer (Artif. Intell., 1984)

E. A. Feigenbaum and P. McCorduck, The Fifth Generation: Artificial Intelligence and Japan's Computer Challenge to the World. - Johan de Kleer (Artif. Intell., 1984)

A Qualitative Physics Based on Confluences. - Johan de Kleer; John Seely Brown (Artif. Intell., 1984)

Assumptionbased Truth Maintenance (Abstract). - Johan de Kleer (GWAI, 1985)

F. Hayes-Roth, D. A. Waterman and D. B. Lenat, Building Expert Systems (Book Review). - Johan de Kleer (Artif. Intell., 1985)

Reasoning about Multiple Faults. - Johan de Kleer; Brian C. Williams (AAAI, 1986)

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

An Assumption-Based TMS. - Johan de Kleer (Artif. Intell., 1986)

Extending the ATMS. - Johan de Kleer (Artif. Intell., 1986)

Problem Solving with the ATMS. - Johan de Kleer (Artif. Intell., 1986)

Theories of Causal Ordering. - Johan de Kleer; John Seely Brown (Artif. Intell., 1986)

Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report. - Raymond Reiter; Johan de Kleer (AAAI, 1987)

Diagnosing Multiple Faults. - Johan de Kleer; Brian C. Williams (Artif. Intell., 1987)

Massively Parallel Assumption-Based Truth Maintenance. - Michael Dixon; Johan de Kleer (AAAI, 1988)

Focusing the ATMS. - Kenneth D. Forbus; Johan de Kleer (AAAI, 1988)

A General Labeling Algorithm for Assumption-Based Truth Maintenance. - Johan de Kleer (AAAI, 1988)

A Comparison of ATMS and CSP Techniques. - Johan de Kleer (IJCAI, 1989)

Diagnosis with Behavioral Modes. - Johan de Kleer; Brian C. Williams (IJCAI, 1989)

Eliminating the Fixed Predicates from a Circumscription. - Johan de Kleer; Kurt Konolige (Artif. Intell., 1989)

Exploiting Locality in a TMS. - Johan de Kleer (AAAI, 1990)

Characterizing Diagnoses. - Johan de Kleer; Alan K. Mackworth; Raymond Reiter (AAAI, 1990)

Using Crude Probability Estimates to Guide Diagnosis. - Johan de Kleer (Artif. Intell., 1990)

Focusing on Probable Diagnoses. - Johan de Kleer (AAAI, 1991)

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

Qualitative Reasoning about Physical Systems: A Return to Roots. - Brian C. Williams; Johan de Kleer (Artif. Intell., 1991)

An Improved Incremental Algorithm for Generating Prime Implicates. - Johan de Kleer (AAAI, 1992)

A Minimality Maintenance System. - Olivier Raiman; Johan de Kleer (KR, 1992)

Characterizing Diagnoses and Systems. - Johan de Kleer; Alan K. Mackworth; Raymond Reiter (Artif. Intell., 1992)

Narrow Views, Old Talks, New Beginnings. - Brian C. Williams; Olivier Raiman; Daniel G. Bobrow; Mark Shirley; Brian Falkenhainer; Johan de Kleer (Comput. Intell., 1992)

Building Problem Solvers. - Kenneth D. Forbus; Johan de Kleer (MIT Press, 1993)

Critical Reasoning. - Olivier Raiman; Johan de Kleer; Vijay A. Saraswat (IJCAI, 1993)

A Perspective on Assumption-Based Truth Maintenance. - Johan de Kleer (Artif. Intell., 1993)

A View on Qualitative Physics. - Johan de Kleer (Artif. Intell., 1993)

Trading off the Costs of Inference vs. Probing in Diagnosis. - Johan de Kleer; Olivier Raiman (IJCAI, 1995)

Model-Based Computing for Design and Control of Reconfigurable Systems. - Markus P. J. Fromherz; Daniel G. Bobrow; Johan de Kleer (AI Mag., 2004)

Modeling When Connections Are the Problem. - Johan de Kleer (IJCAI, 2007)

Dynamic Domain Abstraction Through Meta-diagnosis. - Johan de Kleer (SARA, 2007)

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

Pervasive Model Adaptation: The Integration of Planning and Information Gathering in Dynamic Production Systems. - Juan Liu; Lukas D. Kuhn; Johan de Kleer; Rong Zhou 001 (ICAPS, 2009)

Diagnosing Multiple Persistent and Intermittent Faults. - Johan de Kleer (IJCAI, 2009)

Automated Redesign with the General Redesign Engine. - Alexander Feldman; Gregory M. Provan; Johan de Kleer; Lukas D. Kuhn; Arjan J. C. van Gemund (SARA, 2009)

FIRE: Infrastructure for Experience-Based Systems with Common Sense. - Kenneth D. Forbus; Thomas R. Hinrichs; Johan de Kleer; Jeffrey M. Usher (AAAI Fall Symposium: Commonsense Knowledge, 2010)

Diagnosis with Incomplete Models: Diagnosing Hidden Interaction Faults. - Lukas D. Kuhn; Johan de Kleer (AAAI Spring Symposium: Embedded Reasoning, 2010)

Pervasive Diagnosis. - Lukas D. Kuhn; Bob Price; Minh Binh Do; Juan Liu; Rong Zhou 001; Tim Schmidt; Johan de Kleer (IEEE Trans. Syst. Man Cybern. Part A, 2010)

Special Issue on Model-Based Diagnostics. - Peter Struss; Gregory M. Provan; Johan de Kleer; Gautam Biswas (IEEE Trans. Syst. Man Cybern. Part A, 2010)

Hybrid Qualitative Simulation of Military Operations. - Thomas R. Hinrichs; Kenneth D. Forbus; Johan de Kleer; Sungwook Yoon; Eric K. Jones; Robert Hyland; Jason Wilson (IAAI, 2011)

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

ThroughputScheduler: Learning to Schedule on Heterogeneous Hadoop Clusters. - Shekhar Gupta; Christian Fritz 001; Bob Price; Roger Hoover; Johan de Kleer; Cees Witteveen (ICAC, 2013)

On-Line Reconfigurable Machines. - Lara S. Crawford; Minh Binh Do; Wheeler Ruml; Haitham A. Hindi; Craig Eldershaw; Rong Zhou 001; Lukas D. Kuhn; Markus P. J. Fromherz; David Biegelsen; Johan de Kleer; Daniel Larner (AI Mag., 2013)

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

The Diagnostic Competitions. - Alexander Feldman; Johan de Kleer; Tolga Kurtoglu; Sriram Narasimhan; Scott Poll; David García; Lukas D. Kuhn; Arjan J. C. van Gemund (AI Mag., 2014)

Diagnosing Advanced Persistent Threats: A Position Paper. - Rui Abreu 001; Daniel G. Bobrow; Hoda Eldardiry; Alexander Feldman; John Hanley; Tomonori Honda 001; Johan de Kleer; Alexandre Perez; Dave Archer 001; David Burke (DX, 2015)

The Case for a Hybrid Approach to Diagnosis: A Railway Switch. - Ion Matei; Anurag Ganguli; Tomonori Honda 001; Johan de Kleer (DX, 2015)

A Framework for Automatic Debugging of Functional and Degradation Failures. - Nuno Cardoso; Rui Abreu 001; Alexander Feldman; Johan de Kleer (ECAI, 2016)

Combinatorial models for heterogeneous system composition and analysis. - Saigopal Nelaturi; Johan de Kleer; Vadim Shapiro (SoSE, 2016)

Collaborative Autonomy through Analogical Comic Graphs. - Matthew Evans Klenk; Shiwali Mohan; Johan de Kleer; Daniel G. Bobrow; Tom Hinrichs; Kenneth D. Forbus (AAAI Workshops, 2017)

Improving state-action space exploration in reinforcement learning using geometric properties. - Ion Matei; Raj Minhas; Johan de Kleer; Anurag Ganguli (CDC, 2017)

Diagnosing Alternative Facts. - Johan de Kleer; Matthew Klenk 001; Alexander Feldman (DX, 2017)

Position Article on Integrating Data and Model to Understand Disease Interactions. - Marzieh Nabi; Adam Arvay; Matthew Klenk 001; Gaurang Gavai; Daniel G. Bobrow; Johan de Kleer (ICHI, 2017)

Learning constitutive equations of physical components with constraints discovery. - Ion Matei; Johan de Kleer; Raj Minhas (ACC, 2018)

Analog Implementation of Optimization Algorithms: A Distributed Optimization View. - Ion Matei; Alexander Feldman; Johan de Kleer (CDC, 2018)

Model-based diagnosis: A frequency domain view. - Ion Matei; Alexander Feldman; Johan de Kleer (ICPHM, 2018)

Automated process planning for hybrid manufacturing. - Morad Behandish; Saigopal Nelaturi; Johan de Kleer (Comput. Aided Des., 2018)

Learning constitutive equations of physical components with predefined feasibility conditions. - Ion Matei; Johan de Kleer; Maksym Zhenirovskyy; Alexander Feldman (ACC, 2019)

Automatic Support Removal for Additive Manufacturing Post Processing. - Saigopal Nelaturi; Morad Behandish; Amir M. Mirzendehdel; Johan de Kleer (Comput. Aided Des., 2019)

Design Space Exploration as Quantified Satisfaction. - Alexander Feldman; Johan de Kleer; Ion Matei (CoRR, 2019)

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, 2020)

Deep Learning for Control: a non-Reinforcement Learning View. - Ion Matei; Raj Minhas; Maksym Zhenirovskyy; Johan de Kleer; Rahul Rai (ACC, 2020)

Learning physical laws: the case of micron size particles in dielectric fluid. - Ion Matei; Maksym Zhenirovskyy; Johan de Kleer; Christoforos Somarakis; John S. Baras (ACC, 2020)

Micro-scale 2D chiplet position control: a formal approach to policy design. - Ion Matei; Johan de Kleer; Christoforos Somarakis; Anne Plochowietz; John S. Baras (CDC, 2020)

Hybrid modeling: Applications in real-time diagnosis. - Ion Matei; Johan de Kleer; Alexander Feldman; Rahul Rai; Souma Chowdhury (CoRR, 2020)

Interpretable machine learning models: a physics-based view. - Ion Matei; Johan de Kleer; Christoforos Somarakis; Rahul Rai; John S. Baras (CoRR, 2020)

AI Research Associate for Early-Stage Scientific Discovery. - Morad Behandish; John Maxwell III; Johan de Kleer (AAAI Spring Symposium: MLPS, 2021)

Micro-scale chiplet assembly control with chiplet-to-chiplet potential interaction. - Ion Matei; Anne Plochowietz; Johan de Kleer; John S. Baras (CDC, 2021)

Playing Angry Birds with a Domain-Independent PDDL+ Planner. - Wiktor Piotrowski; Roni Stern; Matthew Klenk 001; Alexandre Perez; Shiwali Mohan; Johan de Kleer; Jacob Le (CoRR, 2021)

Controlling Draft Interactions Between Quadcopter Unmanned Aerial Vehicles with Physics-aware Modeling. - Ion Matei; Chen Zeng; Souma Chowdhury; Rahul Rai; Johan de Kleer (J. Intell. Robotic Syst., 2021)

Improving the Efficiency of Gradient Descent Algorithms Applied to Optimization Problems with Dynamical Constraints. - Ion Matei; Maksym Zhenirovskyy; Johan de Kleer; John Maxwell III (CoRR, 2022)

A Quantum Algorithm for Computing All Diagnoses of a Switching Circuit. - Alexander Feldman; Johan de Kleer; Ion Matei (CoRR, 2022)

2D Density Control of Micro-Particles using Kernel Density Estimation. - Ion Matei; Johan de Kleer; Maksym Zhenirovskyy (ACC, 2023)

Learning to Operate in Open Worlds by Adapting Planning Models. - Wiktor Piotrowski; Roni Stern; Yoni Sher; Jacob Le; Matthew Klenk 001; Johan de Kleer; Shiwali Mohan (AAMAS, 2023)

AI Enhanced Control Engineering Methods. - Ion Matei; Raj Minhas; Johan de Kleer; Alexander Feldman (CoRR, 2023)

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 (CoRR, 2023)

Sensitivity-Free Gradient Descent Algorithms. - Ion Matei; Maksym Zhenirovskyy; Johan de Kleer; John Maxwell III (J. Mach. Learn. Res., 2023)

Challenges for Model-Based Diagnosis. - Ingo Pill; Johan de Kleer (DX, 2024)

A domain-independent agent architecture for adaptive operation in evolving open worlds. - Shiwali Mohan; Wiktor Piotrowski; Roni Stern; Sachin Grover; Sookyung Kim; Jacob Le; Yoni Sher; Johan de Kleer (Artif. Intell., 2024)

System Resilience through Health Monitoring and Reconfiguration. - Ion Matei; Wiktor Piotrowski; Alexandre Perez; Johan de Kleer; Jorge Tierno; Wendy Mungovan; Vance Turnewitsch (ACM Trans. Cyber Phys. Syst., 2024)