|
tuesday september 28th |
14:00 - 19:00 |
excursion to sintra |
|
|
|
wednesday september 29th |
11:00 - 12:40 |
session 1 - logic foundations of mas i |
|
- contextual
taxonomies by
davide grossi, frank dignum, john-jules meyer
|
|
- graded bdi models for agent architectures by
ana casali, lluís godo, carles sierra
|
|
- inferring trust by
mehdi dastani, andreas herzig, joris hulstijn, leendert van der torre
|
|
- metareasoning for
multi-agent epistemic logics by
konstantine arkoudas, selmer bringsjord
|
12:40 - 14:00 |
lunch break
|
14:00 - 15:40 |
invited talk |
|
|
15:40 - 16:10 |
coffee break
|
16:10 - 17:50 |
session 2 - comunication and coordination |
|
- a computational
model for conversation policies for agent communication by
jamal bentahar, bernard moulin, john-jules ch. meyer, brahim chaib-draa
|
|
- verifying protocol
conformance for logic-based communicating agents by
matteo baldoni, cristina baroglio, alberto martelli, viviana patti, claudio
schifanella
|
|
- coordination between
logical agents by
chiaki sakama, katsumi inoue
|
|
- solving
collaborative fuzzy agents problems with clp(fd) by
susana muñoz hernández, jose manuel gómez pérez
|
20:00 - 24:00 |
social dinner
|
|
|
|
thursday september 30th |
11:00 - 12:40 |
session 3 - planning and applications |
|
- planning partially
for situated agents by
paolo mancarella, fariba sadri, giacomo terreni, francesca toni
|
|
- an application of
global abduction to an information agent which modifies a plan upon failure -
preliminary report - by
ken satoh
|
|
- organising software
in active environments by
michael fisher, benjamin hirsch, chiara ghidini, paolo busetta
|
|
- desire-space
analysis and action selection for multiple dynamic goals by
david c. han, k. suzanne barber
|
12:40 - 14:00 |
lunch break
|
14:00 - 15:40 |
session 4 - logic foundations of mas ii |
|
- dynamic logic for
plan revision in intelligent agents by
m. birna van riemsdijk, frank s. de boer, john-jules ch. meyer
|
|
- declarative agent
control by
antonis kakas, paolo mancarella, fariba sadri, kostas stathis, francesca toni
|
|
- dynamic logic
programming: various semantics are equal on acyclic programs by
martin homola
|
|
- from logic programs
updates to action description updates by
josé julio alferes, federico banti, antonio brogi
|
15:40 - 16:10 |
coffee break
|
16:10 - 17:50 |
session 5 - pannel discussion |
|
topic and moderator to be announced |