CLIMA III 2002: Copenhagen, Denmark

Agents: Arguments and Updates

• Michael Schroeder, Ralf Schweimeier: Arguments and Misunderstandings: Fuzzy Unification for Negotiating Agents. 1-18
• João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: A Language for Multi-dimensional Updates. 19-34
• Antonis C. Kakas, Pavlos Moraitis: Argumentative Agent Deliberation, Roles and Context. 35-48

Logics for Agents

• Katsuhiko Toyama, Takahiro Kojima, Yasuyoshi Inagaki: Translating Multi-Agent Autoepistemic Logic into Logic Program. 49-62
• Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira: A Logic Based Asynchronous Multi-Agent System. 63-78
• James Harland, Michael Winikoff: Language Design Issues for Agents based on Linear Logic (Extended Abstract). 79-93

BDI Agent Systems

• Rafael H. Bordini, Álvaro F. Moreira: Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. 94-108
• Tadashi Araragi, Shiro Takata, Naoyuki Nide: A Verification Method for a Commitment Strategy of the BDI Architecture. 109-122
• Naoyuki Nide, Shiro Takata, Tadashi Araragi: Deduction Systems for BDI Logics with Mental State Consistency. 123-135

Agents: Speculative Computation and Introspection

• Hisashi Hayashi, Kenta Cho, Akihiko Ohsuga: Speculative Computation and Action Execution in Multi-Agent Systems. 136-148
• Koji Iwanuma, Katsumi Inoue: Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments. 149-162
• Thomas Bolander: Maximal Introspection of Agents. 163-176

Panel

• Paolo Torroni: Logics and Multi-agents: towards a new symbolic model of cognition. 177-180