Regular papers

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

Thomas Bolander, Techn. U of Denmark
Maximal introspection of agents

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

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

James Harland and Michael Winikoff, RMIT U, Australia
Language design issues for agents based on linear logic (extended abstract)

Hisashi Hayashi, Kenta Cho, and Akihiko Ohsuga; Toshiba, Japan
Speculative computation and action execution in multi-agent systems

Koji Iwanuma, Yamanashi U, Japan and Katsumi Inoue, Kobe U, Japan
Conditional answer computation in SOL as speculative computation in multi-agent environments

Antonis C. Kakas and Pavlos Moraitis, U Cyprus
Argumentative agent deliberation, roles and context

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

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

Michael Schroeder and Ralf Schweimeier, City U, London, UK
Arguments and misunderstandings: Fuzzy unification for negotiating agents

Katsuhiko Toyama, Takahiro Kojima, and Yasuyoshi Inagaki; Nagoya U, Japan
Translating multi-agent autoepistemic logic into logic program