Johan de Kleer

According to our database1, Johan de Kleer authored at least 73 papers between 1977 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Design Space Exploration as Quantified Satisfaction.
CoRR, 2019

Automatic Support Removal for Additive Manufacturing Post Processing.
Comput. Aided Des., 2019

Learning constitutive equations of physical components with predefined feasibility conditions.
Proceedings of the 2019 American Control Conference, 2019

2018
Automated process planning for hybrid manufacturing.
Comput. Aided Des., 2018

Model-based diagnosis: A frequency domain view.
Proceedings of the 2018 IEEE International Conference on Prognostics and Health Management, 2018

Analog Implementation of Optimization Algorithms: A Distributed Optimization View.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Learning constitutive equations of physical components with constraints discovery.
Proceedings of the 2018 Annual American Control Conference, 2018

2017
Position Article on Integrating Data and Model to Understand Disease Interactions.
Proceedings of the 2017 IEEE International Conference on Healthcare Informatics, 2017

Diagnosing Alternative Facts.
Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017

Improving state-action space exploration in reinforcement learning using geometric properties.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Collaborative Autonomy through Analogical Comic Graphs.
Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Combinatorial models for heterogeneous system composition and analysis.
Proceedings of the 11th System of Systems Engineering Conference, 2016

A Framework for Automatic Debugging of Functional and Degradation Failures.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015
The Case for a Hybrid Approach to Diagnosis: A Railway Switch.
Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015) co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31, 2015

Diagnosing Advanced Persistent Threats: A Position Paper.
Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015) co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31, 2015

2014
The Diagnostic Competitions.
AI Magazine, 2014

Qualitative Reasoning with Modelica Models.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
On-Line Reconfigurable Machines.
AI Magazine, 2013

ThroughputScheduler: Learning to Schedule on Heterogeneous Hadoop Clusters.
Proceedings of the 10th International Conference on Autonomic Computing, 2013

2012
Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
Hybrid Qualitative Simulation of Military Operations.
Proceedings of the Twenty-Third Conference on Innovative Applications of Artificial Intelligence, 2011

2010
Special Issue on Model-Based Diagnostics.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2010

Pervasive Diagnosis.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2010

Diagnosis with Incomplete Models: Diagnosing Hidden Interaction Faults.
Proceedings of the Embedded Reasoning, 2010

FIRE: Infrastructure for Experience-Based Systems with Common Sense.
Proceedings of the Commonsense Knowledge, 2010

2009
Automated Redesign with the General Redesign Engine.
Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Diagnosing Multiple Persistent and Intermittent Faults.
Proceedings of the IJCAI 2009, 2009

Pervasive Model Adaptation: The Integration of Planning and Information Gathering in Dynamic Production Systems.
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008
Pervasive Diagnosis: The Integration of Diagnostic Goals into Production Plans.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Dynamic Domain Abstraction Through Meta-diagnosis.
Proceedings of the Abstraction, 2007

Modeling When Connections Are the Problem.
Proceedings of the IJCAI 2007, 2007

2004
Model-Based Computing for Design and Control of Reconfigurable Systems.
AI Magazine, 2004

1995
Trading off the Costs of Inference vs. Probing in Diagnosis.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1993
A View on Qualitative Physics.
Artif. Intell., 1993

A Perspective on Assumption-Based Truth Maintenance.
Artif. Intell., 1993

Critical Reasoning.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Building Problem Solvers.
MIT Press, ISBN: 978-0-262-06157-5, 1993

1992
Narrow Views, Old Talks, New Beginnings.
Computational Intelligence, 1992

Characterizing Diagnoses and Systems.
Artif. Intell., 1992

A Minimality Maintenance System.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

An Improved Incremental Algorithm for Generating Prime Implicates.
Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991
Qualitative Reasoning about Physical Systems: A Return to Roots.
Artif. Intell., 1991

Characterizing Non-Intermittent Faults.
Proceedings of the 9th National Conference on Artificial Intelligence, 1991

Focusing on Probable Diagnoses.
Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1990
Using Crude Probability Estimates to Guide Diagnosis.
Artif. Intell., 1990

Characterizing Diagnoses.
Proceedings of the Expert Systems in Engineering, 1990

Exploiting Locality in a TMS.
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1989
Eliminating the Fixed Predicates from a Circumscription.
Artif. Intell., 1989

Diagnosis with Behavioral Modes.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

A Comparison of ATMS and CSP Techniques.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988
Massively Parallel Assumption-Based Truth Maintenance.
Proceedings of the Non-Monotonic Reasoning, 1988

A General Labeling Algorithm for Assumption-Based Truth Maintenance.
Proceedings of the 7th National Conference on Artificial Intelligence, 1988

Focusing the ATMS.
Proceedings of the 7th National Conference on Artificial Intelligence, 1988

1987
Diagnosing Multiple Faults.
Artif. Intell., 1987

Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report.
Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986
Theories of Causal Ordering.
Artif. Intell., 1986

Problem Solving with the ATMS.
Artif. Intell., 1986

Extending the ATMS.
Artif. Intell., 1986

An Assumption-Based TMS.
Artif. Intell., 1986

Back to Backtracking: Controlling the ATMS.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

Reasoning about Multiple Faults.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

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

Assumptionbased Truth Maintenance (Abstract).
Proceedings of the GWAI-85, 1985

1984
A Qualitative Physics Based on Confluences.
Artif. Intell., 1984

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

How Circuits Work.
Artif. Intell., 1984

Qualitative Reasoning With Higher-Order Derivatives.
Proceedings of the National Conference on Artificial Intelligence. Austin, 1984

Choices Without Backtracking.
Proceedings of the National Conference on Artificial Intelligence. Austin, 1984

1983
The Origin, Form, and Logic of Qualitative Physical Laws.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982
Foundations of Envisioning.
Proceedings of the National Conference on Artificial Intelligence, 1982

1979
The Origin and Resolution of Ambiguities in Causal Arguments.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1977
AMORD explicit control of reasoning.
SIGART Newsletter, 1977

Multiple Representations of Knowledge in a Mechanics Problem-Solver.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977


  Loading...