×

zbMATH — the first resource for mathematics

Smith, David E.

Compute Distance To:
Author ID: smith.david-e Recent zbMATH articles by "Smith, David E."
Published as: Smith, David E.; Smith, David; Smith, D. E.; Smith, D.
Homepage: http://ti.arc.nasa.gov/profile/de2smith/
Documents Indexed: 18 Publications since 1969

Publications by Year

Citations contained in zbMATH Open

14 Publications have been cited 115 times in 89 Documents Cited by Year
Reasoning about action. I: A possible worlds approach. Zbl 0645.68109
Ginsberg, Matthew L.; Smith, David E.
34
1988
Planning graph heuristics for belief space search. Zbl 1182.68225
Bryce, D.; Kambhampati, S.; Smith, D. E.
13
2006
Ordering conjunctive queries. Zbl 0569.68077
Smith, David E.; Genesereth, Michael R.
12
1985
Reasoning about action. II: The qualification problem. Zbl 0645.68110
Ginsberg, Matthew L.; Smith, David E.
11
1988
Controlling recursive inference. Zbl 0635.68104
Smith, David E.; Genesereth, Michael R.; Ginsberg, Matthew L.
11
1986
Controlling backward inference. Zbl 0676.68059
Smith, David E.
9
1989
Wall and chamber structure for finite-dimensional algebras. Zbl 07103866
Brüstle, Thomas; Smith, David; Treffinger, Hipolito
8
2019
Gender convergence in human survival and the postponement of death. Zbl 1412.91051
Mayhew, Les; Smith, David
5
2014
The case for durative actions: A commentary on PDDL2.1. Zbl 1036.68102
Smith, D. E.
3
2003
Sequential Monte Carlo in reachability heuristics for probabilistic planning. Zbl 1182.68226
Bryce, Daniel; Kambhampati, Subbarao; Smith, David E.
3
2008
Strong temporal planning with uncontrollable durations. Zbl 1443.68163
Cimatti, Alessandro; Do, Minh; Micheli, Andrea; Roveri, Marco; Smith, David E.
2
2018
Extracting mutual exclusion invariants from lifted temporal planning domains. Zbl 1433.68404
Bernardini, Sara; Fagnani, Fabio; Smith, David E.
2
2018
Flexible and affordable methods of paying for long-term care insurance. Zbl 1461.91253
Mayhew, Les; Rickayzen, Ben; Smith, David
1
2021
An investigation into inequalities in adult lifespan. Zbl 1461.91254
Mayhew, Les; Smith, David
1
2021
Flexible and affordable methods of paying for long-term care insurance. Zbl 1461.91253
Mayhew, Les; Rickayzen, Ben; Smith, David
1
2021
An investigation into inequalities in adult lifespan. Zbl 1461.91254
Mayhew, Les; Smith, David
1
2021
Wall and chamber structure for finite-dimensional algebras. Zbl 07103866
Brüstle, Thomas; Smith, David; Treffinger, Hipolito
8
2019
Strong temporal planning with uncontrollable durations. Zbl 1443.68163
Cimatti, Alessandro; Do, Minh; Micheli, Andrea; Roveri, Marco; Smith, David E.
2
2018
Extracting mutual exclusion invariants from lifted temporal planning domains. Zbl 1433.68404
Bernardini, Sara; Fagnani, Fabio; Smith, David E.
2
2018
Gender convergence in human survival and the postponement of death. Zbl 1412.91051
Mayhew, Les; Smith, David
5
2014
Sequential Monte Carlo in reachability heuristics for probabilistic planning. Zbl 1182.68226
Bryce, Daniel; Kambhampati, Subbarao; Smith, David E.
3
2008
Planning graph heuristics for belief space search. Zbl 1182.68225
Bryce, D.; Kambhampati, S.; Smith, D. E.
13
2006
The case for durative actions: A commentary on PDDL2.1. Zbl 1036.68102
Smith, D. E.
3
2003
Controlling backward inference. Zbl 0676.68059
Smith, David E.
9
1989
Reasoning about action. I: A possible worlds approach. Zbl 0645.68109
Ginsberg, Matthew L.; Smith, David E.
34
1988
Reasoning about action. II: The qualification problem. Zbl 0645.68110
Ginsberg, Matthew L.; Smith, David E.
11
1988
Controlling recursive inference. Zbl 0635.68104
Smith, David E.; Genesereth, Michael R.; Ginsberg, Matthew L.
11
1986
Ordering conjunctive queries. Zbl 0569.68077
Smith, David E.; Genesereth, Michael R.
12
1985
all top 5

Cited by 152 Authors

7 Smith, David E.
5 Ginsberg, Matthew L.
5 Thielscher, Michael
3 Dai, Guozhong
3 Etzioni, Oren
3 Luan, Shangmin
2 Bol, Roland N.
2 Bryce, Daniel
2 Foo, Norman Y.
2 Genesereth, Michael R.
2 Gerevini, Alfonso Emilio
2 Gottlob, Georg
2 Greiner, Russell
2 Kambhampati, Subbarao
2 Kuter, Ugur
2 Li, Wei
2 McIlraith, Sheila A.
2 Montanari, Angelo
2 Morgenstern, Leora
2 Nau, Dana
2 Rosenbloom, Paul S.
2 Sagiv, Yehoshua
2 Son, Tran Cao
2 Ünlüyurt, Tonguç
2 Wobcke, Wayne
1 Aineto, Diego
1 Alencar, Paulo S. C.
1 Alford, Ron
1 Antoniou, Grigoris
1 Apt, Krzysztof Rafal
1 Atzmon, Dor
1 Baker, Andrew B.
1 Berger, Martin J.
1 Bibel, Wolfgang
1 Biskup, Joachim
1 Bonet, Blai
1 Bozinovski, Stevo
1 Bradley, Elizabeth
1 Bresolin, Davide
1 Brüning, Stefan
1 Bruynooghe, Maurice
1 Bryant, Randal E.
1 Bylander, Tom
1 Cashmore, Michael
1 Cialdea Mayer, Marta
1 Cimatti, Alessandro
1 Cooper, Martin C.
1 Cushing, William
1 De Giacomo, Giuseppe
1 de Lucena, Carlos José Pereira
1 De Schreye, Danny
1 Delgrande, James P.
1 Della Monica, Dario
1 Dublish, Pratul
1 Eiter, Thomas
1 Erdem, Esra
1 Fikes, Richard E.
1 Friedrich, Gerhard E.
1 Geffner, Hector
1 Gelfond, Michael
1 Gigante, Nicola
1 Golden, Keith
1 Goldman, Robert P.
1 Grastien, Alban
1 Halevy, Alon Y.
1 Hanschke, Philipp
1 Hansson, Sven Ove
1 Herzig, Andreas
1 Hogan, Apollo
1 Jankowska, Magdalena
1 Jensen, Rune Møller
1 Ji, Jianmin
1 Jiménez Celorrio, Sergio
1 Juba, Brendan
1 Kakas, Antonis C.
1 Klop, Jan Willem
1 Kollias, John G.
1 Kooi, Barteld Pieter
1 Krivic, Senka
1 Lassez, Jean-Louis
1 Levesque, Hector J.
1 Li, Yanjun
1 Lin, Fangzhen
1 Ma, Zhiqiang
1 Magazzeni, Daniele
1 Manolopoulos, Yannis
1 Maris, Frédéric
1 Marriott, Kim
1 Masseron, Marcel
1 Michael, Loizos
1 Micheli, Andrea
1 Miller, Rob
1 Morales, A. Ricardo
1 Naish, Lee
1 Nejdl, Wolfgang
1 Nouman, Ahmed
1 Onaindia, Eva
1 Oriol, Xavier
1 Orlandini, Andrea
1 Papadakis, Nick
...and 52 more Authors

Citations by Year