Schedule
Room S12, DTU Meeting Centre, 4 April 2014.
The program is rich in breaks, to stimulate research discussions between the participants (it might also stimulate heavy coffee drinking, but that is just a side effect).
|
9.00-9.30
|
Welcome and Coffee
|
|
|
9.30-10.30
|
Andreas Herzig, IRIT Toulouse
|
|
On the revision of planning tasks
|
|
|
10.30-11.00
|
Coffee break
|
|
|
11.00-12.00
|
Patrick Blackburn, University of Roskilde
|
|
Negotiating Context
|
|
|
12.00-13.00
|
Lunch break
|
|
|
13.00-14.00
|
Jens Ulrik Hansen, Lund University
|
|
A partial version of Dynamic Epistemic Logic
|
|
|
14.00-14.30
|
Coffee break
|
|
|
14.30-15.30
|
Thomas Ågotnes, University of Bergen
|
|
Some Aspects of Knowledge and Ability
|
|
|
15.30-16.00
|
Coffee break (if your body can take more coffee at this point)
|
|
|
16.00-17.00
|
Ron Petrick, University of Edinburgh
|
|
What would you like to drink? Knowledge-level planning for a social robot bartender (Editor's note: the perfect talk for a late Friday afternoon)
|
|
|
17.00-18.00
|
Drinks served by a social bartender
|
| (but only an old-fashioned human one, I'm afraid) |
