Logical Robots: Declarative Multi-Agent Programming in Logica

Evgeny Skvortsov, Yilin Xia, Ojaswa Garg +2

We present Logical Robots, an interactive multi-agent simulation platform where autonomous robot behavior is specified declaratively in the logic programming language Logica. Robot…