-
1
-
-
57749112937
-
What is answer set programming?
-
MIT Press
-
V. Lifschitz, "What is answer set programming?" in Proc. of AAAI. MIT Press, 2008, pp. 1594-1597.
-
(2008)
Proc. of AAAI
, pp. 1594-1597
-
-
Lifschitz, V.1
-
2
-
-
80055034805
-
Answer set programming at a glance
-
G. Brewka, T. Eiter, and M. Truszczynski, "Answer set programming at a glance," Commun. ACM, vol. 54, no. 12, pp. 92-103, 2011.
-
(2011)
Commun. ACM
, vol.54
, Issue.12
, pp. 92-103
-
-
Brewka, G.1
Eiter, T.2
Truszczynski, M.3
-
3
-
-
38049060388
-
Clasp: A conflict-driven answer set solver
-
Springer
-
M. Gebser, B. Kaufmann, A. Neumann, and T. Schaub, "clasp: A conflict-driven answer set solver," in Proc. of LPNMR. Springer, 2007, pp. 260-265.
-
(2007)
Proc. of LPNMR
, pp. 260-265
-
-
Gebser, M.1
Kaufmann, B.2
Neumann, A.3
Schaub, T.4
-
4
-
-
84861400735
-
The international sat solver competitionss
-
M. Järvisalo, D. Le Berre, O. Roussel, and L. Simon, "The international sat solver competitionss," AI Magazine, vol. 33, no. 1, p. 89, 2012.
-
(2012)
AI Magazine
, vol.33
, Issue.1
, pp. 89
-
-
Järvisalo, M.1
Le Berre, D.2
Roussel, O.3
Simon, L.4
-
5
-
-
84871699800
-
Combining high-level causal reasoning with low-level geometric reasoning and motion planning for robotic manipulation
-
E. Erdem, K. Haspalamutgil, C. Palaz, V. Patoglu, and T. Uras, "Combining high-level causal reasoning with low-level geometric reasoning and motion planning for robotic manipulation," in Proc. 2011 IEEE Int. Conf. Robotics and Automation (ICRA), 2011.
-
(2011)
Proc. 2011 IEEE Int. Conf. Robotics and Automation (ICRA)
-
-
Erdem, E.1
Haspalamutgil, K.2
Palaz, C.3
Patoglu, V.4
Uras, T.5
-
6
-
-
84867576454
-
Answer set programming for collaborative housekeeping robotics: Representation, reasoning, and execution
-
E. Erdem, E. Aker, and V. Patoglu, "Answer set programming for collaborative housekeeping robotics: Representation, reasoning, and execution," Intelligent Service Robotics, vol. 5, no. 4, pp. 275-291, 2012.
-
(2012)
Intelligent Service Robotics
, vol.5
, Issue.4
, pp. 275-291
-
-
Erdem, E.1
Aker, E.2
Patoglu, V.3
-
7
-
-
35349013670
-
Manipulation planning among movable obstacles
-
M. Stilman, J.-U. Schamburek, J. Kuffner, and T. Asfour, "Manipulation planning among movable obstacles," in Proc. of IEEE ICRA, 2007, pp. 3327-3332.
-
(2007)
Proc. of IEEE ICRA
, pp. 3327-3332
-
-
Stilman, M.1
Schamburek, J.-U.2
Kuffner, J.3
Asfour, T.4
-
8
-
-
57249105450
-
Planning among movable obstacles with artificial constraints
-
M. Stilman and J. Kuffner, "Planning among movable obstacles with artificial constraints," The International Journal of Robotics Research, vol. 27, no. 11-12, pp. 1295-1307, 2008.
-
(2008)
The International Journal of Robotics Research
, vol.27
, Issue.11-12
, pp. 1295-1307
-
-
Stilman, M.1
Kuffner, J.2
-
10
-
-
84865204281
-
A planning framework for non-prehensile manipulation under clutter and uncertainty
-
M. R. Dogar and S. S. Srinivasa, "A planning framework for non-prehensile manipulation under clutter and uncertainty," Autonomous Robots, vol. 33, no. 3, pp. 217-236, 2012.
-
(2012)
Autonomous Robots
, vol.33
, Issue.3
, pp. 217-236
-
-
Dogar, M.R.1
Srinivasa, S.S.2
-
12
-
-
84867963022
-
Pushing blocks is hard
-
E. D. Demaine, M. L. Demaine, M. Hoffmann, and J. O'Rourke, "Pushing blocks is hard," Comput. Geom., vol. 26, no. 1, pp. 21-36, 2003.
-
(2003)
Comput. Geom.
, vol.26
, Issue.1
, pp. 21-36
-
-
Demaine, E.D.1
Demaine, M.L.2
Hoffmann, M.3
O'Rourke, J.4
-
13
-
-
77949838775
-
Path planning among movable obstacles: A probabilistically complete approach
-
Springer
-
J. Van Den Berg, M. Stilman, J. Kuffner, M. Lin, and D. Manocha, "Path planning among movable obstacles: A probabilistically complete approach," in Algorithmic Foundation of Robotics VIII. Springer, 2009, pp. 599-614.
-
(2009)
Algorithmic Foundation of Robotics VIII
, pp. 599-614
-
-
Berg Den J.Van1
Stilman, M.2
Kuffner, J.3
Lin, M.4
Manocha, D.5
-
14
-
-
0032187775
-
To push or not to push: On the rearrangement of movable objects by a mobile robot
-
O. Ben-Shahar and E. Rivlin, "To push or not to push: on the rearrangement of movable objects by a mobile robot," IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, vol. 28, no. 5, pp. 667-679, 1998.
-
(1998)
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
, vol.28
, Issue.5
, pp. 667-679
-
-
Ben-Shahar, O.1
Rivlin, E.2
-
15
-
-
0025749064
-
Practical path planning among movable obstacles
-
P. C. Chen and Y. K. Hwang, "Practical path planning among movable obstacles," in Proc. of IEEE ICRA, 1991, pp. 444-449.
-
(1991)
Proc. of IEEE ICRA
, pp. 444-449
-
-
Chen, P.C.1
Hwang, Y.K.2
-
16
-
-
84929168086
-
Manipulation with multiple action types
-
Springer
-
J. Barry, K. Hsiao, L. P. Kaelbling, and T. Lozano-Pérez, "Manipulation with multiple action types," in Experimental Robotics. Springer, 2013, pp. 531-545.
-
(2013)
Experimental Robotics
, pp. 531-545
-
-
Barry, J.1
Hsiao, K.2
Kaelbling, L.P.3
Lozano-Pérez, T.4
-
17
-
-
84455200400
-
Push planning for object placement on cluttered table surfaces
-
A. Cosgun, T. Hermans, V. Emeli, and M. Stilman, "Push planning for object placement on cluttered table surfaces," in Proc. of IROS, 2011, pp. 4627-4632.
-
(2011)
Proc. of IROS
, pp. 4627-4632
-
-
Cosgun, A.1
Hermans, T.2
Emeli, V.3
Stilman, M.4
-
18
-
-
14044252892
-
Environment manipulation planner for humanoid robots using task graph that generates action sequence
-
K. Okada, A. Haneda, H. Nakai, M. Inaba, and H. Inoue, "Environment manipulation planner for humanoid robots using task graph that generates action sequence," in Proc. of IROS, 2004, pp. 1174-1179.
-
(2004)
Proc. of IROS
, pp. 1174-1179
-
-
Okada, K.1
Haneda, A.2
Nakai, H.3
Inaba, M.4
Inoue, H.5
-
19
-
-
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," International Journal of Humanoid Robotics, vol. 2, no. 04, pp. 479-503, 2005.
-
(2005)
International Journal of Humanoid Robotics
, vol.2
, Issue.4
, pp. 479-503
-
-
Stilman, M.1
Kuffner, J.J.2
-
20
-
-
84880870431
-
Answer set programming for reasoning with semantic knowledge in collaborative housekeeping robotics
-
E. Aker, V. Patoglu, and E. Erdem, "Answer set programming for reasoning with semantic knowledge in collaborative housekeeping robotics," in Proc. Int. IFAC Symp. Robot Control (SYROCO), 2012.
-
(2012)
Proc. Int. IFAC Symp. Robot Control (SYROCO)
-
-
Aker, E.1
Patoglu, V.2
Erdem, E.3
-
21
-
-
84929185569
-
-
Aug
-
(2013, Aug.) dlvhex. [Online]. Available: http://www.kr.tuwien.ac.at/research/systems/dlvhex/
-
(2013)
Dlvhex
-
-
|