default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJohan de Kleer
Person information
- affiliation: c-infinity, Mountain View, CA, USA
- affiliation (former): Palo Alto Research Center Incorporated, PARC, California, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j27]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: 104161 (2024)- [j26]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): 7:1-7:27 (2024) - [c60]Ingo Pill, Johan de Kleer:
Challenges for Model-Based Diagnosis. DX 2024: 6:1-6:20 - 2023
- [j25]Ion Matei, Maksym Zhenirovskyy, Johan de Kleer, John Maxwell III:
Sensitivity-Free Gradient Descent Algorithms. J. Mach. Learn. Res. 24: 300:1-300:26 (2023) - [c59]Ion Matei, Johan de Kleer, Maksym Zhenirovskyy:
2D Density Control of Micro-Particles using Kernel Density Estimation. ACC 2023: 3270-3275 - [c58]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: 2610-2612 - [i13]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 abs/2303.14272 (2023) - [i12]Ion Matei, Raj Minhas, Johan de Kleer, Alexander Feldman:
AI Enhanced Control Engineering Methods. CoRR abs/2306.05545 (2023) - [i11]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 abs/2306.06272 (2023) - 2022
- [i10]Morad Behandish, John Maxwell III, Johan de Kleer:
AI Research Associate for Early-Stage Scientific Discovery. CoRR abs/2202.03199 (2022) - [i9]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 abs/2208.12834 (2022) - [i8]Ion Matei, Wiktor Piotrowski, Alexandre Perez, Johan de Kleer, Jorge Tierno, Wendy Mungovan, Vance Turnewitsch:
System Resilience through Health Monitoring and Reconfiguration. CoRR abs/2208.14525 (2022) - [i7]Alexander Feldman, Johan de Kleer, Ion Matei:
A Quantum Algorithm for Computing All Diagnoses of a Switching Circuit. CoRR abs/2209.05470 (2022) - 2021
- [j24]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): 21 (2021) - [c57]Morad Behandish, John Maxwell III, Johan de Kleer:
AI Research Associate for Early-Stage Scientific Discovery. AAAI Spring Symposium: MLPS 2021 - [c56]Ion Matei, Anne Plochowietz, Johan de Kleer, John S. Baras:
Micro-scale chiplet assembly control with chiplet-to-chiplet potential interaction. CDC 2021: 623-628 - [i6]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 abs/2107.04635 (2021) - 2020
- [c55]Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei, Johan de Kleer:
Efficient Model-Based Diagnosis of Sequential Circuits. AAAI 2020: 2814-2821 - [c54]Alexander Feldman, Ion Matei, Emil Totev, Johan de Kleer:
Analog Accelerator for Simulation and Diagnostics. AAAI 2020: 13261-13266 - [c53]Ion Matei, Raj Minhas, Maksym Zhenirovskyy, Johan de Kleer, Rahul Rai:
Deep Learning for Control: a non-Reinforcement Learning View. ACC 2020: 2942-2948 - [c52]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: 2949-2954 - [c51]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: 5519-5524 - [i5]Ion Matei, Johan de Kleer, Alexander Feldman, Rahul Rai, Souma Chowdhury:
Hybrid modeling: Applications in real-time diagnosis. CoRR abs/2003.02671 (2020) - [i4]Ion Matei, Johan de Kleer, Christoforos Somarakis, Rahul Rai, John S. Baras:
Interpretable machine learning models: a physics-based view. CoRR abs/2003.10025 (2020)
2010 – 2019
- 2019
- [j23]Saigopal Nelaturi, Morad Behandish, Amir M. Mirzendehdel, Johan de Kleer:
Automatic Support Removal for Additive Manufacturing Post Processing. Comput. Aided Des. 115: 135-146 (2019) - [c50]Ion Matei, Johan de Kleer, Maksym Zhenirovskyy, Alexander Feldman:
Learning constitutive equations of physical components with predefined feasibility conditions. ACC 2019: 922-927 - [i3]Saigopal Nelaturi, Morad Behandish, Amir M. Mirzendehdel, Johan de Kleer:
Automatic Support Removal for Additive Manufacturing Post Processing. CoRR abs/1904.12117 (2019) - [i2]Alexander Feldman, Johan de Kleer, Ion Matei:
Design Space Exploration as Quantified Satisfaction. CoRR abs/1905.02303 (2019) - 2018
- [j22]Morad Behandish, Saigopal Nelaturi, Johan de Kleer:
Automated process planning for hybrid manufacturing. Comput. Aided Des. 102: 115-127 (2018) - [c49]Ion Matei, Johan de Kleer, Raj Minhas:
Learning constitutive equations of physical components with constraints discovery. ACC 2018: 4819-4824 - [c48]Ion Matei, Alexander Feldman, Johan de Kleer:
Analog Implementation of Optimization Algorithms: A Distributed Optimization View. CDC 2018: 7170-7175 - [c47]Ion Matei, Alexander Feldman, Johan de Kleer:
Model-based diagnosis: A frequency domain view. ICPHM 2018: 1-8 - [i1]Morad Behandish, Saigopal Nelaturi, Johan de Kleer:
Automated Process Planning for Hybrid Manufacturing. CoRR abs/1805.07035 (2018) - 2017
- [c46]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 - [c45]Ion Matei, Raj Minhas, Johan de Kleer, Anurag Ganguli:
Improving state-action space exploration in reinforcement learning using geometric properties. CDC 2017: 6403-6408 - [c44]Johan de Kleer, Matthew Klenk, Alexander Feldman:
Diagnosing Alternative Facts. DX 2017: 159-168 - [c43]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: 562-567 - 2016
- [c42]Nuno Cardoso, Rui Abreu, Alexander Feldman, Johan de Kleer:
A Framework for Automatic Debugging of Functional and Degradation Failures. ECAI 2016: 569-576 - [c41]Saigopal Nelaturi, Johan de Kleer, Vadim Shapiro:
Combinatorial models for heterogeneous system composition and analysis. SoSE 2016: 1-6 - 2015
- [c40]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: 193-200 - [c39]Ion Matei, Anurag Ganguli, Tomonori Honda, Johan de Kleer:
The Case for a Hybrid Approach to Diagnosis: A Railway Switch. DX 2015: 225-234 - 2014
- [j21]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): 49-54 (2014) - [c38]Matthew Evans Klenk, Johan de Kleer, Daniel G. Bobrow, Bill Janssen:
Qualitative Reasoning with Modelica Models. AAAI 2014: 1084-1090 - 2013
- [j20]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): 73-88 (2013) - [c37]Shekhar Gupta, Christian Fritz, Bob Price, Roger Hoover, Johan de Kleer, Cees Witteveen:
ThroughputScheduler: Learning to Schedule on Heterogeneous Hadoop Clusters. ICAC 2013: 159-165 - 2012
- [c36]Shekhar Gupta, Nico Roos, Cees Witteveen, Bob Price, Johan de Kleer:
Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis. AAAI 2012: 2425-2426 - 2011
- [c35]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: 1655-1661 - 2010
- [j19]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): 870-873 (2010) - [j18]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): 932-944 (2010) - [c34]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 - [c33]Lukas D. Kuhn, Johan de Kleer:
Diagnosis with Incomplete Models: Diagnosing Hidden Interaction Faults. AAAI Spring Symposium: Embedded Reasoning 2010
2000 – 2009
- 2009
- [c32]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 - [c31]Johan de Kleer:
Diagnosing Multiple Persistent and Intermittent Faults. IJCAI 2009: 733-738 - [c30]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 - 2008
- [c29]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: 1306-1312 - 2007
- [c28]Johan de Kleer:
Modeling When Connections Are the Problem. IJCAI 2007: 310-317 - [c27]Johan de Kleer:
Dynamic Domain Abstraction Through Meta-diagnosis. SARA 2007: 109-123 - 2004
- [j17]Markus P. J. Fromherz, Daniel G. Bobrow, Johan de Kleer:
Model-Based Computing for Design and Control of Reconfigurable Systems. AI Mag. 24(4): 120-130 (2004)
1990 – 1999
- 1995
- [c26]Johan de Kleer, Olivier Raiman:
Trading off the Costs of Inference vs. Probing in Diagnosis. IJCAI 1995: 1736-1741 - 1993
- [b1]Kenneth D. Forbus, Johan de Kleer:
Building Problem Solvers. MIT Press 1993, ISBN 978-0-262-06157-5, pp. I-XIV, 1-702 - [j16]Johan de Kleer:
A Perspective on Assumption-Based Truth Maintenance. Artif. Intell. 59(1-2): 63-67 (1993) - [j15]Johan de Kleer:
A View on Qualitative Physics. Artif. Intell. 59(1-2): 105-114 (1993) - [c25]Olivier Raiman, Johan de Kleer, Vijay A. Saraswat:
Critical Reasoning. IJCAI 1993: 18-23 - 1992
- [j14]Johan de Kleer, Alan K. Mackworth, Raymond Reiter:
Characterizing Diagnoses and Systems. Artif. Intell. 56(2-3): 197-222 (1992) - [j13]Brian C. Williams, Olivier Raiman, Daniel G. Bobrow, Mark Shirley, Brian Falkenhainer, Johan de Kleer:
Narrow Views, Old Talks, New Beginnings. Comput. Intell. 8: 210-215 (1992) - [c24]Johan de Kleer:
An Improved Incremental Algorithm for Generating Prime Implicates. AAAI 1992: 780-785 - [c23]Olivier Raiman, Johan de Kleer:
A Minimality Maintenance System. KR 1992: 532-538 - 1991
- [j12]Brian C. Williams, Johan de Kleer:
Qualitative Reasoning about Physical Systems: A Return to Roots. Artif. Intell. 51(1-3): 1-9 (1991) - [c22]Johan de Kleer:
Focusing on Probable Diagnoses. AAAI 1991: 842-848 - [c21]Olivier Raiman, Johan de Kleer, Vijay A. Saraswat, Mark Shirley:
Characterizing Non-Intermittent Faults. AAAI 1991: 849-854 - 1990
- [j11]Johan de Kleer:
Using Crude Probability Estimates to Guide Diagnosis. Artif. Intell. 45(3): 381-391 (1990) - [c20]Johan de Kleer:
Exploiting Locality in a TMS. AAAI 1990: 264-271 - [c19]Johan de Kleer, Alan K. Mackworth, Raymond Reiter:
Characterizing Diagnoses. AAAI 1990: 324-330 - [c18]Johan de Kleer, Alan K. Mackworth, Raymond Reiter:
Characterizing Diagnoses. Expert Systems in Engineering 1990: 1-15
1980 – 1989
- 1989
- [j10]Johan de Kleer, Kurt Konolige:
Eliminating the Fixed Predicates from a Circumscription. Artif. Intell. 39(3): 391-398 (1989) - [c17]Johan de Kleer:
A Comparison of ATMS and CSP Techniques. IJCAI 1989: 290-296 - [c16]Johan de Kleer, Brian C. Williams:
Diagnosis with Behavioral Modes. IJCAI 1989: 1324-1330 - [e1]Michael Reinfrank, Johan de Kleer, Matthew L. Ginsberg, Erik Sandewall:
Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings. Lecture Notes in Computer Science 346, Springer 1989, ISBN 3-540-50701-9 [contents] - 1988
- [c15]Johan de Kleer:
A General Labeling Algorithm for Assumption-Based Truth Maintenance. AAAI 1988: 188-192 - [c14]Kenneth D. Forbus, Johan de Kleer:
Focusing the ATMS. AAAI 1988: 193-198 - [c13]Michael Dixon, Johan de Kleer:
Massively Parallel Assumption-Based Truth Maintenance. AAAI 1988: 199-204 - [c12]Michael Dixon, Johan de Kleer:
Massively Parallel Assumption-Based Truth Maintenance. NMR 1988: 131-142 - 1987
- [j9]Johan de Kleer, Brian C. Williams:
Diagnosing Multiple Faults. Artif. Intell. 32(1): 97-130 (1987) - [c11]Raymond Reiter, Johan de Kleer:
Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report. AAAI 1987: 183-189 - 1986
- [j8]Johan de Kleer:
An Assumption-Based TMS. Artif. Intell. 28(2): 127-162 (1986) - [j7]Johan de Kleer:
Extending the ATMS. Artif. Intell. 28(2): 163-196 (1986) - [j6]Johan de Kleer:
Problem Solving with the ATMS. Artif. Intell. 28(2): 197-224 (1986) - [j5]Johan de Kleer, John Seely Brown:
Theories of Causal Ordering. Artif. Intell. 29(1): 33-61 (1986) - [c10]Johan de Kleer, Brian C. Williams:
Reasoning about Multiple Faults. AAAI 1986: 132-139 - [c9]Johan de Kleer, Brian C. Williams:
Back to Backtracking: Controlling the ATMS. AAAI 1986: 910-917 - 1985
- [j4]Johan de Kleer:
F. Hayes-Roth, D. A. Waterman and D. B. Lenat, Building Expert Systems (Book Review). Artif. Intell. 25(1): 105-107 (1985) - [c8]Johan de Kleer:
Assumptionbased Truth Maintenance (Abstract). GWAI 1985: 258 - 1984
- [j3]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): 222-226 (1984) - [j2]Johan de Kleer, John Seely Brown:
A Qualitative Physics Based on Confluences. Artif. Intell. 24(1-3): 7-83 (1984) - [j1]Johan de Kleer:
How Circuits Work. Artif. Intell. 24(1-3): 205-280 (1984) - [c7]Johan de Kleer:
Choices Without Backtracking. AAAI 1984: 79-85 - [c6]Johan de Kleer, Daniel G. Bobrow:
Qualitative Reasoning With Higher-Order Derivatives. AAAI 1984: 86-91 - 1983
- [c5]John Seely Brown, Johan de Kleer:
The Origin, Form, and Logic of Qualitative Physical Laws. IJCAI 1983: 1158-1169 - 1982
- [c4]Johan de Kleer, John Seely Brown:
Foundations of Envisioning. AAAI 1982: 434-437
1970 – 1979
- 1979
- [c3]Johan de Kleer:
The Origin and Resolution of Ambiguities in Causal Arguments. IJCAI 1979: 197-203 - 1977
- [c2]Johan de Kleer:
Multiple Representations of Knowledge in a Mechanics Problem-Solver. IJCAI 1977: 299-304 - [c1]Johan de Kleer, Jon Doyle, Guy L. Steele Jr., Gerald Jay Sussman:
AMORD explicit control of reasoning. Artificial Intelligence and Programming Languages 1977: 116-125
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-27 21:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
