Implementing a reactive semantics using OpenRTM-aist.

Geoffrey Biggs Bruce A. MacDonald

Published in: IROS (2010)

Keyphrases

agent architecture
formal semantics
multiscale
semantic information
model theoretic
data sets
data model
logic programming
semantic relationships
operational semantics
proof theory
logical language