Extended Vector Annotated Logic Program and its Applications to Robot Action Control and Automated Safety Verification.

Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki

Browse the full HIS paper archive.