|
You may download the pdf version here. Day 1 - July 22 | 08:45 | Technical preparations / Setup | | 09:00 | Welcome and Overview (Thomas Roth-Berghofer / David Leake) | | 09:15 | Introduction of participants | | 09:30 | Invited Talk: Doug Walton "Dialogical models of explanation" (slides)
| | 10:30 | Coffee break | | 11:00 | "A discourse approach to explanation aware knowledge representation" (slides)
Andrew Potter | | 11:30 | "A categorization of explanation questions for task processing systems" (slides)
Deborah L. McGuinness, Alyssa Glass, Michael Wolverton, Paulo Pinheiro da Silva | | 12:00 | Lunch break | | 13:30 | "How to build explanations of machine-found proofs: A methodology and requirements on domain representations" (slides)
Helmut Horacek | | 14:00 | "An MDP approach for explanation generation" (slides)
Francisco Elizalde Flores, Enrique Sucar, Alberto Reyes, Pablo de Buen | | 14:30 | "A modular explanation interlingua" (slides)
Deborah L. McGuinness, Li Ding, Paulo Pinheiro da Silva, Cynthia Chang | | 15:00 | Topic acquisition for Topic Groups discussions
We will select three or four topics that are of interest to the symposium attendees and assign each topic to a discussion group. Groups will discuss them privately and later report their results.
| | 15:30 | Coffee break | | 16:00 | "Solving the Minimum number of Open Stacks Problem with explanation-based techniques“ (slides)
Narendra Jussien, Hadrien Cambazard | | 16:30– | Topic Groups meet on their own and start discussing | | 19:30 | Joint dinner at a restaurant
Traditionally, we–the organizers–try to find a nice restaurant where we–all workshop attendees–can talk about a bit more than this workshop. |
Day 2 - July 23 | 09:15 | Welcome back | | 09:30 | Invited talk: Bruce Porter "A new class of knowledge systems and their explanation requirements" | | 10:30 | Coffee break | | 11:00 | "Designing explanation-aware systems: The quest for Explanation Patterns"
Jörg Cassens, Anders Kofod-Petersen
| | 11:30 | Lunch break | | 13:00 | "Exploitation of argumentation models for mission analysis review" (slides)
Micheline Belanger
"Learning models from temporal-logic properties via explanation"
David A. Rosenblueth, Miguel Carrillo
"Generating explanations using a classical planner and modelling reasoning processes, skills and knowledge" (slides)
Alan Wheeldon | | 14:00 | Demo Session (Daniel Bahls) The demo session will start with a short presentation (max. 3 minutes each) to all of the workshop participants in order to provide a quick overview. - "Forward and backward explanations in myCBR" (Daniel Bahls, TRB)
- (more titles to be announced)
| | 15:00 | Preparation of results of Topic Groups discussions
Each topic group should collect its results and prepare to make a short presentation for discussion. Groups should use PowerPoint (or similar) as a way of documenting their results for further discussion and (optionally) as the basis for proposing follow-on workshops on promising topics.
| | 15:30 | Coffee break | | 16:00 | Presentation of results of the Topic Groups discussions | 16:45–17:00
| Wrap-up and closing |
|