| CLIMA program | | Thursday August 1st, 2002 |
All sessions take place in auditorium 7.
CLIMA's program is also available with abstracts.
09:00-10:30 Session 1: Agents: Arguments and Updates
| 09:00 | Michael
Schroeder and Ralf Schweimeier, City U, London, UK Arguments and misunderstandings: Fuzzy unification for negotiating agents |
| 09:30 | João
Alexandre Leite, New U of Lisbon, Portugal; José Júlio Alferes, New U of
Lisbon, Portugal; Luís Moniz Pereira, New U of Lisbon, Portugal; Halina
Przymusinska, Cal Poly Pomona, USA; and Teodor C. Przymusinski, U
California-Riverside, USA A language for multi-dimensional updates |
| 10:00 | Antonis
C. Kakas and Pavlos Moraitis, U Cyprus Argumentative agent deliberation, roles and context |
10:30-11:00 Refreshments
11:00-12:30 Session 2: Logics for Agents
| 11:00 | Katsuhiko
Toyama, Takahiro Kojima, and Yasuyoshi Inagaki; Nagoya U, Japan Translating multi-agent autoepistemic logic into logic program |
| 11:30 | Pierangelo
Dell'Acqua, Linköping U, Sweden; Ulf Nilsson, Linköping U, Sweden; and Luís
Moniz Pereira, New U of Lisbon, Portugal A logic based asynchronous multi-agent system |
| 12:00 | James
Harland and Michael Winikoff, RMIT U, Australia Language design issues for agents based on linear logic (extended abstract) |
12:30-14:00 Lunch
14:00-15:30 Session 3: BDI Agent Systems
| 14:00 | Rafael
H. Bordini, Federal U of Rio Grande do Sul, Brazil and Álvaro F. Moreira, U
Caxias do Sul, Brazil Proving the asymmetry thesis principles for a BDI agent-oriented programming language |
| 14:30 | Tadashi
Araragi, NTT Communication Science Laboratories, Japan; Shiro Takata, ATR
Media Information Science Laboratories, Japan; and Naoyuki Nide, Nara Women's
U, Japan A verification method for a commitment strategy of the BDI architecture |
| 15:00 | Naoyuki
Nide, Nara Women's U, Japan; Shiro Takata, ATR Media Information Science
Laboratories, Japan; and Tadashi Araragi, NTT Communication Science
Laboratories, Japan Deduction systems for BDI logics with mental state consistency |
15:30-16:00 Refreshments
16:00-17:30 Session 4: Agents: Speculative Computation and Introspection
| 16:00 | Hisashi
Hayashi, Kenta Cho, and Akihiko Ohsuga; Toshiba, Japan Speculative computation and action execution in multi-agent systems |
| 16:30 | Koji
Iwanuma, Yamanashi U, Japan and Katsumi Inoue, Kobe U, Japan Conditional answer computation in SOL as speculative computation in multi-agent environments |
| 17:00 | Thomas
Bolander, Techn. U of Denmark Maximal introspection of agents |
17:30-18:30 Panel Discussion
Chair:
Paolo Torroni
| 17:30 | Logics and Multi-agents: towards a new symbolic model of cognition |