Sciweavers

3718 search results - page 27 / 744
» Programming by Integration in Robotics
Sort
View
IFIP
2010
Springer
14 years 4 months ago
Match It or Die: Proving Integrity by Equality
Matteo Centenaro, Riccardo Focardi
IROS
2007
IEEE
171views Robotics» more  IROS 2007»
15 years 3 months ago
VIsion force control in task-oriented grasping and manipulation
— In this paper, we present a novel approach for sensor-guided robotic execution of everyday tasks, which is amenable to be integrated in current mobile manipulators and humanoid...
Mario Prats, Philippe Martinet, Angel P. Del Pobil...
KI
2004
Springer
15 years 3 months ago
On-Line Decision-Theoretic Golog for Unpredictable Domains
Abstract. DTGolog was proposed by Boutilier et al. as an integration of decision-theoretic (DT) planning and the programming language Golog. Advantages include the ability to handl...
Alexander Ferrein, Christian Fritz, Gerhard Lakeme...
RR
2009
Springer
15 years 2 months ago
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
Robert A. Kowalski, Fariba Sadri
ICRA
2007
IEEE
125views Robotics» more  ICRA 2007»
15 years 4 months ago
Progress in Programming the HRP-2 Humanoid Using Spoken Language
—The current research analyses and demonstrates how spoken language can be used by human users to communicate with the HRP-2 humanoid to program the robot’s behavior in a coope...
Peter Ford Dominey, Anthony Mallet, Eiichi Yoshida