Edit Profile (opens in new tab) Smith, David E. Compute Distance To: Compute Author ID: smith.david-e Published as: Smith, David E.; Smith, D. E. Homepage: http://ti.arc.nasa.gov/profile/de2smith/ Documents Indexed: 18 Publications since 1969 1 Contribution as Editor Co-Authors: 14 Co-Authors with 9 Joint Publications 189 Co-Co-Authors all top 5 Co-Authors 3 single-authored 3 Ginsberg, Matthew L. 3 Mayhew, Les 2 Bryce, Daniel 2 Genesereth, Michael R. 2 Kambhampati, Subbarao 1 Bernardini, Sara 1 Brüstle, Thomas 1 Cashmore, Michael 1 Cimatti, Alessandro 1 Conway, Edward Daire 1 Fagnani, Fabio 1 Groutage, F. Dale 1 Huard, François 1 Jacquot, Raymond G. 1 Krarup, Benjamin 1 Krivic, Senka 1 Long, Derek 1 Magazzeni, Daniele 1 Micheli, Andrea 1 Rickayzen, Ben D. 1 Roveri, Marco 1 Treffinger, Hipolito all top 5 Serials 8 Artificial Intelligence 4 The Journal of Artificial Intelligence Research (JAIR) 3 North American Actuarial Journal 1 Communications in Algebra 1 Advances in Mathematics 1 Journal of Differential Equations 1 Journal of Dynamic Systems, Measurement and Control all top 5 Fields 12 Computer science (68-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Mathematical logic and foundations (03-XX) 2 Associative rings and algebras (16-XX) 1 General and overarching topics; collections (00-XX) 1 Commutative algebra (13-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 14 Publications have been cited 125 times in 93 Documents Cited by ▼ Year ▼ Reasoning about action. I: A possible worlds approach. Zbl 0645.68109Ginsberg, Matthew L.; Smith, David E. 34 1988 Planning graph heuristics for belief space search. Zbl 1182.68225Bryce, D.; Kambhampati, S.; Smith, D. E. 15 2006 Wall and chamber structure for finite-dimensional algebras. Zbl 1470.16024Brüstle, Thomas; Smith, David; Treffinger, Hipolito 14 2019 Ordering conjunctive queries. Zbl 0569.68077Smith, David E.; Genesereth, Michael R. 12 1985 Controlling recursive inference. Zbl 0635.68104Smith, David E.; Genesereth, Michael R.; Ginsberg, Matthew L. 11 1986 Reasoning about action. II: The qualification problem. Zbl 0645.68110Ginsberg, Matthew L.; Smith, David E. 11 1988 Controlling backward inference. Zbl 0676.68059Smith, David E. 10 1989 Gender convergence in human survival and the postponement of death. Zbl 1412.91051Mayhew, Les; Smith, David 5 2014 The case for durative actions: A commentary on PDDL2.1. Zbl 1036.68102Smith, D. E. 3 2003 Sequential Monte Carlo in reachability heuristics for probabilistic planning. Zbl 1182.68226Bryce, Daniel; Kambhampati, Subbarao; Smith, David E. 3 2008 Strong temporal planning with uncontrollable durations. Zbl 1443.68163Cimatti, Alessandro; Do, Minh; Micheli, Andrea; Roveri, Marco; Smith, David E. 3 2018 Extracting mutual exclusion invariants from lifted temporal planning domains. Zbl 1433.68404Bernardini, Sara; Fagnani, Fabio; Smith, David E. 2 2018 Flexible and affordable methods of paying for long-term care insurance. Zbl 1461.91253Mayhew, Les; Rickayzen, Ben; Smith, David 1 2021 An investigation into inequalities in adult lifespan. Zbl 1461.91254Mayhew, Les; Smith, David 1 2021 Flexible and affordable methods of paying for long-term care insurance. Zbl 1461.91253Mayhew, Les; Rickayzen, Ben; Smith, David 1 2021 An investigation into inequalities in adult lifespan. Zbl 1461.91254Mayhew, Les; Smith, David 1 2021 Wall and chamber structure for finite-dimensional algebras. Zbl 1470.16024Brüstle, Thomas; Smith, David; Treffinger, Hipolito 14 2019 Strong temporal planning with uncontrollable durations. Zbl 1443.68163Cimatti, Alessandro; Do, Minh; Micheli, Andrea; Roveri, Marco; Smith, David E. 3 2018 Extracting mutual exclusion invariants from lifted temporal planning domains. Zbl 1433.68404Bernardini, Sara; Fagnani, Fabio; Smith, David E. 2 2018 Gender convergence in human survival and the postponement of death. Zbl 1412.91051Mayhew, Les; Smith, David 5 2014 Sequential Monte Carlo in reachability heuristics for probabilistic planning. Zbl 1182.68226Bryce, Daniel; Kambhampati, Subbarao; Smith, David E. 3 2008 Planning graph heuristics for belief space search. Zbl 1182.68225Bryce, D.; Kambhampati, S.; Smith, D. E. 15 2006 The case for durative actions: A commentary on PDDL2.1. Zbl 1036.68102Smith, D. E. 3 2003 Controlling backward inference. Zbl 0676.68059Smith, David E. 10 1989 Reasoning about action. I: A possible worlds approach. Zbl 0645.68109Ginsberg, Matthew L.; Smith, David E. 34 1988 Reasoning about action. II: The qualification problem. Zbl 0645.68110Ginsberg, Matthew L.; Smith, David E. 11 1988 Controlling recursive inference. Zbl 0635.68104Smith, David E.; Genesereth, Michael R.; Ginsberg, Matthew L. 11 1986 Ordering conjunctive queries. Zbl 0569.68077Smith, David E.; Genesereth, Michael R. 12 1985 all cited Publications top 5 cited Publications all top 5 Cited by 158 Authors 7 Smith, David E. 5 Ginsberg, Matthew L. 5 Thielscher, Michael 3 Dai, Guozhong 3 Etzioni, Oren 3 Luan, Shangmin 3 Montanari, Angelo 2 Bol, Roland N. 2 Bryce, Daniel 2 Foo, Norman Y. 2 Genesereth, Michael R. 2 Gerevini, Alfonso Emilio 2 Gigante, Nicola 2 Gottlob, Georg 2 Greiner, Russell 2 Kambhampati, Subbarao 2 Kuter, Ugur 2 Li, Wei 2 Li, Yanjun 2 McIlraith, Sheila A. 2 Morgenstern, Leora 2 Nau, Dana 2 Orlandini, Andrea 2 Reynolds, Mark Alexander 2 Rosenbloom, Paul S. 2 Sagiv, Yehoshua 2 Son, Tran Cao 2 Ünlüyurt, Tonguç 2 Wang, Yanjing 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 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 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 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 ...and 58 more Authors all top 5 Cited in 27 Serials 44 Artificial Intelligence 6 Theoretical Computer Science 6 Annals of Mathematics and Artificial Intelligence 3 Notre Dame Journal of Formal Logic 3 Journal of Computer Science and Technology 3 The Journal of Artificial Intelligence Research (JAIR) 2 Information Processing Letters 1 Acta Informatica 1 Computers & Mathematics with Applications 1 Discrete Applied Mathematics 1 Journal of Philosophical Logic 1 Mathematics and Computers in Simulation 1 Operations Research 1 Studia Logica 1 Journal of Symbolic Computation 1 New Generation Computing 1 Journal of Automated Reasoning 1 International Journal of Intelligent Systems 1 Formal Aspects of Computing 1 Annals of Operations Research 1 Journal of Logic, Language and Information 1 Mathematical Problems in Engineering 1 Journal of Combinatorial Optimization 1 The Journal of Logic and Algebraic Programming 1 Theory and Practice of Logic Programming 1 Computational Intelligence 1 Science in China. Series F all top 5 Cited in 9 Fields 88 Computer science (68-XX) 20 Mathematical logic and foundations (03-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) 1 Systems theory; control (93-XX) Citations by Year