Half-day workshop on AI, logic, and epistemic planning3 October 2013, Technical University of Denmark, Copenhagen, Denmark |
Half-day workshop on AI, logic, and epistemic planning3 October 2013, Technical University of Denmark, Copenhagen, Denmark |
| 8.30-9.00 | Welcome and Coffee |
| 9.00-9.45 | Bernhard Nebel, University of Freiburg |
| How Much Does a Household Robot Need to Know in Order to Tidy up? | |
| 9.45-10.30 | Christian Becker-Asano, University of Freiburg |
| Computational emotions for social agents | |
| 10.30-11.00 | Coffee break |
| 11.00-11.45 | Gerhard Lakemeyer, Aachen University of Technology |
| Multi-agent Only-Knowing | |
| 11.45-12.30 | Benedikt Löwe, Univ. Hamburg/Univ. Amsterdam |
| Formal representation, computer implementation, and empirical validation: reflections about the methodology of what we are doing |