CLIMA III 2002: Copenhagen, Denmark

Jürgen Dix, João Alexandre Leite, Ken Satoh (Eds.): Computational Logic in Multi-Agent Systems: 3rd International Workshop, CLIMA'02, Copenhagen, Denmark, August 1, 2002, Pre-Proceedings. Datalogiske Skrifter 93 Roskilde University 2002

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

Last update Thu May 24 04:14:55 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page