NASA Logo, National Aeronautics and Space Administration


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

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
35th Digital Avionics Systems Conference (DASC 2016), Sacramento CA, Sept. 2016

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
Arthur Bit-Monnot, David Smith & Minh Do
ICAPS-16 Workshop on Heuristic Search for Domain Independent Planning (HSDIP), London UK, June 2016
A shorter version appears in ECAI-16, Aug. 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 Heuristic Search for Domain-Independent Planning (HSDIP 2015), Jerusalem, Israel

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

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

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

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

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)

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

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

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 Innovative Applications of Artificia Intelligence Conference (IAAI-09)

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 Poster Session

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)

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.  Updated version of "Contingency Planning for Planetary Rovers".

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.

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

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

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


First Gov logo
NASA Logo - nasa.gov