David E. Smith - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 54 from 54

2021

A Unifying Bayesian Formulation of Measures of Interpretability in Human-AI InteractionSarath Sreedharan, Anagha Kulkarni 0002, David E. Smith, Subbarao Kambhampati. IJCAI 2021: 4602-4610 [doi]

2018

Extracting mutual exclusion invariants from lifted temporal planning domainsSara Bernardini, Fabio Fagnani, David E. Smith. ai, 258:1-65, 2018. [doi]

Strong temporal planning with uncontrollable durationsAlessandro Cimatti, Minh Do, Andrea Micheli, Marco Roveri, David E. Smith. ai, 256:1-34, 2018. [doi]

2017

Goal Recognition with Noisy ObservationsYolanda E.-Martín, David E. Smith. AAAI 2017: [doi]

Incremental contingency planning for recovering from critical outcomes in high-probability seed plansYolanda E.-Martín, María D. R.-Moreno, David E. Smith. pai, 6(4):299-314, 2017. [doi]

2016

Delete-Free Reachability Analysis for Temporal and Hierarchical PlanningArthur Bit-Monnot, David E. Smith, Minh Do. ecai 2016: 1698-1699 [doi]

Planning with Resource Conflicts in Human-Robot CohabitationTathagata Chakraborti, Yu Zhang, David E. Smith, Subbarao Kambhampati. atal 2016: 1069-1077 [doi]

Incremental Contingency Planning for Recovering from Uncertain OutcomesYolanda E.-Martín, María D. R.-Moreno, David E. Smith. caepia 2016: 237-247 [doi]

2015

2014

Progressive heuristic search for probabilistic planning based on interaction estimatesYolanda E.-Martín, María Dolores Rodríguez-Moreno, David E. Smith. es, 31(5):421-436, 2014. [doi]

2013

Space Lidar Developed at the NASA Goddard Space Flight Center - The First 20 YearsXiaoli Sun, James B. Abshire, Jan F. McGarry, Gregory A. Neumann, James C. Smith, John Cavanaugh, David J. Harding, H. Jay Zwally, David E. Smith, Maria T. Zuber. staeors, 6(3):1660-1675, 2013. [doi]

2012

Integrating Policy with Scientific Workflow Management for Data-Intensive ApplicationsAnn L. Chervenak, David E. Smith, Weiwei Chen, Ewa Deelman. sc 2012: 140-149 [doi]

Adaptive Data Transfers that Utilize Policies for Resource SharingJunmin Gu, David E. Smith, Ann L. Chervenak, Alex Sim. sc 2012: 547-555 [doi]

A Flexible, Open, Decentralized System for Digital Pathology NetworksRobert Schuler, David E. Smith, Gowri Kumaraguruparan, Ann L. Chervenak, Anne D. Lewis, Dallas M. Hyde, Carl Kesselman. healthgrid 2012: 29-38 [doi]

Planning as an Iterative ProcessDavid E. Smith. AAAI 2012: 2180-2185 [doi]

Instrument design and in orbit performance of planetary lidars developed at NASA GSFCXiaoli Sun, John Cavanaugh, James C. Smith, James B. Abshire, Jan F. McGarry, Gregory A. Neumann, David E. Smith, Maria T. Zuber. igarss 2012: 5677-5680 [doi]

2011

Automatic Synthesis of Temporal InvariantsSara Bernardini, David E. Smith. sara 2011: [doi]

Probabilistic Plan Graph Heuristic for Probabilistic PlanningYolanda E.-Martín, María Dolores Rodríguez-Moreno, David E. Smith. AAAI 2011: 1774-1775 [doi]

Using a Plan Graph with Interaction Estimates for Probabilistic PlanningYolanda E.-Martín, María Dolores Rodríguez-Moreno, David E. Smith. sgai 2011: 49-62 [doi]

2010

Ecological image databases: From the webcam to the researcherJohn Porter, Chau-Chin Lin, David E. Smith, Sheng-Shan Lu. ecoi, 5(1):51-58, 2010. [doi]

2009

An Emergency Landing Planner for Damaged AircraftNicolas Meuleau, Christian Plaunt, David E. Smith, Tristan B. Smith. iaai 2009: [doi]

2008

Sequential Monte Carlo in reachability heuristics for probabilistic planningDaniel Bryce, Subbarao Kambhampati, David E. Smith. ai, 172(6-7):685-715, 2008. [doi]

2006

2005

Simulation-based planning for planetary rover experimentsDavid Joslin, Jeremy Frank, Ari K. Jónsson, David E. Smith. wsc 2005: 1049-1058 [doi]

2004

Choosing Objectives in Over-Subscription PlanningDavid E. Smith. aips 2004: 393-401

2003

Optimal Limited Contingency PlanningNicolas Meuleau, David E. Smith. uai 2003: 417-426

The Case for Durative Actions: A Commentary on PDDL2.1David E. Smith. jair, 20:149-154, 2003. [doi]

2002

2001

Linking e-business and operating processes: The role of knowledge managementLiam Fahey, Rajendra Srivastava, Joyce Shems Sharon, David E. Smith. IBMSJ, 40(4):889-907, 2001. [doi]

2000

The AIPS-98 Planning CompetitionDerek 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. aim, 21(2):13-33, 2000.

1999

Temporal Planning with Mutual Exclusion ReasoningDavid E. Smith, Daniel S. Weld. IJCAI 1999: 326-337

1998

Conditional Effects in GraphplanCorin R. Anderson, David E. Smith, Daniel S. Weld. aips 1998: 44-53

Conformant GraphplanDavid E. Smith, Daniel S. Weld. AAAI 1998: 889-896

Extending Graphplan to Handle Uncertainty & Sensing ActionsDaniel S. Weld, Corin R. Anderson, David E. Smith. AAAI 1998: 897-904

1996

Suspending Recursion in Causal-Link PlanningDavid E. Smith, Mark A. Peot. aips 1996: 182-190

1993

Threat-Removal Strategies for Partial-Order PlanningMark A. Peot, David E. Smith. AAAI 1993: 492-499

Postponing Threats in Partial-Order PlanningDavid E. Smith, Mark A. Peot. AAAI 1993: 500-506

1989

Controlling Backward InferenceDavid E. Smith. ai, 39(2):145-208, 1989.

1988

Reasoning About Action I: A Possible Worlds ApproachMatthew L. Ginsberg, David E. Smith. ai, 35(2):165-195, 1988.

Reasoning About Action II: The Qualification ProblemMatthew L. Ginsberg, David E. Smith. ai, 35(3):311-342, 1988.

The Persistence of Derived InformationKaren L. Myers, David E. Smith. AAAI 1988: 496-500

1987

Possible Worlds and the Qualification ProblemMatthew L. Ginsberg, David E. Smith. AAAI 1987: 212-217

1986

Controlling Recursive InferenceDavid E. Smith, Michael R. Genesereth, Matthew L. Ginsberg. ai, 30(3):343-389, 1986.

1985

Ordering Conjunctive QueriesDavid E. Smith, Michael R. Genesereth. ai, 26(2):171-215, 1985.

1983

Finding All of the Solutions to a ProblemDavid E. Smith. AAAI 1983: 373-377

1980

A Frame-Based Production System ArchitectureDavid E. Smith, Jan E. Clayton. AAAI 1980: 154-156

Sign in or sign up to see more results.

runs on WebDSL