Origin of meta-symbols: Navigation and point logic.

Yukio-Pegio Gunji Tomoko Sakiyama

Published in: SCIS&ISIS (2012)

Keyphrases

artificial intelligence
navigation systems
obstacle avoidance
automated reasoning
modal logic
logic programming
machine learning
feature points
meta level
knowledge representation
video sequences
single point
sample points
epistemic logic
mathematical expressions
delay insensitive
sound and complete axiomatization