CLIMA program

Thursday August 1st, 2002

All sessions take place in auditorium 7.

CLIMA's program is also available with abstracts or side by side with other meetings.

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