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, 2019An Odyssey Through Temporal Planning
David Smith
lecture on Temporal Planning
3rdSummer School on Cognitive Robotics, Los Angeles, CA, July 2019Explicability? 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, 2019Design 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, 2019Towards 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, 2019The 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, 2018Extracting 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.004What's Hot in AI Planning
David Smith, Jeremy Frank & Mausam
invited presentation
32nd AAAI Conference on Artificial Intelligence (AAAI-18), New Orleans, LA, Feb. 2018Strong 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, 2017CHAP-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. 2017CHAP-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. 2017Incremental 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 preprintGoal 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_22Effects 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_11Delete-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-1698Delete-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 2016Planning 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 2016Interview 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-yEngineering 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, ArgentinaA 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, ArgentinaPractical 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, ArgentinaEvaluation 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.853A 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, 2015Planning 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, 2015Planning 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.12037Intelligent 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 ConferenceA 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 presentationPlanning as an Iterative Process
David Smith
26th AAAI Conference on Artificial Intelligence (AAAI-12)
invited presentationEUROPA: 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 2011Finding 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, CanadaA 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, CanadaTranslating 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.018Describes the use of Monte Carlo techniques for estimating cost in probabilistic planning.
2007
Planning Formalisms Commentary
David Smith
ICAPS-07 Planning Formalisms Session CommentaryA 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 TutorialA 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, ChallengesDescribes 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 FutureDescribes 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 WorldDescribes 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 proceedingsDescribes 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 planningPlanning 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.1869Develops 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 BeforeDescribes 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 ConferenceOversubscription planning by searching in the space of plan strategiesMission 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 ConferenceDescribes methods for planning and target tracking for rover insrument placementMultiple-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, 2004Describes a compact encoding of plan graphs for multiple possible worlds in a single labelled plan graphChoosing 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 20The Case for Durative Actions: a commentary on PDDL2.1
David Smith
Journal of Artificial Intelligence Research 20
DOI: 10.1613/jair.1997Critique of condition/effect restrictions for durative actions in PDDL2.1The Next Challenges for AI Planning
David Smith
Lecture given at the Planet International Summer School, Madonna di Campiglio, Italy, June 2003Presentation of six technical challenges for AI planning, motivated by NASA planning problemsOptimal Limited Contingency Planning
Nicolas Meuleau & David Smith
UAI-03 & ICAPS-03 Workshop on Planning under UncertaintyDescribes 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
presentationOutlines 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, ItalyDescribes 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), JapanDescription 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 2002Outlines 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
presentationA 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
presentationFormalization 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
presentationDescribes 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, 2001Description 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 2001An 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 2000A 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/S0269888900001089A 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, 1999Develops 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, 1999Description 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, COOverview 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, 1998Technical 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, 1998Overview 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, 1998Describes 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, 1998Describes 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 1998Describes 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, 1996Presents 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, 1996Description 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, 1995Describes 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, 1994Final 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 PeotUnpublished 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., 1993Compares 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., 1993Describes 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-2Shows 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), 1992Description 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-3Reasoning 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, 1987The Persistence of Derived Information
Karen Myers & David Smith
Seventh National Conference on Artificial Intelligence (AAAI-88), pages 496-500, St. Paul, MN, Aug. 1988A 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 1987Effects 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