A Frame-Based Production System Architecture. - David E. Smith 001; Jan E. Clayton (AAAI, 1980)

Finding All of the Solutions to a Problem. - David E. Smith 001 (AAAI, 1983)

Ordering Conjunctive Queries. - David E. Smith 001; Michael R. Genesereth (Artif. Intell., 1985)

Controlling inference. - David E. Smith 001 (1985)

Controlling Recursive Inference. - David E. Smith 001; Michael R. Genesereth; Matthew L. Ginsberg (Artif. Intell., 1986)

Possible Worlds and the Qualification Problem. - Matthew L. Ginsberg; David E. Smith 001 (AAAI, 1987)

The Persistence of Derived Information. - Karen L. Myers; David E. Smith 001 (AAAI, 1988)

Reasoning About Action I: A Possible Worlds Approach. - Matthew L. Ginsberg; David E. Smith 001 (Artif. Intell., 1988)

Reasoning About Action II: The Qualification Problem. - Matthew L. Ginsberg; David E. Smith 001 (Artif. Intell., 1988)

Controlling Backward Inference. - David E. Smith 001 (Artif. Intell., 1989)

Threat-Removal Strategies for Partial-Order Planning. - Mark A. Peot; David E. Smith 001 (AAAI, 1993)

Postponing Threats in Partial-Order Planning. - David E. Smith 001; Mark A. Peot (AAAI, 1993)

Suspending Recursion in Causal-Link Planning. - David E. Smith 001; Mark A. Peot (AIPS, 1996)

Conformant Graphplan. - David E. Smith 001; Daniel S. Weld (AAAI/IAAI, 1998)

Extending Graphplan to Handle Uncertainty & Sensing Actions. - Daniel S. Weld; Corin R. Anderson; David E. Smith 001 (AAAI/IAAI, 1998)

Conditional Effects in Graphplan. - Corin R. Anderson; David E. Smith 001; Daniel S. Weld (AIPS, 1998)

Temporal Planning with Mutual Exclusion Reasoning. - David E. Smith 001; Daniel S. Weld (IJCAI, 1999)

The AIPS-98 Planning Competition. - Derek Long; Henry A. Kautz; Bart Selman; Blai Bonet; Hector Geffner; Jana Koehler; Michael Brenner 001; Jörg Hoffmann 001; Frank Rittinger; Corin R. Anderson; Daniel S. Weld; David E. Smith 001; et al. (AI Mag., 2000)

Planning Under Continuous Time and Resource Uncertainty: A Challenge for AI. - John L. Bresina; Richard Dearden; Nicolas Meuleau; David E. Smith 001; Richard Washington (AIPS Workshop on Planning for Temporal Domains, 2002)

Fragment-based Conformant Planning. - James Kurien; P. Pandurang Nayak; David E. Smith 001 (AIPS, 2002)

The Logic of Reachability. - David E. Smith 001; Ari K. Jónsson (AIPS, 2002)

Planning under Continuous Time and Resource Uncertainty: A Challenge for AI. - John L. Bresina; Richard Dearden; Nicolas Meuleau; Sailesh Ramakrishnan; David E. Smith 001; Richard Washington (UAI, 2002)

Optimal Limited Contingency Planning. - Nicolas Meuleau; David E. Smith 001 (UAI, 2003)

The Case for Durative Actions: A Commentary on PDDL2.1. - David E. Smith 001 (J. Artif. Intell. Res., 2003)

Choosing Objectives in Over-Subscription Planning. - David E. Smith 001 (ICAPS, 2004)

Simulation-based planning for planetary rover experiments. - David Joslin 002; Jeremy Frank; Ari K. Jónsson; David E. Smith 001 (WSC, 2005)

Field Demonstration of Surface Human-Robotic Exploration Activity. - Liam Pedersen; William J. Clancey; Maarten Sierhuis; Nicola Muscettola; David E. Smith 001; David Lees; Kanna Rajan; Sailesh Ramakrishnan; Paul Tompkins; Alonso Vera; Tom Dayton (AAAI Spring Symposium: To Boldly Go Where No Human-Robot Team Has Gone Before, 2006)

Sequential Monte Carlo in Probabilistic Planning Reachability Heuristics. - Daniel Bryce; Subbarao Kambhampati; David E. Smith 001 (ICAPS, 2006)

Planning Graph Heuristics for Belief Space Search. - Daniel Bryce; Subbarao Kambhampati; David E. Smith 001 (J. Artif. Intell. Res., 2006)

Sequential Monte Carlo in reachability heuristics for probabilistic planning. - Daniel Bryce; Subbarao Kambhampati; David E. Smith 001 (Artif. Intell., 2008)

An Emergency Landing Planner for Damaged Aircraft. - Nicolas Meuleau; Christian Plaunt; David E. Smith 001; Tristan B. Smith (IAAI, 2009)

Probabilistic Plan Graph Heuristic for Probabilistic Planning. - Yolanda E-Martín; María Dolores Rodríguez-Moreno; David E. Smith 001 (AAAI, 2011)

Automatic Synthesis of Temporal Invariants. - Sara Bernardini; David E. Smith 001 (SARA, 2011)

Using a Plan Graph with Interaction Estimates for Probabilistic Planning. - Yolanda E-Martín; María Dolores Rodríguez-Moreno; David E. Smith 001 (SGAI Conf., 2011)

Planning as an Iterative Process. - David E. Smith 001 (AAAI, 2012)

The Metrics Matter! On the Incompatibility of Different Flavors of Replanning. - Kartik Talamadupula; David E. Smith 001; Subbarao Kambhampati (CoRR, 2014)

Progressive heuristic search for probabilistic planning based on interaction estimates. - Yolanda E-Martín; María Dolores Rodríguez-Moreno; David E. Smith 001 (Expert Syst. J. Knowl. Eng., 2014)

A Fast Goal Recognition Technique Based on Interaction Estimates. - Yolanda E-Martín; María D. R.-Moreno; David E. Smith 001 (IJCAI, 2015)

Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations. - Andrea Micheli; Minh Do; David E. Smith 001 (IJCAI, 2015)

Planning for serendipity. - Tathagata Chakraborti; Gordon Briggs; Kartik Talamadupula; Yu Zhang 055; Matthias Scheutz; David E. Smith 001; Subbarao Kambhampati (IROS, 2015)

Planning with Resource Conflicts in Human-Robot Cohabitation. - Tathagata Chakraborti; Yu Zhang 055; David E. Smith 001; Subbarao Kambhampati (AAMAS, 2016)

Incremental Contingency Planning for Recovering from Uncertain Outcomes. - Yolanda E-Martín; María D. R.-Moreno; David E. Smith 001 (CAEPIA, 2016)

Delete-Free Reachability Analysis for Temporal and Hierarchical Planning. - Arthur Bit-Monnot; David E. Smith 001; Minh Do (ECAI, 2016)

Goal Recognition with Noisy Observations. - Yolanda E-Martín; David E. Smith 001 (AAAI Workshops, 2017)

Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains. - Sara Bernardini; Fabio Fagnani; David E. Smith 001 (CoRR, 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 001 (Prog. Artif. Intell., 2017)

CHAP-E: A Plan Execution Assistant for Pilots. - J. Benton 001; David E. Smith 001; John Kaneshige; Leslie Keely; Thomas Stucky (ICAPS, 2018)

Extracting mutual exclusion invariants from lifted temporal planning domains. - Sara Bernardini; Fabio Fagnani; David E. Smith 001 (Artif. Intell., 2018)

Strong temporal planning with uncontrollable durations. - Alessandro Cimatti; Minh Do; Andrea Micheli; Marco Roveri; David E. Smith 001 (Artif. Intell., 2018)

Explicability? Legibility? Predictability? Transparency? Privacy? Security? The Emerging Landscape of Interpretable Agent Behavior. - Tathagata Chakraborti; Anagha Kulkarni 002; Sarath Sreedharan; David E. Smith 001; Subbarao Kambhampati (ICAPS, 2019)

Why Can't You Do That HAL? Explaining Unsolvability of Planning Tasks. - Sarath Sreedharan; Siddharth Srivastava 001; David E. Smith 001; Subbarao Kambhampati (IJCAI, 2019)

Why Couldn't You do that? Explaining Unsolvability of Classical Planning Problems in the Presence of Plan Advice. - Sarath Sreedharan; Siddharth Srivastava 001; David E. Smith 001; Subbarao Kambhampati (CoRR, 2019)

Towards Explainable AI Planning as a Service. - Michael Cashmore; Anna Collins; Benjamin Krarup; Senka Krivic; Daniele Magazzeni; David E. Smith 001 (CoRR, 2019)

Designing Environments Conducive to Interpretable Robot Behavior. - Anagha Kulkarni 002; Sarath Sreedharan; Sarah Keren; Tathagata Chakraborti; David E. Smith 001; Subbarao Kambhampati (IROS, 2020)

FAPE: a Constraint-based Planner for Generative and Hierarchical Temporal Planning. - Arthur Bit-Monnot; Malik Ghallab; Félix Ingrand; David E. Smith 001 (CoRR, 2020)

A Bayesian Account of Measures of Interpretability in Human-AI Interaction. - Sarath Sreedharan; Anagha Kulkarni 002; Tathagata Chakraborti; David E. Smith 001; Subbarao Kambhampati (CoRR, 2020)

Model Elicitation through Direct Questioning. - Sachin Grover; David E. Smith 001; Subbarao Kambhampati (CoRR, 2020)

A Unifying Bayesian Formulation of Measures of Interpretability in Human-AI Interaction. - Sarath Sreedharan; Anagha Kulkarni 002; David E. Smith 001; Subbarao Kambhampati (IJCAI, 2021)

A Unifying Bayesian Formulation of Measures of Interpretability in Human-AI. - Sarath Sreedharan; Anagha Kulkarni 002; David E. Smith 001; Subbarao Kambhampati (CoRR, 2021)

Contrastive Explanations of Plans through Model Restrictions. - Benjamin Krarup; Senka Krivic; Daniele Magazzeni; Derek Long; Michael Cashmore; David E. Smith 001 (J. Artif. Intell. Res., 2021)

Explaining Plan Quality Differences. - Benjamin Krarup; Amanda Jane Coles; Derek Long; David E. Smith 001 (ICAPS, 2024)