David E. Smith

Publication Activity (10 Years)

Years Active: 1980-2024
Publications (10 Years): 27

Top Topics

Temporal Planning

Mutual Exclusion

Planning Domains

Top Venues

Publications

Benjamin Krarup, Amanda Jane Coles, Derek Long, David E. Smith
Explaining Plan Quality Differences. ICAPS (2024)
Benjamin Krarup, Senka Krivic, Daniele Magazzeni, Derek Long, Michael Cashmore, David E. Smith
Contrastive Explanations of Plans Through Model Restrictions. CoRR (2021)
Benjamin Krarup, Senka Krivic, Daniele Magazzeni, Derek Long, Michael Cashmore, David E. Smith
Contrastive Explanations of Plans through Model Restrictions. J. Artif. Intell. Res. 72 (2021)
Sarath Sreedharan, Anagha Kulkarni, David E. Smith, Subbarao Kambhampati
A Unifying Bayesian Formulation of Measures of Interpretability in Human-AI Interaction. IJCAI (2021)
Sarath Sreedharan, Anagha Kulkarni, David E. Smith, Subbarao Kambhampati
A Unifying Bayesian Formulation of Measures of Interpretability in Human-AI. CoRR (2021)
Sarath Sreedharan, Anagha Kulkarni, Tathagata Chakraborti, David E. Smith, Subbarao Kambhampati
A Bayesian Account of Measures of Interpretability in Human-AI Interaction. CoRR (2020)
Sachin Grover, David E. Smith, Subbarao Kambhampati
Model Elicitation through Direct Questioning. CoRR (2020)
Arthur Bit-Monnot, Malik Ghallab, Félix Ingrand, David E. Smith
FAPE: a Constraint-based Planner for Generative and Hierarchical Temporal Planning. CoRR (2020)
Anagha Kulkarni, Sarath Sreedharan, Sarah Keren, Tathagata Chakraborti, David E. Smith, Subbarao Kambhampati
Designing Environments Conducive to Interpretable Robot Behavior. CoRR (2020)
Anagha Kulkarni, Sarath Sreedharan, Sarah Keren, Tathagata Chakraborti, David E. Smith, Subbarao Kambhampati
Designing Environments Conducive to Interpretable Robot Behavior. IROS (2020)
Sarath Sreedharan, Siddharth Srivastava, David E. Smith, Subbarao Kambhampati
Why Couldn't You do that? Explaining Unsolvability of Classical Planning Problems in the Presence of Plan Advice. CoRR (2019)
Sarath Sreedharan, Siddharth Srivastava, David E. Smith, Subbarao Kambhampati
Why Can't You Do That HAL? Explaining Unsolvability of Planning Tasks. IJCAI (2019)
Tathagata Chakraborti, Anagha Kulkarni, Sarath Sreedharan, David E. Smith, Subbarao Kambhampati
Explicability? Legibility? Predictability? Transparency? Privacy? Security? The Emerging Landscape of Interpretable Agent Behavior. ICAPS (2019)
Michael Cashmore, Anna Collins, Benjamin Krarup, Senka Krivic, Daniele Magazzeni, David E. Smith
Towards Explainable AI Planning as a Service. CoRR (2019)
Alessandro Cimatti, Minh Do, Andrea Micheli, Marco Roveri, David E. Smith
Strong temporal planning with uncontrollable durations. Artif. Intell. 256 (2018)
Sara Bernardini, Fabio Fagnani, David E. Smith
Extracting mutual exclusion invariants from lifted temporal planning domains. Artif. Intell. 258 (2018)
J. Benton, David E. Smith, John Kaneshige, Leslie Keely, Thomas Stucky
CHAP-E: A Plan Execution Assistant for Pilots. ICAPS (2018)
Tathagata Chakraborti, Anagha Kulkarni, Sarath Sreedharan, David E. Smith, Subbarao Kambhampati
Explicability? Legibility? Predictability? Transparency? Privacy? Security? The Emerging Landscape of Interpretable Agent Behavior. CoRR (2018)
Sara Bernardini, Fabio Fagnani, David E. Smith
Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains. CoRR (2017)
Yolanda E-Martín, David E. Smith
Goal Recognition with Noisy Observations. AAAI Workshops (2017)
Yolanda E-Martín, María D. R.-Moreno, David E. Smith
Incremental contingency planning for recovering from critical outcomes in high-probability seed plans. Prog. Artif. Intell. 6 (4) (2017)
Yolanda E-Martín, María D. R.-Moreno, David E. Smith
Incremental Contingency Planning for Recovering from Uncertain Outcomes. CAEPIA (2016)
Tathagata Chakraborti, Yu Zhang, David E. Smith, Subbarao Kambhampati
Planning with Resource Conflicts in Human-Robot Cohabitation. AAMAS (2016)
Arthur Bit-Monnot, David E. Smith, Minh Do
Delete-Free Reachability Analysis for Temporal and Hierarchical Planning. ECAI (2016)
Andrea Micheli, Minh Do, David E. Smith
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations. IJCAI (2015)
Tathagata Chakraborti, Gordon Briggs, Kartik Talamadupula, Yu Zhang, Matthias Scheutz, David E. Smith, Subbarao Kambhampati
Planning for serendipity. IROS (2015)
Yolanda E-Martín, María D. R.-Moreno, David E. Smith
A Fast Goal Recognition Technique Based on Interaction Estimates. IJCAI (2015)
Kartik Talamadupula, David E. Smith, Subbarao Kambhampati
The Metrics Matter! On the Incompatibility of Different Flavors of Replanning. CoRR (2014)
Yolanda E-Martín, María Dolores Rodríguez-Moreno, David E. Smith
Progressive heuristic search for probabilistic planning based on interaction estimates. Expert Syst. J. Knowl. Eng. 31 (5) (2014)
John L. Bresina, Richard Dearden, Nicolas Meuleau, Sailesh Ramakrishnan, David E. Smith, Richard Washington
Planning under Continuous Time and Resource Uncertainty: A Challenge for AI CoRR (2013)
David E. Smith
Planning as an Iterative Process. AAAI (2012)
Nicolas Meuleau, David E. Smith
Optimal Limited Contingency Planning CoRR (2012)
Daniel Bryce, Subbarao Kambhampati, David E. Smith
Planning Graph Heuristics for Belief Space Search CoRR (2011)
Yolanda E-Martín, María Dolores Rodríguez-Moreno, David E. Smith
Using a Plan Graph with Interaction Estimates for Probabilistic Planning. SGAI Conf. (2011)
Sara Bernardini, David E. Smith
Automatic Synthesis of Temporal Invariants. SARA (2011)
Yolanda E-Martín, María Dolores Rodríguez-Moreno, David E. Smith
Probabilistic Plan Graph Heuristic for Probabilistic Planning. AAAI (2011)
Nicolas Meuleau, Christian Plaunt, David E. Smith, Tristan B. Smith
An Emergency Landing Planner for Damaged Aircraft. IAAI (2009)
Daniel Bryce, Subbarao Kambhampati, David E. Smith
Sequential Monte Carlo in reachability heuristics for probabilistic planning. Artif. Intell. 172 (6-7) (2008)
Daniel Bryce, Subbarao Kambhampati, David E. Smith
Planning Graph Heuristics for Belief Space Search. J. Artif. Intell. Res. 26 (2006)
Daniel Bryce, Subbarao Kambhampati, David E. Smith
Sequential Monte Carlo in Probabilistic Planning Reachability Heuristics. ICAPS (2006)
Liam Pedersen, William J. Clancey, Maarten Sierhuis, Nicola Muscettola, David E. Smith, David Lees, Kanna Rajan, Sailesh Ramakrishnan, Paul Tompkins, Alonso Vera, Tom Dayton
Field Demonstration of Surface Human-Robotic Exploration Activity. AAAI Spring Symposium: To Boldly Go Where No Human-Robot Team Has Gone Before (2006)
David Joslin, Jeremy Frank, Ari K. Jónsson, David E. Smith
Simulation-based planning for planetary rover experiments. WSC (2005)
David E. Smith
Choosing Objectives in Over-Subscription Planning. ICAPS (2004)
David E. Smith
The Case for Durative Actions: A Commentary on PDDL2.1. J. Artif. Intell. Res. 20 (2003)
Nicolas Meuleau, David E. Smith
Optimal Limited Contingency Planning. UAI (2003)
James Kurien, P. Pandurang Nayak, David E. Smith
Fragment-based Conformant Planning. AIPS (2002)
John L. Bresina, Richard Dearden, Nicolas Meuleau, Sailesh Ramakrishnan, David E. Smith, Richard Washington
Planning under Continuous Time and Resource Uncertainty: A Challenge for AI. UAI (2002)
John L. Bresina, Richard Dearden, Nicolas Meuleau, David E. Smith, Richard Washington
Planning Under Continuous Time and Resource Uncertainty: A Challenge for AI. AIPS Workshop on Planning for Temporal Domains (2002)
David E. Smith, Ari K. Jónsson
The Logic of Reachability. AIPS (2002)
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
The AIPS-98 Planning Competition. AI Mag. 21 (2) (2000)
David E. Smith, Daniel S. Weld
Temporal Planning with Mutual Exclusion Reasoning. IJCAI (1999)
David E. Smith, Daniel S. Weld
Conformant Graphplan. AAAI/IAAI (1998)
Daniel S. Weld, Corin R. Anderson, David E. Smith
Extending Graphplan to Handle Uncertainty & Sensing Actions. AAAI/IAAI (1998)
Corin R. Anderson, David E. Smith, Daniel S. Weld
Conditional Effects in Graphplan. AIPS (1998)
David E. Smith, Mark A. Peot
Suspending Recursion in Causal-Link Planning. AIPS (1996)
David E. Smith, Mark A. Peot
Postponing Threats in Partial-Order Planning. AAAI (1993)
Mark A. Peot, David E. Smith
Threat-Removal Strategies for Partial-Order Planning. AAAI (1993)
David E. Smith
Controlling Backward Inference. Artif. Intell. 39 (2) (1989)
Matthew L. Ginsberg, David E. Smith
Reasoning About Action II: The Qualification Problem. Artif. Intell. 35 (3) (1988)
Matthew L. Ginsberg, David E. Smith
Reasoning About Action I: A Possible Worlds Approach. Artif. Intell. 35 (2) (1988)
Karen L. Myers, David E. Smith
The Persistence of Derived Information. AAAI (1988)
Matthew L. Ginsberg, David E. Smith
Possible Worlds and the Qualification Problem. AAAI (1987)
David E. Smith, Michael R. Genesereth, Matthew L. Ginsberg
Controlling Recursive Inference. Artif. Intell. 30 (3) (1986)
David E. Smith, Michael R. Genesereth
Ordering Conjunctive Queries. Artif. Intell. 26 (2) (1985)
David E. Smith
Finding All of the Solutions to a Problem. AAAI (1983)
David E. Smith, Jan E. Clayton
A Frame-Based Production System Architecture. AAAI (1980)