![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
David E. Smith 0001
Person information
- affiliation (since 2018): PS Research, Los Altos Hills, CA, USA
- affiliation (1997-2017): NASA Ames Research Center, Intelligent Systems Division, Moffett Field, CA, USA
- affiliation (1997): University of Washington, Department of Computer Science & Engineering, Seattle, WA, USA
- affiliation (1987-1997): Rockwell International Science Center, Palo Alto, CA, USA
- affiliation (1985-1987): Stanford University, Department of Computer Science, Stanford, CA, USA
- not to be confused with: David E. Smith 0007
Other persons with the same name
- David E. Smith 0002 — IBM Global Services, Austin, Texas, USA
- David E. Smith 0003 — University of Southern California, Marina del Rey, CA, USA
- David E. Smith 0004 — University of Virginia, USA
- David E. Smith 0005 — Hospital Italiano de Buenos Aires, Argentina
- David E. Smith 0007 — Massachusetts Institute of Technology (MIT), Department of Earth, Cambridge, MA, USA (and 1 more)
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c38]Benjamin Krarup, Amanda Jane Coles, Derek Long, David E. Smith:
Explaining Plan Quality Differences. ICAPS 2024: 324-332 - 2021
- [j14]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: 533-612 (2021) - [c37]Sarath Sreedharan, Anagha Kulkarni, David E. Smith, Subbarao Kambhampati:
A Unifying Bayesian Formulation of Measures of Interpretability in Human-AI Interaction. IJCAI 2021: 4602-4610 - [i14]Benjamin Krarup, Senka Krivic
, Daniele Magazzeni, Derek Long, Michael Cashmore, David E. Smith:
Contrastive Explanations of Plans Through Model Restrictions. CoRR abs/2103.15575 (2021) - [i13]Sarath Sreedharan, Anagha Kulkarni, David E. Smith, Subbarao Kambhampati:
A Unifying Bayesian Formulation of Measures of Interpretability in Human-AI. CoRR abs/2104.10743 (2021) - 2020
- [c36]Anagha Kulkarni, Sarath Sreedharan, Sarah Keren, Tathagata Chakraborti, David E. Smith, Subbarao Kambhampati:
Designing Environments Conducive to Interpretable Robot Behavior. IROS 2020: 10982-10989 - [i12]Anagha Kulkarni, Sarath Sreedharan, Sarah Keren, Tathagata Chakraborti, David E. Smith, Subbarao Kambhampati:
Designing Environments Conducive to Interpretable Robot Behavior. CoRR abs/2007.00820 (2020) - [i11]Arthur Bit-Monnot, Malik Ghallab, Félix Ingrand
, David E. Smith:
FAPE: a Constraint-based Planner for Generative and Hierarchical Temporal Planning. CoRR abs/2010.13121 (2020) - [i10]Sarath Sreedharan, Anagha Kulkarni, Tathagata Chakraborti, David E. Smith, Subbarao Kambhampati:
A Bayesian Account of Measures of Interpretability in Human-AI Interaction. CoRR abs/2011.10920 (2020) - [i9]Sachin Grover, David E. Smith, Subbarao Kambhampati:
Model Elicitation through Direct Questioning. CoRR abs/2011.12262 (2020)
2010 – 2019
- 2019
- [c35]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: 86-96 - [c34]Sarath Sreedharan, Siddharth Srivastava, David E. Smith, Subbarao Kambhampati:
Why Can't You Do That HAL? Explaining Unsolvability of Planning Tasks. IJCAI 2019: 1422-1430 - [e1]J. Benton, Nir Lipovetzky, Eva Onaindia, David E. Smith, Siddharth Srivastava:
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, ICAPS 2019, Berkeley, CA, USA, July 11-15, 2019. AAAI Press 2019 [contents] - [i8]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 abs/1903.08218 (2019) - [i7]Michael Cashmore, Anna Collins, Benjamin Krarup, Senka Krivic
, Daniele Magazzeni, David E. Smith:
Towards Explainable AI Planning as a Service. CoRR abs/1908.05059 (2019) - 2018
- [j13]Alessandro Cimatti
, Minh Do, Andrea Micheli
, Marco Roveri
, David E. Smith
:
Strong temporal planning with uncontrollable durations. Artif. Intell. 256: 1-34 (2018) - [j12]Sara Bernardini
, Fabio Fagnani, David E. Smith
:
Extracting mutual exclusion invariants from lifted temporal planning domains. Artif. Intell. 258: 1-65 (2018) - [c33]J. Benton, David E. Smith, John Kaneshige, Leslie Keely, Thomas Stucky:
CHAP-E: A Plan Execution Assistant for Pilots. ICAPS 2018: 303-311 - [i6]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 abs/1811.09722 (2018) - 2017
- [j11]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): 299-314 (2017) - [c32]Yolanda E-Martín, David E. Smith:
Goal Recognition with Noisy Observations. AAAI Workshops 2017 - [i5]Sara Bernardini, Fabio Fagnani, David E. Smith:
Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains. CoRR abs/1702.01886 (2017) - 2016
- [c31]Tathagata Chakraborti, Yu Zhang, David E. Smith, Subbarao Kambhampati:
Planning with Resource Conflicts in Human-Robot Cohabitation. AAMAS 2016: 1069-1077 - [c30]Yolanda E-Martín, María D. R.-Moreno
, David E. Smith:
Incremental Contingency Planning for Recovering from Uncertain Outcomes. CAEPIA 2016: 237-247 - [c29]Arthur Bit-Monnot, David E. Smith, Minh Do:
Delete-Free Reachability Analysis for Temporal and Hierarchical Planning. ECAI 2016: 1698-1699 - 2015
- [c28]Yolanda E-Martín, María D. R.-Moreno, David E. Smith:
A Fast Goal Recognition Technique Based on Interaction Estimates. IJCAI 2015: 761-768 - [c27]Andrea Micheli, Minh Do, David E. Smith:
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations. IJCAI 2015: 1631-1637 - [c26]Tathagata Chakraborti, Gordon Briggs, Kartik Talamadupula, Yu Zhang, Matthias Scheutz
, David E. Smith, Subbarao Kambhampati:
Planning for serendipity. IROS 2015: 5300-5306 - 2014
- [j10]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): 421-436 (2014) - [i4]Kartik Talamadupula, David E. Smith, Subbarao Kambhampati:
The Metrics Matter! On the Incompatibility of Different Flavors of Replanning. CoRR abs/1405.2883 (2014) - 2013
- [i3]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 abs/1301.0559 (2013) - 2012
- [c25]David E. Smith:
Planning as an Iterative Process. AAAI 2012: 2180-2185 - [i2]Nicolas Meuleau, David E. Smith:
Optimal Limited Contingency Planning. CoRR abs/1212.2502 (2012) - 2011
- [c24]Yolanda E-Martín, María Dolores Rodríguez-Moreno, David E. Smith:
Probabilistic Plan Graph Heuristic for Probabilistic Planning. AAAI 2011: 1774-1775 - [c23]Sara Bernardini, David E. Smith:
Automatic Synthesis of Temporal Invariants. SARA 2011 - [c22]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: 49-62 - [i1]Daniel Bryce, Subbarao Kambhampati, David E. Smith:
Planning Graph Heuristics for Belief Space Search. CoRR abs/1103.1711 (2011)
2000 – 2009
- 2009
- [c21]Nicolas Meuleau, Christian Plaunt, David E. Smith, Tristan B. Smith:
An Emergency Landing Planner for Damaged Aircraft. IAAI 2009 - 2008
- [j9]Daniel Bryce, Subbarao Kambhampati, David E. Smith:
Sequential Monte Carlo in reachability heuristics for probabilistic planning. Artif. Intell. 172(6-7): 685-715 (2008) - 2006
- [j8]Daniel Bryce, Subbarao Kambhampati, David E. Smith:
Planning Graph Heuristics for Belief Space Search. J. Artif. Intell. Res. 26: 35-99 (2006) - [c20]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: 114- - [c19]Daniel Bryce, Subbarao Kambhampati, David E. Smith:
Sequential Monte Carlo in Probabilistic Planning Reachability Heuristics. ICAPS 2006: 233-242 - 2005
- [c18]David Joslin, Jeremy Frank, Ari K. Jónsson, David E. Smith:
Simulation-based planning for planetary rover experiments. WSC 2005: 1049-1058 - 2004
- [c17]David E. Smith:
Choosing Objectives in Over-Subscription Planning. ICAPS 2004: 393-401 - 2003
- [j7]David E. Smith:
The Case for Durative Actions: A Commentary on PDDL2.1. J. Artif. Intell. Res. 20: 149-154 (2003) - [c16]Nicolas Meuleau, David E. Smith:
Optimal Limited Contingency Planning. UAI 2003: 417-426 - 2002
- [c15]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: 91-97 - [c14]James Kurien, P. Pandurang Nayak, David E. Smith:
Fragment-based Conformant Planning. AIPS 2002: 153-162 - [c13]David E. Smith, Ari K. Jónsson:
The Logic of Reachability. AIPS 2002: 253-262 - [c12]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: 77-84 - 2000
- [j6]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): 13-33 (2000)
1990 – 1999
- 1999
- [c11]David E. Smith, Daniel S. Weld:
Temporal Planning with Mutual Exclusion Reasoning. IJCAI 1999: 326-337 - 1998
- [c10]David E. Smith, Daniel S. Weld:
Conformant Graphplan. AAAI/IAAI 1998: 889-896 - [c9]Daniel S. Weld, Corin R. Anderson, David E. Smith:
Extending Graphplan to Handle Uncertainty & Sensing Actions. AAAI/IAAI 1998: 897-904 - [c8]Corin R. Anderson, David E. Smith, Daniel S. Weld:
Conditional Effects in Graphplan. AIPS 1998: 44-53 - 1996
- [c7]David E. Smith, Mark A. Peot:
Suspending Recursion in Causal-Link Planning. AIPS 1996: 182-190 - 1993
- [c6]Mark A. Peot, David E. Smith:
Threat-Removal Strategies for Partial-Order Planning. AAAI 1993: 492-499 - [c5]David E. Smith, Mark A. Peot:
Postponing Threats in Partial-Order Planning. AAAI 1993: 500-506
1980 – 1989
- 1989
- [j5]David E. Smith:
Controlling Backward Inference. Artif. Intell. 39(2): 145-208 (1989) - 1988
- [j4]Matthew L. Ginsberg, David E. Smith:
Reasoning About Action I: A Possible Worlds Approach. Artif. Intell. 35(2): 165-195 (1988) - [j3]Matthew L. Ginsberg, David E. Smith:
Reasoning About Action II: The Qualification Problem. Artif. Intell. 35(3): 311-342 (1988) - [c4]Karen L. Myers, David E. Smith:
The Persistence of Derived Information. AAAI 1988: 496-500 - 1987
- [c3]Matthew L. Ginsberg, David E. Smith:
Possible Worlds and the Qualification Problem. AAAI 1987: 212-217 - 1986
- [j2]David E. Smith, Michael R. Genesereth, Matthew L. Ginsberg:
Controlling Recursive Inference. Artif. Intell. 30(3): 343-389 (1986) - 1985
- [b1]David E. Smith:
Controlling inference. Stanford University, USA, 1985 - [j1]David E. Smith, Michael R. Genesereth:
Ordering Conjunctive Queries. Artif. Intell. 26(2): 171-215 (1985) - 1983
- [c2]David E. Smith:
Finding All of the Solutions to a Problem. AAAI 1983: 373-377 - 1980
- [c1]David E. Smith, Jan E. Clayton:
A Frame-Based Production System Architecture. AAAI 1980: 154-156
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-20 23:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint