Evaluating a reactive semantics for robotics.

Geoffrey Biggs Bruce A. MacDonald

Published in: IROS (2008)

Keyphrases

formal semantics
artificial intelligence
computer vision
logic programming
real time
information retrieval
databases
industrial robots
proof theory
knowledge representation
web services
semantic information
robotic systems
default reasoning
metadata
search engine
neural network