David E. Smith

According to our database, David E. Smith authored at least 61 papers between 1980 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Explaining Plan Quality Differences.

Benjamin Krarup, Amanda Jane Coles, Derek Long, David E. Smith

Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

2021

Contrastive Explanations of Plans through Model Restrictions.

Benjamin Krarup, Senka Krivic, Daniele Magazzeni, Derek Long, Michael Cashmore, David E. Smith

J. Artif. Intell. Res., 2021

A Unifying Bayesian Formulation of Measures of Interpretability in Human-AI.

Sarath Sreedharan, Anagha Kulkarni, David E. Smith, Subbarao Kambhampati

CoRR, 2021

A Unifying Bayesian Formulation of Measures of Interpretability in Human-AI Interaction.

Sarath Sreedharan, Anagha Kulkarni, David E. Smith, Subbarao Kambhampati

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020

Model Elicitation through Direct Questioning.

Sachin Grover, David E. Smith, Subbarao Kambhampati

CoRR, 2020

A Bayesian Account of Measures of Interpretability in Human-AI Interaction.

Sarath Sreedharan, Anagha Kulkarni, Tathagata Chakraborti, David E. Smith, Subbarao Kambhampati

CoRR, 2020

FAPE: a Constraint-based Planner for Generative and Hierarchical Temporal Planning.

Arthur Bit-Monnot, Malik Ghallab, Félix Ingrand, David E. Smith

CoRR, 2020

Designing Environments Conducive to Interpretable Robot Behavior.

Anagha Kulkarni, Sarath Sreedharan, Sarah Keren, Tathagata Chakraborti, David E. Smith, Subbarao Kambhampati

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

2019

Towards Explainable AI Planning as a Service.

Michael Cashmore, Anna Collins, Benjamin Krarup, Senka Krivic, Daniele Magazzeni, David E. Smith

CoRR, 2019

Why Couldn't You do that? Explaining Unsolvability of Classical Planning Problems in the Presence of Plan Advice.

Sarath Sreedharan, Siddharth Srivastava, David E. Smith, Subbarao Kambhampati

CoRR, 2019

Why Can't You Do That HAL? Explaining Unsolvability of Planning Tasks.

Sarath Sreedharan, Siddharth Srivastava, David E. Smith, Subbarao Kambhampati

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Explicability? Legibility? Predictability? Transparency? Privacy? Security? The Emerging Landscape of Interpretable Agent Behavior.

Tathagata Chakraborti, Anagha Kulkarni, Sarath Sreedharan, David E. Smith, Subbarao Kambhampati

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018

Strong temporal planning with uncontrollable durations.

Alessandro Cimatti, Minh Do, Andrea Micheli, Marco Roveri, David E. Smith

Artif. Intell., 2018

Extracting mutual exclusion invariants from lifted temporal planning domains.

Sara Bernardini, Fabio Fagnani, David E. Smith

Artif. Intell., 2018

CHAP-E: A Plan Execution Assistant for Pilots.

J. Benton, David E. Smith, John Kaneshige, Leslie Keely, Thomas Stucky

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2017

Incremental contingency planning for recovering from critical outcomes in high-probability seed plans.

Yolanda E-Martín, María D. R.-Moreno, David E. Smith

Prog. Artif. Intell., 2017

Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains.

Sara Bernardini, Fabio Fagnani, David E. Smith

CoRR, 2017

Goal Recognition with Noisy Observations.

Yolanda E-Martín, David E. Smith

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

2016

Delete-Free Reachability Analysis for Temporal and Hierarchical Planning.

Arthur Bit-Monnot, David E. Smith, Minh Do

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Incremental Contingency Planning for Recovering from Uncertain Outcomes.

Yolanda E-Martín, María D. R.-Moreno, David E. Smith

Proceedings of the Advances in Artificial Intelligence, 2016

Planning with Resource Conflicts in Human-Robot Cohabitation.

Tathagata Chakraborti, Yu Zhang, David E. Smith, Subbarao Kambhampati

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015

Planning for serendipity.

Tathagata Chakraborti, Gordon Briggs, Kartik Talamadupula, Yu Zhang, Matthias Scheutz, David E. Smith, Subbarao Kambhampati

Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations.

Andrea Micheli, Minh Do, David E. Smith

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

A Fast Goal Recognition Technique Based on Interaction Estimates.

Yolanda E-Martín, María D. R.-Moreno, David E. Smith

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

Progressive heuristic search for probabilistic planning based on interaction estimates.

Yolanda E-Martín, María Dolores Rodríguez-Moreno, David E. Smith

Expert Syst. J. Knowl. Eng., 2014

The Metrics Matter! On the Incompatibility of Different Flavors of Replanning.

Kartik Talamadupula, David E. Smith, Subbarao Kambhampati

CoRR, 2014

2012

Planning as an Iterative Process.

David E. Smith

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

2011

Using a Plan Graph with Interaction Estimates for Probabilistic Planning.

Yolanda E-Martín, María Dolores Rodríguez-Moreno, David E. Smith

Proceedings of the Research and Development in Intelligent Systems XXVIII, 2011

Automatic Synthesis of Temporal Invariants.

Sara Bernardini, David E. Smith

Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, 2011

Probabilistic Plan Graph Heuristic for Probabilistic Planning.

Yolanda E-Martín, María Dolores Rodríguez-Moreno, David E. Smith

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2009

An Emergency Landing Planner for Damaged Aircraft.

Nicolas Meuleau, Christian Plaunt, David E. Smith, Tristan B. Smith

Proceedings of the Twenty-First Conference on Innovative Applications of Artificial Intelligence, 2009

2008

Sequential Monte Carlo in reachability heuristics for probabilistic planning.

Daniel Bryce, Subbarao Kambhampati, David E. Smith

Artif. Intell., 2008

2006

Planning Graph Heuristics for Belief Space Search.

Daniel Bryce, Subbarao Kambhampati, David E. Smith

J. Artif. Intell. Res., 2006

Sequential Monte Carlo in Probabilistic Planning Reachability Heuristics.

Daniel Bryce, Subbarao Kambhampati, David E. Smith

Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Field Demonstration of Surface Human-Robotic Exploration Activity.

Liam Pedersen, William J. Clancey, Maarten Sierhuis, Nicola Muscettola, David E. Smith, David Lees, Kanna Rajan, Sailesh Ramakrishnan, Paul Tompkins, Alonso Vera, Tom Dayton

Proceedings of the To Boldly Go Where No Human-Robot Team Has Gone Before, 2006

2005

Simulation-based planning for planetary rover experiments.

David Joslin, Jeremy Frank, Ari K. Jónsson, David E. Smith

Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, 2005

2004

Choosing Objectives in Over-Subscription Planning.

David E. Smith

Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 2004

2003

The Case for Durative Actions: A Commentary on PDDL2.1.

David E. Smith

J. Artif. Intell. Res., 2003

Optimal Limited Contingency Planning.

Nicolas Meuleau, David E. Smith

Proceedings of the UAI '03, 2003

2002

Planning under Continuous Time and Resource Uncertainty: A Challenge for AI.

John L. Bresina, Richard Dearden, Nicolas Meuleau, Sailesh Ramakrishnan, David E. Smith, Richard Washington

Proceedings of the UAI '02, 2002

The Logic of Reachability.

David E. Smith, Ari K. Jónsson

Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002

Fragment-based Conformant Planning.

James Kurien, P. Pandurang Nayak, David E. Smith

Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002

Planning Under Continuous Time and Resource Uncertainty: A Challenge for AI.

John L. Bresina, Richard Dearden, Nicolas Meuleau, David E. Smith, Richard Washington

Proceedings of the AIPS 2002 Workshop on Planning for Temporal Domains, 2002

2000

The AIPS-98 Planning Competition.

Derek Long, Henry A. Kautz, Bart Selman, Blai Bonet, Hector Geffner, Jana Koehler, Michael Brenner, Jörg Hoffmann, Frank Rittinger, Corin R. Anderson, Daniel S. Weld, David E. Smith, Maria Fox

AI Mag., 2000

1999

Temporal Planning with Mutual Exclusion Reasoning.

David E. Smith, Daniel S. Weld

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998

Conditional Effects in Graphplan.

Corin R. Anderson, David E. Smith, Daniel S. Weld

Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems, 1998

Extending Graphplan to Handle Uncertainty & Sensing Actions.

Daniel S. Weld, Corin R. Anderson, David E. Smith

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

Conformant Graphplan.

David E. Smith, Daniel S. Weld

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1996

Suspending Recursion in Causal-Link Planning.

David E. Smith, Mark A. Peot

Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, 1996

1993

Postponing Threats in Partial-Order Planning.

David E. Smith, Mark A. Peot

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

Threat-Removal Strategies for Partial-Order Planning.

Mark A. Peot, David E. Smith

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1989

Controlling Backward Inference.

David E. Smith

Artif. Intell., 1989

1988

Reasoning About Action II: The Qualification Problem.

Matthew L. Ginsberg, David E. Smith

Artif. Intell., 1988

Reasoning About Action I: A Possible Worlds Approach.

Matthew L. Ginsberg, David E. Smith

Artif. Intell., 1988

The Persistence of Derived Information.

Karen L. Myers, David E. Smith

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

1987

Possible Worlds and the Qualification Problem.

Matthew L. Ginsberg, David E. Smith

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

1986

Controlling Recursive Inference.

David E. Smith, Michael R. Genesereth, Matthew L. Ginsberg

Artif. Intell., 1986

1985

Controlling inference.

David E. Smith

PhD thesis, 1985

Ordering Conjunctive Queries.

David E. Smith, Michael R. Genesereth

Artif. Intell., 1985

1983

Finding All of the Solutions to a Problem.

David E. Smith

Proceedings of the National Conference on Artificial Intelligence, 1983

1980

A Frame-Based Production System Architecture.

David E. Smith, Jan E. Clayton

Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980