A project for the University of Groningen course “Logical Aspects of Multi-Agent Systems” exploring agent knowledge in distributed systems with semi-public announcements.

Authors