PIKA-lab / Courses / Autonomous Systems / Autonomous Systems A.Y. 2019/2020 / logic-agents