Online Publications and Talks


2020

Designing Environments Conducive to Interpretable Robot Behavior
Anagha Kulkarni, Sarath Sreedharan, Sara Keren, Tathagata Chakraborti, David Smith & Subbarao Kambhampati
International Conference on Intelligent Robots and Systems (IROS-20) Las Vegas, NV, Oct., 2020

2019

Why Can't You Do That HAL? Explaining Unsolvability of Planning Tasks
Sarath Sreedharan, Siddharth Srivastava, David Smith & Subbarao Kambhampati
To appear in 28th International Joint Conference on Artificial Intelligence (IJCAI-19) Macao, China, August, 2019

An Odyssey Through Temporal Planning
David Smith
lecture on Temporal Planning
3rdSummer School on Cognitive Robotics, Los Angeles, CA, July 2019

Explicability? Legibility? Predictability? Transparency? Privacy? Security? The Emerging Landscape of Interpretable Agent Behavior
Tathagata Chakraborti, Anagha Kulkarni, Sarath Sreedharan, David Smith & Subbarao Kambhampati
29th International Conference on Automated Planning & Scheduling (ICAPS-19) Berkeley, CA, July, 2019

Why Can't You Do That HAL? Explaining Unsolvability of Planning Tasks
Sarath Sreedharan, Siddharth Srivastava, David Smith & Subbarao Kambhampati
ICAPS-19 Workshop on Explainable AI Planning (XAIP) Berkeley, CA, July, 2019

Design for Interpretability
Anagha Kulkarni, Sarath Sreedharan, Sara Keren, Tathagata Chakraborti, Subbarao Kambhampati & David Smith
ICAPS-19 Workshop on Explainable AI Planning (XAIP) Berkeley, CA, July, 2019

Towards Explainable Planning as a Service
Michael Cashmore, Anna Collins, Ben Krarup, Senka Krevic, Daniele Magazzeni & David Smith
ICAPS-19 Workshop on Explainable AI Planning (XAIP) Berkeley, CA, July, 2019

The Zoo of Interpretable Behavior
David Smith, Tathagata Chakraborti, Anagha Kulkarni, Sarath Sreedharan & Subbarao Kambhampati
invited presentation on the topic of the ICAPS paper above
AAAI-19 Workshop on Plan, Activity and Intent Recognition (PAIR 2019), Honolulu, HI, Jan. 2019

2018

CHAP-E: A Plan Execution Assistant for Pilots
J. Benton, David Smith, John Kaneshige, Leslie Keely & Thomas Stucky
28th International Conference on Automated Planning & Scheduling (ICAPS-18) Delft, Netherlands, June, 2018

Extracting Mutual Exclusion Invariants from Lifted Temporal Planning Domains
Sara Bernardini, Fabio Fagnani & David Smith
Artificial Intelligence 258, pages 1-65, Elsevier, May, 2018
DOI: 10.1016/j.artint.2018.01.004

What's Hot in AI Planning
David Smith, Jeremy Frank & Mausam
invited presentation
32nd AAAI Conference on Artificial Intelligence (AAAI-18), New Orleans, LA, Feb. 2018

Strong Temporal Planning with Uncontrollable Durations
Alessandro Cimatti, Minh Do, Andrea Micheli, Marco Roveri & David Smith
Artificial Intelligence 256, pages 1-34, Elsevier, March 2018
DOI: 10.1016/j.artint.2017.11.006
Downloadable preprint

2017

Fast Optimization for Aircraft Descent and Approach Trajectory
Dmitry Luchinskiy, Stefan Schuet, J. Benton, Dogan Timucin, David Smith & John Kaneshige
Annual Conference of the Prognostics and Health Management Society (PHM17), St. Petersburg, FL, Oct, 2017

CHAP-E: A Plan Execution Assistant for Pilots
J Benton, David Smith, John Kaneshige & Leslie Keely
ICAPS-17 Workshop on User Interfaces and Scheduling and Planning (UISP), Pittsburgh, PA, Jun. 2017

CHAP-E Demo: Monitoring Pilot Activities in the Cockpit
J Benton, David Smith, John Kaneshige, Leslie Keely & Thomas Stucky
ICAPS-17 Demonstration Session, Pittsburgh, PA, Jun. 2017

Incremental Contingency Planning for Recovering from Critical Outcomes in High-probability Seed Plans
Yolanda E-Martín, María R-Moreno & David Smith
Progress in Artificial Intelligence, Springer, Apr. 2017
DOI: 10.1007/s13748-017-0125-5
Downloadable preprint

Goal Recognition with Noisy Observations
Yolanda E-Martín & David Smith
AAAI-17 Workshop on Plan, Activity and Intent Recognition (PAIR 2017), San Francisco, CA, Feb. 2017

2016

Incremental Contingency Planning for Recovering from Uncertain Outcomes
Yolanda E-Martín, María R-Moreno & David Smith
17th Conference of the Spanish Association for AI (CAEPIA 2016), Salamanca, Spain, Sept. 2016
Lecture Notes in AI 9868, pages 237-247, Springer
DOI: 10.1007/978-3-319-44636-3_22

Effects of Transparency on Pilot Trust and Agreement in the Autonomous Constrained Flight Planner
Garrett Sadler, Henri Battiste, Nhut Ho, Lauren Hoffman, Joseph Lyons, Walter Johnson, Robert Shively & David Smith
IEEE/AIAA 35th Digital Avionics Systems Conference (DASC 2016), pages 470-478, Sacramento CA, Sept. 2016.
*Best Paper in Session Award*

Shaping Trust Through Transparent Design: Theoretical and Experimental Guidelines
Joseph Lyons, Garrett Sadler, Kolina Koltai, Henri Battiste, Nhut Ho, Lauren Hoffman, David Smith, Walter Johnson & Robert Shively
7th International Conference on Applied Human Factors and Ergonomics (AHFE 2016), pages 127-136, Orlando FL, July 2016
DOI: 10.1007/978-3-319-41959-6_11

Delete-free Reachability Analysis for Temporal and Hierarchical Planning (short version)
Arthur Bit-Monnot, David Smith & Minh Do
European Conference on Artificial Intelligence (ECAI 2016), The Hague, Netherlands, Aug. 2016
Frontiers in Artificial Intelligence and Applications, Vol 285, pages 1698-1699
DOI: 10.3233/978-1-61499-672-9-1698

Delete-free Reachability Analysis for Temporal and Hierarchical Planning (long version)
Arthur Bit-Monnot, David Smith & Minh Do
ICAPS-16 Workshop on Heuristics and Search for Domain Independent Planning (HSDIP), pages 93-101, London UK, June 2016

Planning with Resource Conflicts in Human-Robot Cohabitation
Tathagata Chakraborti, Yu Zhang, David Smith & Subbarao Kambhampati
International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016), Singapore, May 2016

Interview with David E. Smith
Pascal Bercher & Daniel Höller
Künstliche Intelligenz: Special Issue on Companion Technologies, 30:1, pages 101-105, Feb. 2016
DOI: 10.1007/s13218-015-0403-y

Engineering Trust in Complex Automated Systems
Joseph Lyons, Kolina Koltai, Nhut Ho, Walter Johnson, David Smith & Robert Shively
Ergonomics in Design: The Quarterly of Human Factors Applications, 24:1, pages 13-17, Jan. 2016
DOI: 10.1177/1064804615611272

2015

Planning for Serendipity
Tathagata Chakraborti, Gordon Briggs, Kartik Talamadupula, Yu Zhang, Matthias Scheutz, David Smith & Subbarao Kambhampati
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2015)

Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations
Andrea Micheli, Minh Do & David Smith
Twenty Fourth International Joint Conference on Artificial Intelligence (IJCAI-15), Buenos Aires, Argentina

A Fast Goal Recognition Technique Based on Interaction Estimates
Yolanda E-Martín, María R-Moreno & David Smith
Twenty Fourth International Joint Conference on Artificial Intelligence (IJCAI-15), Buenos Aires, Argentina

Practical Goal Recognition for ISS Crew Activities
Yolanda E-Martín, María R-Moreno & David Smith
9th International Workshop on Planning and Scheduling for Space (IWPSS-15), Buenos Aires, Argentina

Evaluation of a Recommender System for Single Pilot Operations
Arik-Quang Dao, Kolina Koltai, Samantha Cals, Summer Brandt, Joel Lachter, Michael Matessa, David Smith, Vernol Battiste & Walter Johnson
6th International Conference on Applied Human Factors and Ergonomics (AHFE 2015)
Procedia Manufacturing 3, pages 3070-3077
DOI: 10.1016/j.promfg.2015.07.853

A Heuristic Estimator based on Cost Interaction
Yolanda E-Martín, María R-Moreno & David Smith
ICAPS-15 Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP 2015), pages 29-37, Jerusalem, Israel, June, 2015

Planning for Serendipity – Altruism in Human-Robot Cohabitation
Tathagata Chakraborti, Gordon Briggs, Kartik Talamadupula, Yu Zhang, Matthias Scheutz, David Smith & Subbarao Kambhampati
ICAPS-15 Workshop on Planning and Robotics (PlanRob 2015), Jerusalem, Israel, June, 2015

Planning with Stochastic Resource Profiles: An Application to Human-Robot Co-habitation
Tathagata Chakraborti, Yu Zhang, David Smith & Subbarao Kambhampati
ICAPS-15 Workshop on Planning and Robotics (PlanRob 2015), Jerusalem, Israel, June, 2015

2014

Progressive Heuristic Search for Probabilistic Planning based on Interaction Estimates
Yolanda E-Martín, María R-Moreno & David Smith
Expert Systems 31:5, pages 421-436
DOI: 10.1111/exsy.12037

Intelligent UAS Sense-and-Avoid Utilizing Global Constraints
Javier Barreiro, Minh Do & David Smith
ICAPS-14 Scheduling and Planning Applications Workshop (SPARK)

2013

A Visual Integrated Development Environment for Automated Planning Domain Models
James Ong, Emelio Remolina, David Smith & Mark Boddy
AIAA Space 2013 Conference

A Theory of Intra-Agent Replanning
Kartik Talamadupula, David Smith, William Cushing & Subbarao Kambhampati
ICAPS-13 Workshop on Distributed and Multi-Agent Planning (DMAP)

2012

Progressive Planning
David Smith
1st Advances in Cognitive Systems Conference (ACS-12), Palo Alto, CA, Dec. 2012
invited presentation

Planning as an Iterative Process
David Smith
26th AAAI Conference on Artificial Intelligence (AAAI-12)
invited presentation

EUROPA: A Platform for AI Planning, Scheduling, Constraint Programming, and Optimization
Javier Barreiro, Matthew Boyce, Minh Do, Jeremy Franky, Michael Iatauro, Tatiana Kichkayloz, Paul Morris, James Ong, Emilio Remolina, Tristan Smith, David Smith & Tristan Smith
ICAPS-12 International Competition on Knowledge Engineering for Planning and Scheduling (ICKEPS), Atibaia, Sao Paulo, Brazil, June 2012

2011

Automatic Synthesis of Temporal Invariants
Sara Bernardini & David Smith
9th Symposium on Abstraction, Reformulation, and Approximation (SARA)

The Emergency Landing Planner Experiment
Nicolas Meuleau, Christian Neukom, Christian Plaunt, David Smith & Tristan Smith
ICAPS-11 Scheduling and Planning Applications Workshop (SPARK), pages 60-67, Freiburg, Germany, June 2011

Finding Mutual Exclusion Invariants in Temporal Planning Domains
Sara Bernardini & David Smith
7th International Workshop on Planning and Scheduling for Space (IWPSS)

Using a Plan Graph with Interaction Estimates for Probabilistic Planning
Yolanda E-Martín, María R-Moreno & David Smith
Thirty-first SGAI International Conference on Artificial Intelligence (SGAI-11), Cambridge, UK, Dec. 2011

2010

Thinking Outside the "Box"
David Smith
ICAPS-10 Panel on The Present and Future(s) of Planning, Toronto, Canada

A POMDP for Optimal Motion Planning with Uncertain Dynamics
Nicolas Meuleau, Christian Plaunt, David Smith, & Tristan Smith
ICAPS-10 POMDP Practitioners Workshop: solving real-world POMDP problems, Toronto, Canada

Translating PDDL into NDDL
David Smith & Sara Bernardini
Presentation given at NASA ARC

2009

A Comparison of Risk Sensitive Path Planning Methods for Aircraft Emergency Landing
Nicolas Meuleau, Christian Plaunt, David Smith & Tristan Smith
ICAPS-09 Workshop on Bridging the Gap Between Task and Motion Planning (BTAMP)

Towards Search Control via Dependency Graphs in Europa2
Sara Bernardini & David Smith
ICAPS-09 Workshop on Heuristics for Domain-Independent Planning (HDIP-09)

An Emergency Landing Planner for Damaged Aircraft
Nicolas Meuleau, Christian Plaunt, David Smith & Tristan Smith
Twenty-First Conference on Innovative Applications of Artificial Intelligence (IAAI-09), pages 114-121

2008

Emergency Landing Planning for Damaged Aircraft
Nicolas Meuleau, Christian Plaunt & David Smith
ICAPS-08 Scheduling and Planning Applications Workshop (SPARK)

ATHLETE's Feet: Multi-Resolution Planning for a Hexapod Robot
Tristan Smith, Javier Barreiro, David Smith, Vytas SunSpiral & Daniel Chavez-Clemente
ICAPS-08 Scheduling and Planning Applications Workshop (SPARK)

Translating PDDL2.2. into a Constraint-based Variable/Value Language
Sara Bernardini & David Smith
ICAPS-08 Workshop on Knowledge Engineering for Planning and Scheduling (KEPS)

The ANML Language
David Smith, Jeremy Frank & William Cushing
ICAPS-08 Workshop on Knowledge Engineering for Planning and Scheduling (KEPS)

Automatically Generated Heuristic Guidance for Europa2
Sara Bernardini & David Smith
9th International Symposium on AI, Robotics, and Automation in Space (iSAIRAS-08)

Describes methods for incorporating domain-independent search control into the Europa2 planning system developed and used at NASA ARC.

Sequential Monte Carlo in Reachability Heuristics for Probabilistic Planning
Daniel Bryce, Subbarao Kambhampati & David Smith
Artificial Intelligence 172:6–7, pages 685-715, April, 2008
DOI: 10.1016/j.artint.2007.10.018

Describes the use of Monte Carlo techniques for estimating cost in probabilistic planning.

2007

Planning Formalisms Commentary
David Smith
ICAPS-07 Planning Formalisms Session Commentary

A graphical depiction of some of the different translations that have been done between different planning formalisms.

Probabilistic Temporal Planning
Mausam, David Smith & Sylvie Thiébaux
ICAPS-07 Tutorial

A survey of recent techniques and results for dealing with concurrency and time in probabilistic planning.

Developing Domain-Independent Search Control for Europa2
Sara Bernardini & David Smith
ICAPS-07 Workshop on Heuristics for Domain-independent Planning: Progress, Ideas, Limitations, Challenges

Describes methods for incorporating domain-independent search control into the Europa2 planning system developed and used at NASA ARC.

The Perils of Discrete Resource Models
William Cushing & David Smith
ICAPS-07 Workshop on International Planning Competition: Past, Present and Future

Describes difficulties and methods for modeling resource usage as discrete change.

Preventing Unrecoverable Failures through Precautionary Planning
Janae Foss, Nilufer Onder & David Smith
ICAPS-07 Workshop on Moving Planning and Scheduling Systems into the Real World

Describes a method for doing incremental contingency planning in the context of replanning.

Special Track on the 4th International Planning Competition
Maria Fox & David Smith (Eds)
Journal of Artificial Intelligence Research 24-28, 2005-2007

2006

Using Interaction to Compute Better Probability Estimates in Plan Graphs
Daniel Bryce & David Smith
ICAPS-06 Workshop on Planning Under Uncertainty and Execution Control for Autonomous Systems
Revised version - older version printed in proceedings

Describes method for keeping track of interaction and synergy between propositions in a Plan Graph to get better heuristic probability estimates.

Sequential Monte Carlo for Probabilistic Planning Reachability Heuristics
Daniel Bryce, Subbarao Kambhampati & David Smith
16th International Conference on Automated Planning & Scheduling (ICAPS-06)

Describes a Plan Graph heuristic method using Monte Carlo Simulation to guide search in probabilistic planning

Planning Graph Heuristics for Belief Space Search
Daniel Bryce, Subbarao Kambhampati & David Smith
Journal of Artificial Intelligence Research 26, pages 35-99
DOI: 10.1613/jair.1869

Develops and investigates heuristics for guiding belief space search using a Labelled Uncertainty Graph.

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

Describes field demonstration of interactive commanding, planning and execution of tasks for human-robotic exploration

2005

Simulation-Based Planning for Planetary Rover Experiments
David Joslin, Jeremy Frank, Ari Jónsson, David Smith
2005 Winter Simulation Conference

Oversubscription planning by searching in the space of plan strategies

Mission Planning and Target Tracking for Autonomous Instrument Placement
Liam Pedersen, David Smith, Matthew Dean, Randy Sargent, Clay Kunz, David Lees & Srikanth Rajagopalan
2005 IEEE Aerospace Conference

Describes methods for planning and target tracking for rover insrument placement

Multiple-Target Single Cycle Instrument Placement
Liam Pedersen, Matthew Deans, David Lees, Srikanth Rajagopalan & David Smith
Eighth International Symposium on AI, Robotics, and Automation in Space (iSAIRAS-05), Munich, Sept, 2005.

Description of an integrated rover demonstration.

2004

Planning in Belief Space with a Labelled Uncertainty Graph
Daniel Bryce, Subbarao Kambhampati, & David Smith
AAAI-04 Workshop on Learning and Planning in Markov Processes -- Advances and Challenges, 2004

Describes a compact encoding of plan graphs for multiple possible worlds in a single labelled plan graph

Choosing Objectives in Over-Subscription Planning
David Smith
14th International Conference on Automated Planning & Scheduling (ICAPS-04)
*ICAPS 2014 Influential Paper Award, Honorable Mention*

Describes a method for generating and solving an Orienteering Problem to choose the subset of goals for an oversubscription problem

2003

Special Track on the 3rd International Planning Competition
David Smith (Ed)
Journal of Artificial Intelligence Research 20

The Case for Durative Actions: a commentary on PDDL2.1
David Smith
Journal of Artificial Intelligence Research 20
DOI: 10.1613/jair.1997

Critique of condition/effect restrictions for durative actions in PDDL2.1

The Next Challenges for AI Planning
David Smith
Lecture given at the Planet International Summer School, Madonna di Campiglio, Italy, June 2003

Presentation of six technical challenges for AI planning, motivated by NASA planning problems

Optimal Limited Contingency Planning
Nicolas Meuleau & David Smith
UAI-03 & ICAPS-03 Workshop on Planning under Uncertainty

Describes a layered POMDP approach to producing optimal plans having a limited number of conditional branches.

Incremental Contingency Planning
Richard Dearden, Nicolas Meuleau, Sailesh Ramakrishnan, David Smith & Richard Washington
ICAPS-03 Workshop on Planning under Uncertainty, Trento, Italy
presentation

Outlines an approach to contingency planning with uncertainty in action duration and continuous resources.

Interleaved Observation Execution and Rescheduling on Earth Observing Systems
Lina Khatib, Jeremy Frank, Robert Morris, David Smith & Jennifer Dungan
ICAPS-03 Workshop on Plan Execution, Trento, Italy

Describes an incremental approach to onboard rescheduling of satellite observations.

Integrated Demonstration of Instrument Placement, Robust Execution and Contingency Planning
Liam Pedersen, Maria Bualat, David Lees, David Smith & Richard Washington
Seventh International Symposium on AI, Robotics, and Automation in Space (iSAIRAS-03), Japan

Description of an integrated rover demonstration.

2002

Contingency Planning for Planetary Rovers
Richard Dearden, Nicolas Meuleau, Sailesh Ramakrishnan, David Smith & Richard Washington
Third International NASA Workshop on Planning & Scheduling for Space, Houston, Texas, October 2002

Outlines an approach to contingency planning with uncertainty in action duration and continuous resources.

Planning Under Continuous Time and Resource Uncertainty: A Challenge for AI
John Bresina, Richard Dearden, Nicolas Meuleau, Sailesh Ramakrishnan, David Smith & Richard Washington
UAI-02, Edmonton, Alberta
presentation

A challenge paper describing planning problems with uncertainty in action duration and continuous resources .

The Logic of Reachability
David Smith & Ari Jónsson
Sixth International Conference on AI Planning and Scheduling (AIPS-02), Toulouse, France, April 2002
presentation

Formalization and extension of the notions of reachability and mutual exclusion to actions where preconditions and effects can hold over arbitrary intervals, and exogenous events can occur.

Fragment-based Conformant Planning
James Kurien, Pandurang Nayak & David Smith
Sixth International Conference on AI Planning and Scheduling (AIPS-02), Toulouse, France, April 2002
presentation

Describes an incremental method of conformant planning that finds plans in one possible world and tries to extend them to work in subsequent possible worlds.

Advances in Planning and Scheduling of Remote Sensing Instruments for Fleets of Earth Orbiting Satellites
Jennifer Dungan, Jeremy Frank, Ari Jónsson & David Smith
NASA Earth Science Technology Conferene (ESTC), Pasadena, CA, June 2002

2001

Planning and Scheduling for Fleets of Earth Observing Satellites
Jeremy Frank, Ari Jónsson, Robert Morris & David Smith
Sixth International Symposium on AI, Robotics, and Automation in Space (iSAIRAS-01), June, 2001

Description of system for scheduling observations on fleets of satellites.

The Prospects for Real Planning
David Smith
Invited talk at DX01: Twelfth International Workshop on Principles of Diagnosis, Sansicario, Via Lattea, Italy, March 2001

An introduction to some of the important advances made in "Classical Planning" in the last few years. A written version of much of this material can be found in the paper Bridging the Gap Between Planning and Scheduling, listed below.

2000

Coping with Time and Continuous Quantities
David Smith
Invited talk at Fifth International Conference on AI Planning and Scheduling (AIPS-00), Breckenridge, Colorado, April 2000

A critical overview of generative planning techniques for dealing with continuous time and resources. A written version of the material for this talk can be found in Section 4 of the paper Bridging the Gap Between Planning and Scheduling, listed below.

Bridging the Gap Between Planning and Scheduling
David Smith, Jeremy Frank & Ari Jónsson
The Knowledge Engineering Review 15:1, pages 47-83, Mar. 2000
DOI: 10.1017/S0269888900001089

A critical overview of AI planning and scheduling techniques from a spacecraft applications point of view.

The AIPS-98 Planning Competition
Derek Long (Ed), Henry Kautz, Bart Selman, Blai Bonet, Hector Geffner, Jana Kohler, Michael Brenner, Joerg Hoffman, Frank Rittinger, Corin Anderson, Daniel Weld, David Smith, Maria Fox & Derek Long
AI Magazine 21:2, 2000
DOI: 10.1609/aimag.v21i2.1505

1999

Temporal Planning with Mutual Exclusion Reasoning
David Smith & Daniel Weld
Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99), Stockholm, Sweden, 1999

Develops a Graphplan style algorithm that works for actions with arbitrary duration.

Increased Flexibility and Robustness of Mars Rovers
John Bresina, Keith Golden, David Smith & Richard Washington
Fifth International Symposium on AI, Robotics, and Automation in Space (iSAIRAS-99), June, 1999

Description of the Contingent Rover Language (CRL), ground tools, and on-board executive developed and used for a Feb 99 Marsokhod rover field test.

Autonomous Rovers for Mars Exploration
Richard Washington, John Bresina, Keith Golden, David Smith, Corin Anderson & Tristan Smith,
1999 IEEE Aerospace Conference, Aspen, CO

Overview and advocacy of an architecture for increasing the autonomy of future Mars rovers.

1998

Incremental Graphplan
David Smith & Daniel Weld
Technical Report UW-CSE-98-09-06, Dept. of Computer Science and Engineering, University of Washington, 1998

Technical note that describes a more compact way of building a plan graph. This incremental method avoids a great deal of duplicated work during graph expansion.

Autonomous Rovers for Human Exploration of Mars
John Bresina, Gregory Dorais, Keith Golden, David Smith & Richard Washington
Mars Society Founding Convention, Boulder, CO, 1998

Overview and advocacy of an architecture for increasing the autonomy of future Mars rovers.

Extending Graphplan to Handle Uncertainty & Sensing Actions
Daniel Weld, Corin Anderson & David Smith
Sixteenth National Conference on Artificial Intelligence (AAAI-98), Madison, WI, 1998

Describes a possible worlds approach to incorporating sensory actions and contingency branches into the Graphplan framework. We recommend you read the Conformant Graphplan paper first.

Conformant Graphplan
David Smith & Daniel Weld
Sixteenth National Conference on Artificial Intelligence (AAAI-98), Madison, WI, 1998

Describes a possible worlds approach to doing conformant or "fail-safe" planning in the Graphplan framework.

Conditional Effects in Graphplan
Corin Anderson, David Smith & Daniel Weld
Fourth International Conference on AI Planning Systems (AIPS-98), Pittsburgh, PA, June 1998

Describes a way of treating conditional effects and quantification (ADL operators) in Graphplan.

1996

Suspending Recursion in Causal-link Planning
David Smith & Mark Peot
Third International Conference on AI Planning Systems (AIPS-96), Edinburgh, Scotland, 1996

Presents a strategy for suspending and pruning recursive open conditions during POCL planning.

Constraint Management Methodology for Conceptual Design Tradeoff Studies
Sudhaker Reddy, Kenneth Fertig & David Smith
1996 ASME Design Engineering Technical Conferences and Computers in Engineering Conference, Irvine, California, 1996

Description of Design Sheet and use of the system for performing tradeoff studies on a thermal imaging performance model developed for the DARPA MADE program.

1995

Representation and Evaluation of Plans with Loops
David Smith & Michael Williamson
Working Notes of the AAAI Spring Symposium on Extended Theories of Action: Formal Theory and Practical Applications, Stanford, CA, 1995

Describes a hybrid AI/Markov chain approach to evaluating the expected cost and probability of success for plans with conditional branches and loops.

1994

Decision-Theory for Crisis Management
Moisés Goldszmidt, Adnan Darwiche, Tom Chávez, David Smith & James White
Technical Report RL-TR-94-235, Rome Laboratory, 1994

Final report for Rockwell's phase 1 ARPA planning initiaive contract. Contains brief descriptions of a variety of work. My part contains brief descriptions of 1) conditional partial-order planning, 2) use of operator graphs to determine operator relevance, 3) a variable analysis technique for operator graphs, 4) a least comittment open condition ordering technique, 5) recursion analysis techniques, 6) threat postponement analysis, 7) threat resolution strategies, and 8) an operator graph mechanism for partial plan evaluation.

1993

A Note on the DMIN Strategy
David Smith & Mark Peot

Unpublished addendum to the paper Threat Removal Strategies for Partial-Order Planning. Describes an additional delay strategy reported in the talk at AAAI 93.

Threat-Removal Strategies for Partial-Order Planning
Mark Peot & David Smith
Eleventh National Conference on Artificial Intelligence (AAAI-93), Washington D.C., 1993

Compares several different strategies for when to resolve threats in partial-order planning. Describes a strategy DSEP that provably dominates the strategy used in SNLP.

Postponing Threats in Partial-Order Planning
David Smith & Mark Peot
Eleventh National Conference on Artificial Intelligence (AAAI-93), Washington D.C., 1993

Describes a method for analyzing the operators, goal and initial conditions for a planning problem to determine which threats can be ignored during the planning process. An abbreviated version of this paper appeared in the AAAI Spring Symposium on the Foundations of Automated Planning: The Classical Approach and Beyond, Stanford, CA 1993.

1992

Conditional Nonlinear Planning
Mark Peot & David Smith
First International Conference on AI Planning Systems (AIPS-92), College Park, Maryland, 1992
DOI: 10.1016/B978-0-08-049944-4.50027-6
*ICAPS 2007 Influential Paper Award*

Introduces and explains an algorithm for conditional partial-order planning.

A Critical Look at Knoblock's Hierarchy Mechanism
David Smith & Mark Peot
First International Conference on AI Planning Systems (AIPS-92), College Park, Maryland, 1992
DOI: 10.1016/B978-0-08-049944-4.50056-2

Shows examples and explains why Knoblocks hierarchy mechanism can produce arbitrarily poor open condition orderings.

Design Sheet: An Environment for Facilitating Flexible Trade Studies during Conceptual Design
Michael Buckley, Kenneth Fertig & David Smith,
1992 Aerospace Design Conference, American Institute of Aeronautics and Astronautics (AIAA), 1992

Description of Design Sheet and the basic graph algorithms it uses to: 1) recognize when variables are determined, 2) decide what simultaneous systems of equations must be solved, and 3) determine the best iteration variables for numerical solution of simultaneous systems of nonlinear equations.

1989

Controlling Backward Inference
David Smith
Artificial Intelligence 39:2, pages 145-208, June 1989
DOI: 10.1016/0004-3702(89)90025-8

1988

Reasoning about Action II: the Qualification Problem
Matthew Ginsberg & David Smith
Artificial Intelligence 35:3, pages 311–342, 1988
DOI: 10.1016/0004-3702(88)90020-3

Reasoning about Action I: a Possible Worlds Approach
Matthew Ginsberg & David Smith
Artificial Intelligence 35:2, pages 165–195, 1988
DOI: 10.1016/0004-3702(88)90011-2
Reprinted in Readings in Nonmonotonic Reasoning, pages 433-463, Morgan Kaufmann, 1987

The Persistence of Derived Information
Karen Myers & David Smith
Seventh National Conference on Artificial Intelligence (AAAI-88), pages 496-500, St. Paul, MN, Aug. 1988

A Decision Theoretic Approach to the Control of Planning Search
David Smith
Technical Report LOGIC-87-11, Stanford Department of Computer Science, Jan. 1988

1987

Possible Worlds and the Qualification Problem
Matthew Ginsberg & David Smith
Sixth National Conference on Artificial Intelligence (AAAI-87), pages 212-217, Seattle, WA, July 1987

Effects of Inference Direction on the Optimal Ordering of a Rule's Premises
Richard Treitel & David Smith
Technical Report LOGIC-87-12, Stanford Department of Computer Science, Sept. 1987

1986

Controlling Recursive Inference
David Smith, Michael Genesereth & Matthew Ginsberg
Artificial Intelligence 30:3, pages 343-389, 1986
DOI: 10.1016/0004-3702(86)90003-2

1985

Ordering Conjunctive Queries
David Smith & Michael Genesereth
Artificial Intelligence 26:2, pages 171-215, 1985
DOI: 10.1016/0004-3702(85)90028-1

1983

Finding all the Solutions to a Problem
David Smith
Third National Conference on Artificial Intelligence (AAAI-83), pages 373-377, Washington DC, Aug. 1983