Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) cs.PL · 2026-02-06