Logical Robots is a new platform for specifying multi-agent robot behaviors declaratively via logical predicates in Logica that map sensor observations to motor actions.
Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, and Richard B
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.MA 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Logical Robots: Declarative Multi-Agent Programming in Logica
Logical Robots is a new platform for specifying multi-agent robot behaviors declaratively via logical predicates in Logica that map sensor observations to motor actions.