메뉴 건너뛰기




Volumn 4, Issue 4, 2013, Pages 341-356

Computational models of planning

Author keywords

[No Author keywords available]

Indexed keywords


EID: 84879205615     PISSN: 19395078     EISSN: 19395086     Source Type: Journal    
DOI: 10.1002/wcs.1233     Document Type: Article
Times cited : (18)

References (106)
  • 1
    • 34249316029 scopus 로고
    • Elements of a theory of human problem solving
    • Newell A, Simon H. Elements of a theory of human problem solving. Psychol Rev 1958, 65:151-166.
    • (1958) Psychol Rev , vol.65 , pp. 151-166
    • Newell, A.1    Simon, H.2
  • 3
    • 0022688781 scopus 로고
    • A robust layered control system for a mobile robot
    • Brooks R. A robust layered control system for a mobile robot. IEEE J Robot Autom 1987, 2:14-27.
    • (1987) IEEE J Robot Autom , vol.2 , pp. 14-27
    • Brooks, R.1
  • 11
    • 0028498153 scopus 로고
    • The computational complexity of STRIPS planning
    • Bylander T. The computational complexity of STRIPS planning. Artif Intell 1994, 69:165-204.
    • (1994) Artif Intell , vol.69 , pp. 165-204
    • Bylander, T.1
  • 15
    • 84879221959 scopus 로고    scopus 로고
    • Why you should buy an emotional planner. Proceedings of Agents'99 Workshop on Emotion-based Agent Architectures (EBAA'99), Available at:.
    • Gratch J. Why you should buy an emotional planner. Proceedings of Agents'99 Workshop on Emotion-based Agent Architectures (EBAA'99), 1999. Available at: http://emotions.usc.edu/∼gratch/gratch-ebaa99.pdf.
    • (1999)
    • Gratch, J.1
  • 16
    • 10344257211 scopus 로고    scopus 로고
    • A domain-independent framework for modeling emotion
    • Gratch J, Marsella S. A domain-independent framework for modeling emotion. Cogn Syst Res 2004, 5:269-306.
    • (2004) Cogn Syst Res , vol.5 , pp. 269-306
    • Gratch, J.1    Marsella, S.2
  • 17
    • 0000013344 scopus 로고
    • STRIPS: A new approach to the application of theorem proving to problem solving
    • Fikes R, Nilsson N. STRIPS: A new approach to the application of theorem proving to problem solving. Artif Intell 1971, 1:27-120.
    • (1971) Artif Intell , vol.1 , pp. 27-120
    • Fikes, R.1    Nilsson, N.2
  • 18
    • 84879248433 scopus 로고    scopus 로고
    • PDDL--the planning domain definition language, Available at:
    • McDermott D. PDDL--the planning domain definition language, 1998. Available at: http://ftp.cs.yale.edu/pub/mcdermott
    • (1998)
    • McDermott, D.1
  • 19
    • 0029405902 scopus 로고
    • Complexity results for SAS+ planning
    • Backstrom C, Nebel B. Complexity results for SAS+ planning. Comput Intell 1995, 11:625-655.
    • (1995) Comput Intell , vol.11 , pp. 625-655
    • Backstrom, C.1    Nebel, B.2
  • 20
    • 31144453572 scopus 로고    scopus 로고
    • The first probabilistic track of the international planning competition
    • Younes H, Littman M, Weissman D, Asmuth J. The first probabilistic track of the international planning competition. J Artif Intell Res 2005, 24:851-887.
    • (2005) J Artif Intell Res , vol.24 , pp. 851-887
    • Younes, H.1    Littman, M.2    Weissman, D.3    Asmuth, J.4
  • 21
    • 34147120474 scopus 로고
    • A note on two problems in connexion with graphs
    • Dijkstra E. A note on two problems in connexion with graphs. Numer Math 1959;1:269-271.
    • (1959) Numer Math , vol.1 , pp. 269-271
    • Dijkstra, E.1
  • 23
    • 84899829959 scopus 로고
    • A formal basis for the heuristic determination of minimum cost paths
    • Hart P, Nilsson N, Raphael B. A formal basis for the heuristic determination of minimum cost paths. IEEE Trans Syst Sci Cybern 1968, 4:100-107.
    • (1968) IEEE Trans Syst Sci Cybern , vol.4 , pp. 100-107
    • Hart, P.1    Nilsson, N.2    Raphael, B.3
  • 24
    • 0004286550 scopus 로고
    • Reading, MA: Addison Wesley
    • Pearl J. Heuristics. Reading, MA: Addison Wesley; 1983.
    • (1983) Heuristics
    • Pearl, J.1
  • 25
    • 84879201568 scopus 로고    scopus 로고
    • Finding optimal solutions to Rubik's cube using pattern databases. Proceedings of AAAI-98
    • Korf R. Finding optimal solutions to Rubik's cube using pattern databases. Proceedings of AAAI-98, 1998, 1202-1207.
    • (1998) , pp. 1202-1207
    • Korf, R.1
  • 26
    • 84959810873 scopus 로고
    • A behavioral model of rational choice
    • Simon H. A behavioral model of rational choice. Quart J Econ 1955, 69:99-118.
    • (1955) Quart J Econ , vol.69 , pp. 99-118
    • Simon, H.1
  • 27
    • 84937350040 scopus 로고
    • Steps toward artificial intelligence
    • Minsky M. Steps toward artificial intelligence. Proc IRE 1961, 49:8-30.
    • (1961) Proc IRE , vol.49 , pp. 8-30
    • Minsky, M.1
  • 28
    • 85166378667 scopus 로고    scopus 로고
    • A heuristic estimator for means-ends analysis in planning. Proceedings of AIPS-96
    • McDermott D. A heuristic estimator for means-ends analysis in planning. Proceedings of AIPS-96, 1996, 142-149.
    • (1996) , pp. 142-149
    • McDermott, D.1
  • 29
    • 0031385389 scopus 로고    scopus 로고
    • A robust and fast action selection mechanism for planning. Proceedings of AAAI-97
    • Bonet B, Loerincs G, Geffner H. A robust and fast action selection mechanism for planning. Proceedings of AAAI-97, 1997, 714-719.
    • (1997) , pp. 714-719
    • Bonet, B.1    Loerincs, G.2    Geffner, H.3
  • 30
    • 0035369022 scopus 로고    scopus 로고
    • Planning as heuristic search
    • Bonet B, Geffner H. Planning as heuristic search. Artif Intell 2001, 129:5-33.
    • (2001) Artif Intell , vol.129 , pp. 5-33
    • Bonet, B.1    Geffner, H.2
  • 31
    • 84879223199 scopus 로고    scopus 로고
    • Heuristics for planning with action costs revisited. Proceedings of ECAI-08
    • Keyder E, Geffner H. Heuristics for planning with action costs revisited. Proceedings of ECAI-08, 2008, 588-592.
    • (2008) , pp. 588-592
    • Keyder, E.1    Geffner, H.2
  • 32
    • 0036377352 scopus 로고    scopus 로고
    • The FF planning system: fast plan generation through heuristic search
    • Hoffmann J, Nebel B. The FF planning system: fast plan generation through heuristic search. J Artif Intell Res 2001, 14:253-302.
    • (2001) J Artif Intell Res , vol.14 , pp. 253-302
    • Hoffmann, J.1    Nebel, B.2
  • 34
    • 0025400088 scopus 로고
    • Real-time heuristic search
    • Korf R. Real-time heuristic search. Artif Intell 1990, 42:189-211.
    • (1990) Artif Intell , vol.42 , pp. 189-211
    • Korf, R.1
  • 35
    • 0029210635 scopus 로고
    • Learning to act using real-time dynamic programming
    • Barto A, Bradtke S, Singh S. Learning to act using real-time dynamic programming. Artif Intell 1995, 72:81-138.
    • (1995) Artif Intell , vol.72 , pp. 81-138
    • Barto, A.1    Bradtke, S.2    Singh, S.3
  • 36
    • 9444233135 scopus 로고    scopus 로고
    • Labeled RTDP: Improving the convergence of real-time dynamic programming. Proceedings of 13th International Conference on Automated Planning and Scheduling (ICAPS-2003). Menlo Park, CA: AAAI Press
    • Bonet B, Geffner H. Labeled RTDP: Improving the convergence of real-time dynamic programming. Proceedings of 13th International Conference on Automated Planning and Scheduling (ICAPS-2003). Menlo Park, CA: AAAI Press; 2003, 12-31.
    • (2003) , pp. 12-31
    • Bonet, B.1    Geffner, H.2
  • 37
    • 78751689703 scopus 로고    scopus 로고
    • Solving POMDPs: RTDP-Bel vs. point-based algorithms. Proceedings of IJCAI
    • Bonet B, Geffner H. Solving POMDPs: RTDP-Bel vs. point-based algorithms. Proceedings of IJCAI, 2009, 1641-1646.
    • (2009) , pp. 1641-1646
    • Bonet, B.1    Geffner, H.2
  • 38
    • 33750293964 scopus 로고    scopus 로고
    • Bandit based Monte-Carlo planning. Proceedings of ECML-2006
    • Kocsis L, Szepesvári C. Bandit based Monte-Carlo planning. Proceedings of ECML-2006, 2006, 282-293.
    • (2006) , pp. 282-293
    • Kocsis, L.1    Szepesvári, C.2
  • 39
    • 34547990649 scopus 로고    scopus 로고
    • Combining online and offline knowledge in UCT. Proceedings of ICML
    • Gelly S, Silver D. Combining online and offline knowledge in UCT. Proceedings of ICML, 2007, 273-280.
    • (2007) , pp. 273-280
    • Gelly, S.1    Silver, D.2
  • 40
    • 84879224303 scopus 로고    scopus 로고
    • Action selection for MDPs: Anytime AO* vs. UCT. Proceedings of AAAI-2012
    • Bonet B, Geffner H. Action selection for MDPs: Anytime AO* vs. UCT. Proceedings of AAAI-2012, 2012.
    • (2012)
    • Bonet, B.1    Geffner, H.2
  • 41
    • 84879219064 scopus 로고
    • Additive AND/OR graphs. Proceedings of IJCAI-73
    • Martelli A, Montanari U. Additive AND/OR graphs. Proceedings of IJCAI-73, 1973, 1-11.
    • (1973) , pp. 1-11
    • Martelli, A.1    Montanari, U.2
  • 42
    • 0030896968 scopus 로고    scopus 로고
    • A neural substrate of prediction and reward
    • Schultz W, Dayan P, Montague P. A neural substrate of prediction and reward. Science 1997, 275:1593-1599.
    • (1997) Science , vol.275 , pp. 1593-1599
    • Schultz, W.1    Dayan, P.2    Montague, P.3
  • 48
    • 84879232464 scopus 로고    scopus 로고
    • Thinking, fast and slow, Farrar, Straus and Giroux, New York
    • Kahneman D. Thinking, fast and slow, Farrar, Straus and Giroux, New York; 2011.
    • (2011)
    • Kahneman, D.1
  • 49
    • 84879211050 scopus 로고
    • UCPOP: a sound, complete, partial order planner for ADL, Proceedings of KR-92
    • Penberthy J, Weld D. UCPOP: a sound, complete, partial order planner for ADL, Proceedings of KR-92, 1992.
    • (1992)
    • Penberthy, J.1    Weld, D.2
  • 50
    • 85125003135 scopus 로고
    • The nonlinear nature of plans. Proceedings of IJCAI-75
    • Sacerdoti E. The nonlinear nature of plans. Proceedings of IJCAI-75, 1975, 206-214.
    • (1975) , pp. 206-214
    • Sacerdoti, E.1
  • 51
    • 0002680667 scopus 로고
    • Generating project networks. Proceedings of IJCAI
    • Tate A. Generating project networks. Proceedings of IJCAI, 1977, 888-893.
    • (1977) , pp. 888-893
    • Tate, A.1
  • 52
    • 84879234746 scopus 로고
    • Systematic nonlinear planning. Proceedings of AAAI-91
    • McAllester D, Rosenblitt D. Systematic nonlinear planning. Proceedings of AAAI-91, 1991, 634-639.
    • (1991) , pp. 634-639
    • McAllester, D.1    Rosenblitt, D.2
  • 53
    • 0001657540 scopus 로고
    • Fast planning through planning graph analysis. Proceedings of IJCAI-95.
    • Blum A, Furst M. Fast planning through planning graph analysis. Proceedings of IJCAI-95. 1995, 1636-1642.
    • (1995) , pp. 1636-1642
    • Blum, A.1    Furst, M.2
  • 54
    • 84879240613 scopus 로고    scopus 로고
    • Admissible heuristics for optimal planning. Proceedings of the Fifth International Conference on AI Planning Systems (AIPS-2000)
    • Haslum P, Geffner H. Admissible heuristics for optimal planning. Proceedings of the Fifth International Conference on AI Planning Systems (AIPS-2000), 2000, 70-82.
    • (2000) , pp. 70-82
    • Haslum, P.1    Geffner, H.2
  • 55
    • 0030352389 scopus 로고    scopus 로고
    • Pushing the envelope: planning, propositional logic, and stochastic search. Proceedings of AAAI
    • Kautz H, Selman B. Pushing the envelope: planning, propositional logic, and stochastic search. Proceedings of AAAI, 1996, 1194-1201.
    • (1996) , pp. 1194-1201
    • Kautz, H.1    Selman, B.2
  • 57
    • 78149231421 scopus 로고    scopus 로고
    • Heuristics for planning with SAT. Proceedings of on Principles and Practice of Constraint Programming (CP 2010). Berlin: Springer
    • Rintanen J. Heuristics for planning with SAT. Proceedings of on Principles and Practice of Constraint Programming (CP 2010). Berlin: Springer; 2010, 414-428.
    • (2010) , pp. 414-428
    • Rintanen, J.1
  • 59
    • 77956050972 scopus 로고    scopus 로고
    • The LAMA planner: guiding cost-based anytime planning with landmarks
    • Richter S, Westphal M. The LAMA planner: guiding cost-based anytime planning with landmarks. J Artif Intell Res 2010, 39:127-177.
    • (2010) J Artif Intell Res , vol.39 , pp. 127-177
    • Richter, S.1    Westphal, M.2
  • 60
    • 84878786771 scopus 로고    scopus 로고
    • Width and serialization of classical planning problems. Proceedings of ECAI. Amsterdam: IOS Press
    • Lipovetzky N, Geffner H. Width and serialization of classical planning problems. Proceedings of ECAI. Amsterdam: IOS Press; 2012, 540-545.
    • (2012) , pp. 540-545
    • Lipovetzky, N.1    Geffner, H.2
  • 63
    • 0346942368 scopus 로고    scopus 로고
    • Decision-theoretic planning: structural assumptions and computational leverage
    • Boutilier C, Dean T, Hanks S. Decision-theoretic planning: structural assumptions and computational leverage. J Artif Intell Res (JAIR) 1999, 11:1-94.
    • (1999) J Artif Intell Res (JAIR) , vol.11 , pp. 1-94
    • Boutilier, C.1    Dean, T.2    Hanks, S.3
  • 64
    • 50549213583 scopus 로고
    • Optimal control of Markov decision processes with incomplete state estimation
    • Astrom K. Optimal control of Markov decision processes with incomplete state estimation. J Math Anal Appl 1965, 10:174-205.
    • (1965) J Math Anal Appl , vol.10 , pp. 174-205
    • Astrom, K.1
  • 65
    • 0032073263 scopus 로고    scopus 로고
    • Planning and acting in partially observable stochastic domains
    • Kaelbling L, Littman M, Cassandra T. Planning and acting in partially observable stochastic domains. Artif Intell 1998, 101:99-134.
    • (1998) Artif Intell , vol.101 , pp. 99-134
    • Kaelbling, L.1    Littman, M.2    Cassandra, T.3
  • 66
    • 0003787146 scopus 로고
    • Princeton, NJ: Princeton University Press
    • Bellman R. Dynamic Programming. Princeton, NJ: Princeton University Press; 1957.
    • (1957) Dynamic Programming
    • Bellman, R.1
  • 68
    • 84879200839 scopus 로고    scopus 로고
    • LRTDP vs. UCT for online probabilistic planning. Proceedings of AAAI
    • Kolobov A, Mausam, Weld D. LRTDP vs. UCT for online probabilistic planning. Proceedings of AAAI, 2012.
    • (2012)
    • Kolobov, A.1    Mausam2    Weld, D.3
  • 69
    • 85161974238 scopus 로고    scopus 로고
    • Monte-Carlo planning in large POMDPs. Advances in Neural Information Processing Systems (NIPS)
    • Silver D, Veness J. Monte-Carlo planning in large POMDPs. Advances in Neural Information Processing Systems (NIPS), 2010. 2164-2172.
    • (2010) , pp. 2164-2172
    • Silver, D.1    Veness, J.2
  • 70
    • 84866455160 scopus 로고    scopus 로고
    • PROST: Probabilistic planning based on UCT. Proceedings of ICAPS
    • Keller T, Eyerich P. PROST: Probabilistic planning based on UCT. Proceedings of ICAPS, 2012.
    • (2012)
    • Keller, T.1    Eyerich, P.2
  • 72
    • 33847202724 scopus 로고
    • Learning to predict by the methods of temporal differences
    • Sutton R. Learning to predict by the methods of temporal differences. Mach Learn 1988, 3:9-44.
    • (1988) Mach Learn , vol.3 , pp. 9-44
    • Sutton, R.1
  • 73
    • 0036832954 scopus 로고    scopus 로고
    • Near-optimal reinforcement learning in polynomial time
    • Kearns M, Singh S. Near-optimal reinforcement learning in polynomial time. Mach Learn 2002, 49:209-232.
    • (2002) Mach Learn , vol.49 , pp. 209-232
    • Kearns, M.1    Singh, S.2
  • 74
    • 0041965975 scopus 로고    scopus 로고
    • R-Max: a general polynomial time algorithm for near-optimal reinforcement learning
    • Brafman R, Tennenholtz M. R-Max: a general polynomial time algorithm for near-optimal reinforcement learning. J Mach Learn Res 2003, 3:213-231.
    • (2003) J Mach Learn Res , vol.3 , pp. 213-231
    • Brafman, R.1    Tennenholtz, M.2
  • 75
    • 80053158617 scopus 로고    scopus 로고
    • Learning is planning: near bayes-optimal reinforcement learning via Monte-Carlo tree search. Proceedings of UAI
    • Asmuth J, Littman M. Learning is planning: near bayes-optimal reinforcement learning via Monte-Carlo tree search. Proceedings of UAI, 2011, 19-26.
    • (2011) , pp. 19-26
    • Asmuth, J.1    Littman, M.2
  • 76
    • 84879225199 scopus 로고    scopus 로고
    • Planning by probabilistic inference. Proceedings of the 9th International Workshop on Artificial Intelligence and Statistics
    • Attias H. Planning by probabilistic inference. Proceedings of the 9th International Workshop on Artificial Intelligence and Statistics, 2003.
    • (2003)
    • Attias, H.1
  • 77
    • 34250728061 scopus 로고    scopus 로고
    • Probabilistic inference for solving discrete and continuous state Markov decision processes. Proceedings of 23rd International Conference on Machine Learning
    • Toussaint M, Storkey A. Probabilistic inference for solving discrete and continuous state Markov decision processes. Proceedings of 23rd International Conference on Machine Learning, 2006, 945-952.
    • (2006) , pp. 945-952
    • Toussaint, M.1    Storkey, A.2
  • 78
    • 70049104354 scopus 로고    scopus 로고
    • Goal-directed decision making in the prefrontal cortex: a computational framework. Adv Neural Inform Process Syst (NIPS)
    • Botvinick M, An J. Goal-directed decision making in the prefrontal cortex: a computational framework. Adv Neural Inform Process Syst (NIPS), 2008. 169-176.
    • (2008) , pp. 169-176
    • Botvinick, M.1    An, J.2
  • 79
    • 58349118462 scopus 로고    scopus 로고
    • FF-replan: a baseline for probabilistic planning. Proceedings of ICAPS-07
    • Yoon S, Fern A, Givan R. FF-replan: a baseline for probabilistic planning. Proceedings of ICAPS-07, 2007, 352-359.
    • (2007) , pp. 352-359
    • Yoon, S.1    Fern, A.2    Givan, R.3
  • 81
    • 77958536700 scopus 로고    scopus 로고
    • Soft goals can be compiled away
    • Keyder E, Geffner H. Soft goals can be compiled away. J Artif Intell Res 2009, 36:547-556.
    • (2009) J Artif Intell Res , vol.36 , pp. 547-556
    • Keyder, E.1    Geffner, H.2
  • 82
    • 77956048571 scopus 로고    scopus 로고
    • Compiling uncertainty away in conformant planning problems with bounded width
    • Palacios H, Geffner H. Compiling uncertainty away in conformant planning problems with bounded width. J Artif Intell Res 2009, 35:623-675.
    • (2009) J Artif Intell Res , vol.35 , pp. 623-675
    • Palacios, H.1    Geffner, H.2
  • 83
    • 78751688119 scopus 로고    scopus 로고
    • A translation-based approach to contingent planning. Proceedings of IJCAI-09
    • Albore A, Palacios H, Geffner H. A translation-based approach to contingent planning. Proceedings of IJCAI-09, 2009, 1623-1628.
    • (2009) , pp. 1623-1628
    • Albore, A.1    Palacios, H.2    Geffner, H.3
  • 84
    • 84880112427 scopus 로고    scopus 로고
    • Planning under partial observability by classical replanning: theory and experiments. Proceedings of IJCAI-11
    • Bonet B, Geffner H. Planning under partial observability by classical replanning: theory and experiments. Proceedings of IJCAI-11, 2011, 1936-1941.
    • (2011) , pp. 1936-1941
    • Bonet, B.1    Geffner, H.2
  • 85
    • 84868270137 scopus 로고    scopus 로고
    • Replanning in domains with partial information and sensing actions. Proceedings of IJCAI-2011
    • Shani G, Brafman R. Replanning in domains with partial information and sensing actions. Proceedings of IJCAI-2011, 2011, 2021-2026.
    • (2011) , pp. 2021-2026
    • Shani, G.1    Brafman, R.2
  • 86
    • 0002227762 scopus 로고
    • Penguins can make cake
    • Chapman D. Penguins can make cake. AI Mag 1989, 10:45-50.
    • (1989) AI Mag , vol.10 , pp. 45-50
    • Chapman, D.1
  • 87
    • 0031429913 scopus 로고    scopus 로고
    • Deictic codes for the embodiment of cognition
    • Ballard D, Hayhoe M, Pook P, Rao R. Deictic codes for the embodiment of cognition. Behav Brain Sci 1997, 20:723-742.
    • (1997) Behav Brain Sci , vol.20 , pp. 723-742
    • Ballard, D.1    Hayhoe, M.2    Pook, P.3    Rao, R.4
  • 88
    • 78650600888 scopus 로고    scopus 로고
    • Automatic derivation of memoryless policies and finite-state controllers using classical planners. Proceedings of ICAPS-09
    • Bonet B, Palacios H, Geffner H. Automatic derivation of memoryless policies and finite-state controllers using classical planners. Proceedings of ICAPS-09, 2009, 34-41.
    • (2009) , pp. 34-41
    • Bonet, B.1    Palacios, H.2    Geffner, H.3
  • 89
    • 1142281116 scopus 로고    scopus 로고
    • Learning generalized policies from planning examples using concept languages
    • Martin M, Geffner H. Learning generalized policies from planning examples using concept languages. Appl Intell 2004, 20:9-19.
    • (2004) Appl Intell , vol.20 , pp. 9-19
    • Martin, M.1    Geffner, H.2
  • 90
    • 84880107329 scopus 로고    scopus 로고
    • Generalized planning: synthesizing plans that work for multiple environments. Proceedings of IJCAI
    • Hu Y, De Giacomo G. Generalized planning: synthesizing plans that work for multiple environments. Proceedings of IJCAI, 2011; 918-923.
    • (2011) , pp. 918-923
    • Hu, Y.1    De Giacomo, G.2
  • 91
    • 33646125542 scopus 로고    scopus 로고
    • A formalization of equilibria for multiagent planning. Proceedings of IJCAI-03
    • Bowling M, Jensen R, Veloso M. A formalization of equilibria for multiagent planning. Proceedings of IJCAI-03, 2003, 1460-1462.
    • (2003) , pp. 1460-1462
    • Bowling, M.1    Jensen, R.2    Veloso, M.3
  • 92
    • 38049181143 scopus 로고    scopus 로고
    • Extending classical planning to the multi-agent case: a game-theoretic approach. Proceedings of 9th European Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007), volume 4724 of Lecture Notes in Computer Science. Springer
    • Larbi R, Konieczny S, Marquis P. Extending classical planning to the multi-agent case: a game-theoretic approach. Proceedings of 9th European Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007), volume 4724 of Lecture Notes in Computer Science. Springer; 2007, 731-742.
    • (2007) , pp. 731-742
    • Larbi, R.1    Konieczny, S.2    Marquis, P.3
  • 95
    • 0028585769 scopus 로고
    • HTN planning: Complexity and expressivity. Proceedings of AAAI-94
    • Erol K, Hendler J, Nau DS. HTN planning: Complexity and expressivity. Proceedings of AAAI-94, 1994, 1123.
    • (1994) , pp. 1123
    • Erol, K.1    Hendler, J.2    Nau, D.S.3
  • 96
    • 0016069798 scopus 로고
    • Planning in a hierarchy of abstraction spaces
    • Sacerdoti E. Planning in a hierarchy of abstraction spaces. Artif Intell 1974, 5:115-135.
    • (1974) Artif Intell , vol.5 , pp. 115-135
    • Sacerdoti, E.1
  • 97
    • 0023421864 scopus 로고
    • Planning as search: a quantitative approach
    • Korf R. Planning as search: a quantitative approach. Artif Intell 1987, 33:65-88.
    • (1987) Artif Intell , vol.33 , pp. 65-88
    • Korf, R.1
  • 98
    • 85109195641 scopus 로고
    • Learning abstraction hierarchies for problem solving. Proceedings of AAAI-90
    • Knoblock C. Learning abstraction hierarchies for problem solving. Proceedings of AAAI-90, 1990, 923-928.
    • (1990) , pp. 923-928
    • Knoblock, C.1
  • 99
    • 0028545292 scopus 로고
    • Downward refinement and the efficiency of hierarchical problem solving
    • Bacchus F, Yang Q. Downward refinement and the efficiency of hierarchical problem solving. Artif Intell 1994, 71:43-100.
    • (1994) Artif Intell , vol.71 , pp. 43-100
    • Bacchus, F.1    Yang, Q.2
  • 100
    • 0038821469 scopus 로고    scopus 로고
    • Planning with complex actions. Proceedings of NMR-02
    • McIlraith S, Fadel R. Planning with complex actions. Proceedings of NMR-02, 2002, 356-364.
    • (2002) , pp. 356-364
    • McIlraith, S.1    Fadel, R.2
  • 101
    • 58349085967 scopus 로고    scopus 로고
    • Angelic semantics for high-level actions. Proceedings of ICAPS-07
    • Marthi B, Russell S, Wolfe J. Angelic semantics for high-level actions. Proceedings of ICAPS-07, 2007, 232-239.
    • (2007) , pp. 232-239
    • Marthi, B.1    Russell, S.2    Wolfe, J.3
  • 102
    • 44449127118 scopus 로고    scopus 로고
    • The role of macros in tractable planning over causal graphs. Proceedings of IJCAI-07
    • Jonsson A. The role of macros in tractable planning over causal graphs. Proceedings of IJCAI-07, 2007, 1936-1941.
    • (2007) , pp. 1936-1941
    • Jonsson, A.1
  • 103
    • 0001133191 scopus 로고
    • Overcoming incomplete perception with utile distinction memory. Proceedings Tenth International Conference on Machine Learning
    • McCallum A. Overcoming incomplete perception with utile distinction memory. Proceedings Tenth International Conference on Machine Learning, 1993, 190-196.
    • (1993) , pp. 190-196
    • McCallum, A.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.