Slides and extended abstracts from talks given at |
This page contains slides and extended abstracts from the talks given at the workshop To Be Announced! Synthesis of Epistemic Protocols at the Lorentz Center in Leiden.
The workshop featured a number of invited talks. Please find slides from these talks below.
| Speaker | Title | Material |
|---|---|---|
| Natasha Alechina | When observation and communication have costs | slides |
| Guillaume Aucher | Synthesis of Epistemic Plans and Protocols with DEL | slides |
| Valentin Goranko | Secure aggregation of distributed information in multi-agent systems | slides (note correction on p. 15) |
| Jérôme Lang | Knowledge-based programs as plans | slides |
| Robert Mattmüller | Cooperative Epistemic Multi-Agent Planning With Implicit Coordination | slides |
| Sheila McIlraith | Planning Over Multi-Agent Epistemic States: A Classical Planning Approach | slides |
| Yoram Moses | Protocol Design via Epistemic Analysis | slides |
| Sophie Pinchinat | Relating paths in transition systems: the fall of the modal mu-calculus | slides |
| Yanjing Wang | An epistemic logic of "knowing what" | slides |
The rump sessions were short 10 minutes presentations by participants of the workshop. All participants were invited to give such a talk.
| Speaker | Title | Material |
|---|---|---|
| Vaishak Belle | ALLEGRO + HYPE | slides |
| Thomas Bolander | Complexity Results in Epistemic Planning | slides |
| Peter van Emde Boas | Pang Juan will die under this tree | slides |
| Yanjun Li | Conformant Planning with Probability | slides |
| Faustine Maffre | Gossipers and epistemic logic | slides |
| Christos Moyzes | Program Models and Semi-Public Environments | slides |
| Christian Muise | Making Agents Less Godlike | slides |
| Pere Pardo | Some results on Dynamic Gossip | extended abstract |
| Soumya Paul | Conversations as infinite games | slides |
| R. Ramanujam | Pure equilibria in large games | abstract |
| Francois Schwarzentruber | Asynchronous announcements in a public channel | extended abstract |
| Anaëlle Wilczynski | Knowledge-Based Programs as Plans: Generating Knowledge-Based Plans | slides |
The workshop featured a poster session on the first day. Not all authors of the posters were present; those who were are emphasized below.
| Author(s) | Title | Material |
|---|---|---|
| Vaishak Belle, Hector J. Levesque | ALLEGRO: Belief-based Programming in Stochastic Dynamical Domains | poster |
| Thomas Bolander, Martin Holm Jensen, Francois Schwarentruber | Complexity Results in Epistemic Planning | poster |
| Thorsten Engesser, Thomas Bolander, Robert Mattmüller, Bernhard Nebel | Cooperative Epistemic Multi-Agent Planning with Implicit Coordination | poster |
| Christian Muise, Vaishak Belle, Paolo Felli, Sheila McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg | Planning Over Multi-Agent Epistemic States: A Classical Planning Approach | poster |
The workshop featured a public lecture at Museum Boerhaave by Barteld Kooi and Hans van Ditmarsch. This public lecture also functioned as the release party of the book One Hundred Prisoners and a Light Bulb by the same authors.
| Speaker | Title | Material |
|---|---|---|
| Barteld Kooi and Hans van Ditmarsch | One Hundred Prisoners and a Light Bulb | slides |
The workshop featured group work in discussion groups. The notes produced by these groups can be found below.
| Group | Title | Material |
|---|---|---|
| Agents and Agency | notes | |
| Communication and Concurrency | notes | |
| Gossip problems and protocols | notes |