On the occasion of the two PhD defenses by Malvin Gattinger and Chenwei Shi we will have a workshop on June 12th 2018.
Title: New Directions in Reasoning about Belief and Knowledge
Date and Time: Tuesday, June 12th 2018, 9:00-17:30
Location: ILLC Common Room F1.21, Science Park 107, Amsterdam
09:00 – 09:30 Franz Berto: The Theory of Topic-Sensitive Intentional Modals
09:30 – 10:00 Beishui Liao: Reasoning about values, norms and preferences in formal argumentation
10:00 – 10:30 Kaile Su: Symbolic Model Checking Real-time Alternating-time Temporal Logic of Knowledge RTATL*K
11:00 – 11:30 Aybüke Özgün & Ana Lucia Vargas Sandoval: APAL with Memory is Better
11:30 – 12:00 Chenwei Shi: Evidence-based belief: believing more or believing more consistently?
12:00 – 12:30 Malvin Gattinger: Symbolic Dynamic Gossip
14:00 – 14:30 Andreas Herzig: Epistemic planning and the epistemic gossip problem
14:30 – 15:00 Davide Grossi: On the Graded Acceptability of Arguments
15:00 – 15:30 Yanjing Wang: Call Me by Your Name: Epistemic Logic with Assignments and Non-rigid Names