Facilitating Human-Robot Interaction: A Formal Logic for Task Description.

Takéhiko Nakama Enrique Muñoz Kevin LeBlanc Enrique H. Ruspini

Published in: ROBOT (2) (2013)

Keyphrases

human robot interaction
formal logic
human robot
predicate logic
gesture recognition
humanoid robot
robot programming
service robots
high level
logic programming
pointing gestures
artificial intelligence
design theory
description logics
formal methods
information extraction
knowledge base