TY  - RPRT
TI  - Logical Robots: Declarative Multi-Agent Programming in Logica
AU  - Evgeny Skvortsov
AU  - Yilin Xia
AU  - Ojaswa Garg
AU  - Shawn Bowers
AU  - Bertram Ludäscher
PY  - 2026
UR  - https://arxiv.org/abs/2604.06629
ID  - 2604.06629
ER  -