David E. Smith

68 papers A* 19A 6C 1Misc 1Journal 28Unranked 12

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