Johan de Kleer

Christoforos Somarakis

Rahul Rai

John S. Baras

CoRR, 2020

Hybrid modeling: Applications in real-time diagnosis.

[BibT_eX]

[DOI]

CoRR, 2020

Micro-scale 2D chiplet position control: a formal approach to policy design.

[BibT_eX]

[DOI]

Christoforos Somarakis

Anne Plochowietz

John S. Baras

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Learning physical laws: the case of micron size particles in dielectric fluid.

[BibT_eX]

[DOI]

Maksym Zhenirovskyy

Christoforos Somarakis

John S. Baras

Proceedings of the 2020 American Control Conference, 2020

Deep Learning for Control: a non-Reinforcement Learning View.

[BibT_eX]

[DOI]

Proceedings of the 2020 American Control Conference, 2020

Efficient Model-Based Diagnosis of Sequential Circuits.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Analog Accelerator for Simulation and Diagnostics.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Design Space Exploration as Quantified Satisfaction.

[BibT_eX]

[DOI]

CoRR, 2019

Automatic Support Removal for Additive Manufacturing Post Processing.

[BibT_eX]

[DOI]

Comput. Aided Des., 2019

Learning constitutive equations of physical components with predefined feasibility conditions.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

2018

Automated process planning for hybrid manufacturing.

[BibT_eX]

[DOI]

Morad Behandish

Saigopal Nelaturi

Comput. Aided Des., 2018

Model-based diagnosis: A frequency domain view.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Prognostics and Health Management, 2018

Analog Implementation of Optimization Algorithms: A Distributed Optimization View.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Learning constitutive equations of physical components with constraints discovery.

[BibT_eX]

[DOI]

Raj Minhas

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Position Article on Integrating Data and Model to Understand Disease Interactions.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Healthcare Informatics, 2017

Diagnosing Alternative Facts.

[BibT_eX]

[DOI]

Matthew Klenk

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

Improving state-action space exploration in reinforcement learning using geometric properties.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Collaborative Autonomy through Analogical Comic Graphs.

[BibT_eX]

[DOI]

Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Combinatorial models for heterogeneous system composition and analysis.

[BibT_eX]

[DOI]

Saigopal Nelaturi

Vadim Shapiro

Proceedings of the 11th System of Systems Engineering Conference, 2016

A Framework for Automatic Debugging of Functional and Degradation Failures.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

2014

The Diagnostic Competitions.

[BibT_eX]

[DOI]

Arjan J. C. van Gemund

AI Mag., 2014

Qualitative Reasoning with Modelica Models.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

On-Line Reconfigurable Machines.

[BibT_eX]

[DOI]

Markus P. J. Fromherz

David Biegelsen

Daniel Larner

AI Mag., 2013

ThroughputScheduler: Learning to Schedule on Heterogeneous Hadoop Clusters.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Autonomic Computing, 2013

2012

Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Hybrid Qualitative Simulation of Military Operations.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third Conference on Innovative Applications of Artificial Intelligence, 2011

2010

Special Issue on Model-Based Diagnostics.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part A, 2010

Pervasive Diagnosis.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part A, 2010

Diagnosis with Incomplete Models: Diagnosing Hidden Interaction Faults.

[BibT_eX]

[DOI]

Lukas D. Kuhn

Proceedings of the Embedded Reasoning, 2010

FIRE: Infrastructure for Experience-Based Systems with Common Sense.

[BibT_eX]

[DOI]

Proceedings of the Commonsense Knowledge, 2010

2009

Automated Redesign with the General Redesign Engine.

[BibT_eX]

[DOI]

Arjan J. C. van Gemund

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Diagnosing Multiple Persistent and Intermittent Faults.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Pervasive Model Adaptation: The Integration of Planning and Information Gathering in Dynamic Production Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008

Pervasive Diagnosis: The Integration of Diagnostic Goals into Production Plans.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Dynamic Domain Abstraction Through Meta-diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Abstraction, 2007

Modeling When Connections Are the Problem.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

2004

Model-Based Computing for Design and Control of Reconfigurable Systems.

[BibT_eX]

[DOI]

Markus P. J. Fromherz

Daniel G. Bobrow

AI Mag., 2004

1995

Trading off the Costs of Inference vs. Probing in Diagnosis.

[BibT_eX]

[DOI]

Olivier Raiman

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1993

A View on Qualitative Physics.

[BibT_eX]

[DOI]

Artif. Intell., 1993

A Perspective on Assumption-Based Truth Maintenance.

[BibT_eX]

[DOI]

Artif. Intell., 1993

Critical Reasoning.

[BibT_eX]

[DOI]

Olivier Raiman

Vijay A. Saraswat

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

Building Problem Solvers.

[BibT_eX]

[DOI]

Kenneth D. Forbus

MIT Press, ISBN: 978-0-262-06157-5, 1993

1992

Narrow Views, Old Talks, New Beginnings.

[BibT_eX]

[DOI]

Comput. Intell., 1992

Characterizing Diagnoses and Systems.

[BibT_eX]

[DOI]

Alan K. Mackworth

Raymond Reiter

Artif. Intell., 1992

A Minimality Maintenance System.

[BibT_eX]

Olivier Raiman

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.

[BibT_eX]

[DOI]

Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991

Qualitative Reasoning about Physical Systems: A Return to Roots.

[BibT_eX]

[DOI]

Artif. Intell., 1991

Characterizing Non-Intermittent Faults.

[BibT_eX]

[DOI]

Proceedings of the 9th National Conference on Artificial Intelligence, 1991

Focusing on Probable Diagnoses.

[BibT_eX]

[DOI]

Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1990

Using Crude Probability Estimates to Guide Diagnosis.

[BibT_eX]

[DOI]

Artif. Intell., 1990

Characterizing Diagnoses.

[BibT_eX]

[DOI]

Alan K. Mackworth

Raymond Reiter

Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

Exploiting Locality in a TMS.

[BibT_eX]

[DOI]

Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1989

Eliminating the Fixed Predicates from a Circumscription.

[BibT_eX]

[DOI]

Kurt Konolige

Artif. Intell., 1989

Diagnosis with Behavioral Modes.

[BibT_eX]

[DOI]

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

A Comparison of ATMS and CSP Techniques.

[BibT_eX]

[DOI]

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988

A General Labeling Algorithm for Assumption-Based Truth Maintenance.

[BibT_eX]

[DOI]

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

Focusing the ATMS.

[BibT_eX]

[DOI]

Kenneth D. Forbus

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

Massively Parallel Assumption-Based Truth Maintenance.

[BibT_eX]

[DOI]

Michael Dixon

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

1987

Diagnosing Multiple Faults.

[BibT_eX]

[DOI]

Artif. Intell., 1987

Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report.

[BibT_eX]

[DOI]

Raymond Reiter

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986

Theories of Causal Ordering.

[BibT_eX]

[DOI]

Artif. Intell., 1986

Problem Solving with the ATMS.

[BibT_eX]

[DOI]

Artif. Intell., 1986

Extending the ATMS.

[BibT_eX]

[DOI]

Artif. Intell., 1986

An Assumption-Based TMS.

[BibT_eX]

[DOI]

Artif. Intell., 1986

Back to Backtracking: Controlling the ATMS.

[BibT_eX]

[DOI]

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

Reasoning about Multiple Faults.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Artif. Intell., 1985

Assumptionbased Truth Maintenance (Abstract).

[BibT_eX]

[DOI]

Proceedings of the GWAI-85, 1985

1984

A Qualitative Physics Based on Confluences.

[BibT_eX]

[DOI]

Artif. Intell., 1984

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

[BibT_eX]

[DOI]

Artif. Intell., 1984

How Circuits Work.

[BibT_eX]

[DOI]

Artif. Intell., 1984

Qualitative Reasoning With Higher-Order Derivatives.

[BibT_eX]

[DOI]

Daniel G. Bobrow

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

Choices Without Backtracking.

[BibT_eX]

[DOI]

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

1983

The Origin, Form, and Logic of Qualitative Physical Laws.

[BibT_eX]

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982

Foundations of Envisioning.

[BibT_eX]

[DOI]

Proceedings of the National Conference on Artificial Intelligence, 1982

1979

The Origin and Resolution of Ambiguities in Causal Arguments.

[BibT_eX]

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1977

AMORD explicit control of reasoning.

[BibT_eX]

[DOI]

Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages, 1977

Multiple Representations of Knowledge in a Mechanics Problem-Solver.

[BibT_eX]

[DOI]