clima v

fifth workshop on computational logic in multi-agent systems

[home] [call for papers] [important dates] [proceedings] [program committee] [past events]

[submissions] [accepted papers] [invited talk] [program] [registration] [accommodation]

[venue] [travel information] [inquiries] [steering committee] [about lisbon]


Tuesday September 28th
14:00 excursion        
  wednesday september 29th     thursday september 30th
09:30 jelia'04 invited talk (f. baader)   09:30 jelia'04 invited talk (b. nebel)
10:30 coffee break 10:30 coffee break
11:00 logic foundations of mas i jelia'04 lpnmr ii 11:00 planning and applications jelia'04 belief revision
12:40 lunch   12:40 lunch
14:00 invited talk (alessio lomuscio) jelia'04 modal, spacial and temporal logics   14:00 logic foundations of mas ii jelia'04 theorem proving
15:40 coffee break 15:40 coffee break
16:10 comunication and coordination jelia'04 applications i   16:10 pannel jelia'04 applications ii
17:50     17:50    
20:00 social dinner        
  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