The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Johan de Kleer" ( http://dblp.L3S.de/Authors/Johan_de_Kleer )

URL (Homepage):  http://www2.parc.com/spl/members/dekleer/  Author page on DBLP  Author page in RDF  Community of Johan de Kleer in ASPL-2

Publication years (Num. hits)
1977-1986 (18) 1987-1991 (17) 1992-2009 (16) 2010-2017 (18) 2018-2019 (9)
Publication types (Num. hits)
article(27) book(1) inproceedings(49) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords

Results
Found 79 publication records. Showing 78 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Saigopal Nelaturi, Morad Behandish, Amir M. Mirzendehdel, Johan de Kleer Automatic Support Removal for Additive Manufacturing Post Processing. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Alexander Feldman, Johan de Kleer, Ion Matei Design Space Exploration as Quantified Satisfaction. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Saigopal Nelaturi, Morad Behandish, Amir M. Mirzendehdel, Johan de Kleer Automatic Support Removal for Additive Manufacturing Post Processing. Search on Bibsonomy Computer-Aided Design The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ion Matei, Johan de Kleer, Maksym Zhenirovskyy, Alexander Feldman Learning constitutive equations of physical components with predefined feasibility conditions. Search on Bibsonomy ACC The full citation details ... 2019 DBLP  BibTeX  RDF
1Morad Behandish, Saigopal Nelaturi, Johan de Kleer Automated Process Planning for Hybrid Manufacturing. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Morad Behandish, Saigopal Nelaturi, Johan de Kleer Automated process planning for hybrid manufacturing. Search on Bibsonomy Computer-Aided Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ion Matei, Johan de Kleer, Raj Minhas Learning constitutive equations of physical components with constraints discovery. Search on Bibsonomy ACC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ion Matei, Alexander Feldman, Johan de Kleer Model-based diagnosis: A frequency domain view. Search on Bibsonomy ICPHM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ion Matei, Alexander Feldman, Johan de Kleer Analog Implementation of Optimization Algorithms: A Distributed Optimization View. Search on Bibsonomy CDC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johan de Kleer, Matthew Klenk, Alexander Feldman Diagnosing Alternative Facts. Search on Bibsonomy DX The full citation details ... 2017 DBLP  BibTeX  RDF
1Ion Matei, Raj Minhas, Johan de Kleer, Anurag Ganguli Improving state-action space exploration in reinforcement learning using geometric properties. Search on Bibsonomy CDC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthew Evans Klenk, Shiwali Mohan, Johan de Kleer, Daniel G. Bobrow, Tom Hinrichs, Kenneth D. Forbus Collaborative Autonomy through Analogical Comic Graphs. Search on Bibsonomy AAAI Workshops The full citation details ... 2017 DBLP  BibTeX  RDF
1Marzieh Nabi, Adam Arvay, Matthew Klenk, Gaurang Gavai, Daniel G. Bobrow, Johan de Kleer Position Article on Integrating Data and Model to Understand Disease Interactions. Search on Bibsonomy ICHI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nuno Cardoso, Rui Abreu, Alexander Feldman, Johan de Kleer A Framework for Automatic Debugging of Functional and Degradation Failures. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Saigopal Nelaturi, Johan de Kleer, Vadim Shapiro Combinatorial models for heterogeneous system composition and analysis. Search on Bibsonomy SoSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rui 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. Search on Bibsonomy DX@Safeprocess The full citation details ... 2015 DBLP  BibTeX  RDF
1Ion Matei, Anurag Ganguli, Tomonori Honda, Johan de Kleer The Case for a Hybrid Approach to Diagnosis: A Railway Switch. Search on Bibsonomy DX@Safeprocess The full citation details ... 2015 DBLP  BibTeX  RDF
1Alexander Feldman, Johan de Kleer, Tolga Kurtoglu, Sriram Narasimhan, Scott Poll, David García, Lukas D. Kuhn, Arjan J. C. van Gemund The Diagnostic Competitions. Search on Bibsonomy AI Magazine The full citation details ... 2014 DBLP  BibTeX  RDF
1Matthew Evans Klenk, Johan de Kleer, Daniel G. Bobrow, Bill Janssen Qualitative Reasoning with Modelica Models. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Lara S. Crawford, Minh Binh Do, Wheeler Ruml, Haitham A. Hindi, Craig Eldershaw, Rong Zhou 0001, Lukas D. Kuhn, Markus P. J. Fromherz, David Biegelsen, Johan de Kleer, Daniel Larner On-Line Reconfigurable Machines. Search on Bibsonomy AI Magazine The full citation details ... 2013 DBLP  BibTeX  RDF
1Shekhar Gupta, Christian Fritz 0001, Bob Price, Roger Hoover, Johan de Kleer, Cees Witteveen ThroughputScheduler: Learning to Schedule on Heterogeneous Hadoop Clusters. Search on Bibsonomy ICAC The full citation details ... 2013 DBLP  BibTeX  RDF
1Shekhar Gupta, Nico Roos, Cees Witteveen, Bob Price, Johan de Kleer Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Thomas R. Hinrichs, Kenneth D. Forbus, Johan de Kleer, Sungwook Yoon, Eric K. Jones, Robert Hyland, Jason Wilson Hybrid Qualitative Simulation of Military Operations. Search on Bibsonomy IAAI The full citation details ... 2011 DBLP  BibTeX  RDF
1Peter Struss, Gregory M. Provan, Johan de Kleer, Gautam Biswas Special Issue on Model-Based Diagnostics. Search on Bibsonomy IEEE Trans. Systems, Man, and Cybernetics, Part A The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Lukas D. Kuhn, Bob Price, Minh Binh Do, Juan Liu, Rong Zhou 0001, Tim Schmidt, Johan de Kleer Pervasive Diagnosis. Search on Bibsonomy IEEE Trans. Systems, Man, and Cybernetics, Part A The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Lukas D. Kuhn, Johan de Kleer Diagnosis with Incomplete Models: Diagnosing Hidden Interaction Faults. Search on Bibsonomy AAAI Spring Symposium: Embedded Reasoning The full citation details ... 2010 DBLP  BibTeX  RDF
1Kenneth D. Forbus, Thomas R. Hinrichs, Johan de Kleer, Jeffrey M. Usher FIRE: Infrastructure for Experience-Based Systems with Common Sense. Search on Bibsonomy AAAI Fall Symposium: Commonsense Knowledge The full citation details ... 2010 DBLP  BibTeX  RDF
1Juan Liu, Lukas D. Kuhn, Johan de Kleer, Rong Zhou 0001 Pervasive Model Adaptation: The Integration of Planning and Information Gathering in Dynamic Production Systems. Search on Bibsonomy ICAPS The full citation details ... 2009 DBLP  BibTeX  RDF
1Johan de Kleer Diagnosing Multiple Persistent and Intermittent Faults. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Alexander Feldman, Gregory M. Provan, Johan de Kleer, Lukas D. Kuhn, Arjan J. C. van Gemund Automated Redesign with the General Redesign Engine. Search on Bibsonomy SARA The full citation details ... 2009 DBLP  BibTeX  RDF
1Lukas D. Kuhn, Bob Price, Johan de Kleer, Minh Binh Do, Rong Zhou 0001 Pervasive Diagnosis: The Integration of Diagnostic Goals into Production Plans. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Johan de Kleer Modeling When Connections Are the Problem. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Johan de Kleer Dynamic Domain Abstraction Through Meta-diagnosis. Search on Bibsonomy SARA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Abstraction, diagnosis, qualitative reasoning, model-based reasoning
1Markus P. J. Fromherz, Daniel G. Bobrow, Johan de Kleer Model-Based Computing for Design and Control of Reconfigurable Systems. Search on Bibsonomy AI Magazine The full citation details ... 2004 DBLP  BibTeX  RDF
1Johan de Kleer, Olivier Raiman Trading off the Costs of Inference vs. Probing in Diagnosis. Search on Bibsonomy IJCAI The full citation details ... 1995 DBLP  BibTeX  RDF
1Johan de Kleer A View on Qualitative Physics. Search on Bibsonomy Artif. Intell. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Johan de Kleer A Perspective on Assumption-Based Truth Maintenance. Search on Bibsonomy Artif. Intell. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Kenneth D. Forbus, Johan de Kleer Building Problem Solvers. Search on Bibsonomy 1993   RDF
1Olivier Raiman, Johan de Kleer, Vijay A. Saraswat Critical Reasoning. Search on Bibsonomy IJCAI The full citation details ... 1993 DBLP  BibTeX  RDF
1Johan de Kleer, Alan K. Mackworth, Raymond Reiter Characterizing Diagnoses and Systems. Search on Bibsonomy Artif. Intell. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Brian C. Williams, Olivier Raiman, Daniel G. Bobrow, Mark Shirley, Brian Falkenhainer, Johan de Kleer Narrow Views, Old Talks, New Beginnings. Search on Bibsonomy Computational Intelligence The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Johan de Kleer An Improved Incremental Algorithm for Generating Prime Implicates. Search on Bibsonomy AAAI The full citation details ... 1992 DBLP  BibTeX  RDF
1Olivier Raiman, Johan de Kleer A Minimality Maintenance System. Search on Bibsonomy KR The full citation details ... 1992 DBLP  BibTeX  RDF
1Brian C. Williams, Johan de Kleer Qualitative Reasoning about Physical Systems: A Return to Roots. Search on Bibsonomy Artif. Intell. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Olivier Raiman, Johan de Kleer, Vijay A. Saraswat, Mark Shirley Characterizing Non-Intermittent Faults. Search on Bibsonomy AAAI The full citation details ... 1991 DBLP  BibTeX  RDF
1Johan de Kleer Focusing on Probable Diagnoses. Search on Bibsonomy AAAI The full citation details ... 1991 DBLP  BibTeX  RDF
1Johan de Kleer Using Crude Probability Estimates to Guide Diagnosis. Search on Bibsonomy Artif. Intell. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Johan de Kleer, Alan K. Mackworth, Raymond Reiter Characterizing Diagnoses. Search on Bibsonomy Expert Systems in Engineering The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Johan de Kleer Exploiting Locality in a TMS. Search on Bibsonomy AAAI The full citation details ... 1990 DBLP  BibTeX  RDF
1Johan de Kleer, Alan K. Mackworth, Raymond Reiter Characterizing Diagnoses. Search on Bibsonomy AAAI The full citation details ... 1990 DBLP  BibTeX  RDF
1Johan de Kleer, Kurt Konolige Eliminating the Fixed Predicates from a Circumscription. Search on Bibsonomy Artif. Intell. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Michael Reinfrank, Johan de Kleer, Matthew L. Ginsberg, Erik Sandewall (eds.) Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings Search on Bibsonomy NMR The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Johan de Kleer, Brian C. Williams Diagnosis with Behavioral Modes. Search on Bibsonomy IJCAI The full citation details ... 1989 DBLP  BibTeX  RDF
1Johan de Kleer A Comparison of ATMS and CSP Techniques. Search on Bibsonomy IJCAI The full citation details ... 1989 DBLP  BibTeX  RDF
1Michael Dixon, Johan de Kleer Massively Parallel Assumption-Based Truth Maintenance. Search on Bibsonomy NMR The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Kenneth D. Forbus, Johan de Kleer Focusing the ATMS. Search on Bibsonomy AAAI The full citation details ... 1988 DBLP  BibTeX  RDF
1Johan de Kleer A General Labeling Algorithm for Assumption-Based Truth Maintenance. Search on Bibsonomy AAAI The full citation details ... 1988 DBLP  BibTeX  RDF
1Michael Dixon, Johan de Kleer Massively Parallel Assumption-Based Truth Maintenance. Search on Bibsonomy AAAI The full citation details ... 1988 DBLP  BibTeX  RDF
1Johan de Kleer, Brian C. Williams Diagnosing Multiple Faults. Search on Bibsonomy Artif. Intell. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Raymond Reiter, Johan de Kleer Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report. Search on Bibsonomy AAAI The full citation details ... 1987 DBLP  BibTeX  RDF
1Johan de Kleer Extending the ATMS. Search on Bibsonomy Artif. Intell. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Johan de Kleer An Assumption-Based TMS. Search on Bibsonomy Artif. Intell. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Johan de Kleer Problem Solving with the ATMS. Search on Bibsonomy Artif. Intell. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Johan de Kleer, John Seely Brown Theories of Causal Ordering. Search on Bibsonomy Artif. Intell. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Johan de Kleer, Brian C. Williams Back to Backtracking: Controlling the ATMS. Search on Bibsonomy AAAI The full citation details ... 1986 DBLP  BibTeX  RDF
1Johan de Kleer, Brian C. Williams Reasoning about Multiple Faults. Search on Bibsonomy AAAI The full citation details ... 1986 DBLP  BibTeX  RDF
1Johan de Kleer F. Hayes-Roth, D. A. Waterman and D. B. Lenat, Building Expert Systems (Book Review). Search on Bibsonomy Artif. Intell. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Johan de Kleer Assumptionbased Truth Maintenance (Abstract). Search on Bibsonomy GWAI The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Johan de Kleer E. A. Feigenbaum and P. McCorduck, The Fifth Generation: Artificial Intelligence and Japan's Computer Challenge to the World. Search on Bibsonomy Artif. Intell. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Johan de Kleer How Circuits Work. Search on Bibsonomy Artif. Intell. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Johan de Kleer, John Seely Brown A Qualitative Physics Based on Confluences. Search on Bibsonomy Artif. Intell. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Johan de Kleer Choices Without Backtracking. Search on Bibsonomy AAAI The full citation details ... 1984 DBLP  BibTeX  RDF
1Johan de Kleer, Daniel G. Bobrow Qualitative Reasoning With Higher-Order Derivatives. Search on Bibsonomy AAAI The full citation details ... 1984 DBLP  BibTeX  RDF
1John Seely Brown, Johan de Kleer The Origin, Form, and Logic of Qualitative Physical Laws. Search on Bibsonomy IJCAI The full citation details ... 1983 DBLP  BibTeX  RDF
1Johan de Kleer, John Seely Brown Foundations of Envisioning. Search on Bibsonomy AAAI The full citation details ... 1982 DBLP  BibTeX  RDF
1Johan de Kleer The Origin and Resolution of Ambiguities in Causal Arguments. Search on Bibsonomy IJCAI The full citation details ... 1979 DBLP  BibTeX  RDF
1Johan de Kleer, Jon Doyle, Guy L. Steele Jr., Gerald Jay Sussman AMORD explicit control of reasoning. Search on Bibsonomy SIGART Newsletter The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
1Johan de Kleer Multiple Representations of Knowledge in a Mechanics Problem-Solver. Search on Bibsonomy IJCAI The full citation details ... 1977 DBLP  BibTeX  RDF
Displaying result #1 - #78 of 78 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license