|
9.30-10.00
|
Welcome and Coffee
|
|
|
10.00-10.50
|
Ron Petrick, University of Edinburgh
|
|
Knowledge-level planning for task-oriented social interaction
|
|
|
10.50-11.10
|
Coffee break
|
|
|
11.10-12.00
|
Martin Mose Bentzen, DTU
|
|
The principle of double effect applied to thought experiments in ethics – a formal approach
|
|
|
12.00-13.00
|
Lunch break
|
|
|
13.00-13.50
|
Rasmus Rendsvig, Lund Universitet
|
|
Autonomous "Meta-Models" for Dynamic Epistemic Logic
|
|
|
13.50-14.20
|
Coffee break
|
|
|
14.20-15.10
|
Jens Ulrik Hansen, Lund University
|
|
Reasoning about influence in social networks
|
|
|
15.10-15.30
|
Coffee break
|
|
|
15.30-16.20
|
Sonja Smets, University of Amsterdam
|
|
A logical analysis of belief formation and doxastic influence based on evidence and trust
|
|
