|
|
Detailed Schedule | Monday | Tuesday | Wednesday | Thursday | Friday
Schedule at a Glance
Moday, August 11 |
|
Tuesday, August 12 |
|
Wednesday, August 13 |
|
Thursday, August 14 |
|
Friday, August 15 |
|
Moday, August 11 |
|
11:00 - 11:10 |
|
Opening Remarks
Johan van Benthem and Eric Pacuit |
|
11:10 - 11:30 |
|
Maria Aloni and Paul Egre
Knowing whether A or B
Paper |
|
11:30 - 11:50 |
|
Nina Gierasimszuk
Identification through Inductive Verification: Application to Monotone Quantifiers
Paper |
|
11:50 - 12:10 |
|
Fernando Valazquez-Quesada
Inference and Update
Paper |
|
11:30 - 11:50 |
|
Giuseppe Primiero and Joke Meheus
Quasi-merging and Pure-arbitrarion on Information for the Family of Adaptive Logics ADM
Paper |
|
Tuesday, August 12 |
|
11:00 - 11:20 |
|
Joshua Sack
Extending Probabilistic Dynamic Epistemic Logic
Paper
|
|
11:20 - 11:40 |
|
Alistair Isaace
Diachronic Uncertainty and Equivalanece Notions for ETL Modesl of Extensive Form Games
Paper |
|
11:50 - 12:10 |
|
Johan van Benthem and Cedric Degremont
Multi-agent belief dynamics: bridges between dynamic doxastic and doxastic temporal logics
Paper |
|
12:10 - 12:30 |
|
Alexandru Baltag, Sonja Smets and Jonathan Zvesper
When all is done but not (yet) said: Dynamic rationality in extensive games
Paper |
|
Wednesday, August 13 |
|
11:00 - 11:50 |
|
Invited Lecture: Professor R. Ramanujam
Some Automata Theory for Epistemic Logics
Abstract |
|
11:50 - 12:10 |
|
Sujata Ghosh
Strategies made explicit in Dynamic Game Logics
Paper |
|
12:10 - 12:30 |
|
Sacia Pavan
Disambirguation Games in Extended and Strategic Form
Paper |
|
Thursday, August 14 |
|
11:00 - 11:20 |
|
Olivier Roy
Intentions and transformations of strategic games
Paper |
|
11:20 - 11:40 |
|
Lena Kurzen
A Logic for Cooperation, Actions and Preferences
Paper |
|
11:40 - 11:50 |
|
Break/Informal Discussion
|
|
11:50 - 12:10 |
|
Fahad Khan
Interleaved PDL and its relation to PDL
Paper |
|
12:10 - 12:30 |
|
Jan Broersen, Rosja Mastop, John-Jules Meyr and Paol Turrini
Its all up to you: A study of closed-world interaction and its optimal organization
Paper |
|
Friday, August 15 |
|
11:00 - 11:20 |
|
Natasha Alechina, Brian Logan, Nguyen Hoang Nga and Abdur Rakib
Verifying time, memory and communication bounds in systems of reasoning agents>
Paper
|
|
11:20 - 11:40 |
|
Tomohiro Hoshi and Audrey Yap
ETL, DEL and Past Operators
Paper |
|
11:40 - 12:00 |
|
Hans van Ditmarsch, Andreas Herzig, Jerome Lang and Pierre Marquis
Introspective forgetting
Paper |
|
12:00 - 12:30 |
|
Final Discussion
|
|
|