CLIMA III 2002: Copenhagen, Denmark

Agents: Arguments and Updates

• Michael Schroeder, Ralf Schweimeier: Arguments and Misunderstandings: Fuzzy Unification for Negotiating Agents. 1-18 BibTeX
• 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 BibTeX
• Antonis C. Kakas, Pavlos Moraitis: Argumentative Agent Deliberation, Roles and Context. 35-48 BibTeX

Logics for Agents

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

BDI Agent Systems

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

Agents: Speculative Computation and Introspection

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

Panel

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