Logical Robots: Declarative Multi-Agent Programming in Logica
arXiv:2604.06629v1 Announce Type: cross
Abstract: We present Logical Robots, an interactive multi-agent simulation platform where autonomous robot behavior is specified declaratively in the logic programming language Logica. Robot behavior is defined …