-
1
-
-
2842560201
-
a new approach to application of theorem proving to problem solving
-
STRIPS
-
R. Fikes and N. J. Nilsson, STRIPS: a new approach to application of theorem proving to problem solving, Artif. Intell. 2, 189-208 (1971).
-
(1971)
Artif. Intell
, vol.2
, pp. 189-208
-
-
Fikes, R.1
Nilsson, N.J.2
-
4
-
-
0026240285
-
Two criteria for the selection of assembly plans: Maximizing the flexibility of sequencing the assembly tasks and minimizing the assembly time through parallel execution of assembly
-
L. S. Homem de Mello and A. C. Sanderson, Two criteria for the selection of assembly plans: maximizing the flexibility of sequencing the assembly tasks and minimizing the assembly time through parallel execution of assembly, IEEE Trans. Robotics Automat. 7, 626-633 (1991).
-
(1991)
IEEE Trans. Robotics Automat
, vol.7
, pp. 626-633
-
-
Homem de Mello, L.S.1
Sanderson, A.C.2
-
5
-
-
0000883116
-
A general framework for assembly planning: The motion space approach
-
D. Halperin, A general framework for assembly planning: the motion space approach, Algorithmica 26, 577-601 (2000).
-
(2000)
Algorithmica
, vol.26
, pp. 577-601
-
-
Halperin, D.1
-
6
-
-
0035369907
-
Sokoban: Enhancing general single-agent search methods using domain knowledge
-
A. Junghanns and J. Schaeffer, Sokoban: enhancing general single-agent search methods using domain knowledge, Artif. Intell. 129, 219-251 (2001).
-
(2001)
Artif. Intell
, vol.129
, pp. 219-251
-
-
Junghanns, A.1
Schaeffer, J.2
-
7
-
-
0034923194
-
Sokoban: Improving the search with relevance cuts
-
A. Junghanns and J. Schaeffer, Sokoban: improving the search with relevance cuts, J. Theor. Comput. Sci. 2452, 151-175 (2001).
-
(2001)
J. Theor. Comput. Sci
, vol.2452
, pp. 151-175
-
-
Junghanns, A.1
Schaeffer, J.2
-
8
-
-
84974676505
-
-
F. Hüffner, Finding optimal solutions to atomix, Lecture Notes Artif. Intell. 2174, 229-243 (2003).
-
F. Hüffner, Finding optimal solutions to atomix, Lecture Notes Artif. Intell. 2174, 229-243 (2003).
-
-
-
-
9
-
-
0032136206
-
Practical pushing planning for rearrangement tasks
-
O. Ben-Shahar and E. Rivlin, Practical pushing planning for rearrangement tasks, IEEE Trans. Robotics Automat. 14, 549-565 (1998).
-
(1998)
IEEE Trans. Robotics Automat
, vol.14
, pp. 549-565
-
-
Ben-Shahar, O.1
Rivlin, E.2
-
10
-
-
0025749064
-
Practical path planning among movable obstacles
-
Sacramento, CA, pp
-
P. C. Chen and Y. K. Hwang, Practical path planning among movable obstacles, in: Proc. 1991 IEEE Int. Conf. on Robotics and Automation, Sacramento, CA, pp. 444-449 (1991).
-
(1991)
Proc. 1991 IEEE Int. Conf. on Robotics and Automation
, pp. 444-449
-
-
Chen, P.C.1
Hwang, Y.K.2
-
12
-
-
0031640832
-
Planning handling operations in changing industrial plants
-
Leuven, Belgium, pp
-
M. Cherif and M. Vidal, Planning handling operations in changing industrial plants, in: Proc. 1998 IEEE Int. Conf. on Robotics and Automat., Leuven, Belgium, pp. 881-886 (1998).
-
(1998)
Proc. 1998 IEEE Int. Conf. on Robotics and Automat
, pp. 881-886
-
-
Cherif, M.1
Vidal, M.2
-
13
-
-
85122663910
-
Navigation among movable obstacles: Real-time reasoning in complex environments
-
M. Stilman and J. J. Kuffner, Navigation among movable obstacles: real-time reasoning in complex environments, Int. J. Human. Robotics 2, 479-504 (2005).
-
(2005)
Int. J. Human. Robotics
, vol.2
, pp. 479-504
-
-
Stilman, M.1
Kuffner, J.J.2
-
14
-
-
35349024381
-
Planning and executing navigation among movable obstacles
-
M. Stilman, K. Nishiwaki, S. Kagami and J. J. Kuffner, Planning and executing navigation among movable obstacles, Adv. Robotics 21, 1617-1634 (2007).
-
(2007)
Adv. Robotics
, vol.21
, pp. 1617-1634
-
-
Stilman, M.1
Nishiwaki, K.2
Kagami, S.3
Kuffner, J.J.4
-
15
-
-
72449182729
-
-
F. Gravot, S. Cambon and R. Alami, aSyMov: a planner that deals with intricate symbolic and geometric problems, Trends Adv. Robotics 15, 100-109 (2005).
-
F. Gravot, S. Cambon and R. Alami, aSyMov: a planner that deals with intricate symbolic and geometric problems, Trends Adv. Robotics 15, 100-109 (2005).
-
-
-
-
16
-
-
0036056335
-
Rearrangement planning of multiple movable objects by using realtime search methodology
-
Washingoton, DC, pp
-
J. Ota, Rearrangement planning of multiple movable objects by using realtime search methodology, in: Proc. IEEE Int. Conf. on Robotics and Automation, Washingoton, DC, pp. 947-953 (2002).
-
(2002)
Proc. IEEE Int. Conf. on Robotics and Automation
, pp. 947-953
-
-
Ota, J.1
-
17
-
-
0025400088
-
Real-time heuristic search
-
R.E. Korf, Real-time heuristic search, Artif. Intell. 42, 189-211 (1990).
-
(1990)
Artif. Intell
, vol.42
, pp. 189-211
-
-
Korf, R.E.1
-
19
-
-
84914171893
-
Motion planning in the presence of movable obstacles
-
Urbana-Champaign, IL, pp
-
G. Wilfong, Motion planning in the presence of movable obstacles, in: Proc. ACM Symp. on Computational Geometry, Urbana-Champaign, IL, pp. 279-288 (1988).
-
(1988)
Proc. ACM Symp. on Computational Geometry
, pp. 279-288
-
-
Wilfong, G.1
-
20
-
-
0034861222
-
Let's reduce the gap between task planning and motion planning
-
Seoul, pp
-
E. Guéré and R. Alami, Let's reduce the gap between task planning and motion planning, in: Proc. Int. Conf. on Robotics and Automation, Seoul, pp. 15-20 (2001).
-
(2001)
Proc. Int. Conf. on Robotics and Automation
, pp. 15-20
-
-
Guéré, E.1
Alami, R.2
-
21
-
-
0006422689
-
Two manipulation planning algorithms
-
K. Goldberg, D. Halperin, J.-C. Latombe and R. Watson Eds, pp, A. K. Peters, Wellesley, MA
-
R. Alami, J. P. Laumond and T. Simeon, Two manipulation planning algorithms, in: Algorithmic Foundations of Robotics, K. Goldberg, D. Halperin, J.-C. Latombe and R. Watson (Eds), pp. 109-125. A. K. Peters, Wellesley, MA (1995).
-
(1995)
Algorithmic Foundations of Robotics
, pp. 109-125
-
-
Alami, R.1
Laumond, J.P.2
Simeon, T.3
-
22
-
-
0026369737
-
Robot motion planning: A distributed representation approach
-
J. Barraquand and J. C. Latombe, Robot motion planning: a distributed representation approach, Int. J. Robotics Res. 10, 628-649 (1991).
-
(1991)
Int. J. Robotics Res
, vol.10
, pp. 628-649
-
-
Barraquand, J.1
Latombe, J.C.2
-
23
-
-
0025476011
-
Real-time robot motion planning using rasterizing computer graphics hardware
-
J. Lengyel, M. Reichert, B. R. Donald and D. P. Greenberg, Real-time robot motion planning using rasterizing computer graphics hardware, Comp. Graphics 24, 327-335 (1990).
-
(1990)
Comp. Graphics
, vol.24
, pp. 327-335
-
-
Lengyel, J.1
Reichert, M.2
Donald, B.R.3
Greenberg, D.P.4
-
24
-
-
0019601636
-
Linear-time approximation algorithms for finding the minimum-weight perfect matching on a plane
-
M. Iri, K. Murota and S. Matsui, Linear-time approximation algorithms for finding the minimum-weight perfect matching on a plane, Inform. Process. Lett. 12, 206-209 (1981).
-
(1981)
Inform. Process. Lett
, vol.12
, pp. 206-209
-
-
Iri, M.1
Murota, K.2
Matsui, S.3
-
25
-
-
3042536420
-
Rearrangement of multiple movable objects - integration of global and local planning methodology
-
New Orleans, LA, pp
-
J. Ota, Rearrangement of multiple movable objects - integration of global and local planning methodology, in: Proc. IEEE Int. Conf. on Robotics and Automation, New Orleans, LA, pp. 1962-1967 (2004).
-
(2004)
Proc. IEEE Int. Conf. on Robotics and Automation
, pp. 1962-1967
-
-
Ota, J.1
|