Multiple robot programming using a concurrent logic language.

David Ben-Arieh Oded Maimon

Published in: J. Intell. Robotic Syst. (1991)

Keyphrases

robot programming
formal theory
language learning
medical images
human robot interaction
operational semantics
predicate logic
query language
pose estimation
modal logic
conditional logic
formal language
concurrent programming