Speculative Computation and Action Execution in Multi-Agent
Systems
Hisashi Hayashi, Kenta Cho and Akihiko Ohsuga
Translating MultiAgent Autoepistemic Logic into Logic Program
Katsuhiko Toyama, Takahiro Kojima and Yasuyoshi Inagaki
Arguments and Misunderstandings: Fuzzy Unification for Negotiating Agents
Michael Schroeder and Ralf Schweimeier
Deduction Systems for BDI Logics with Mental State Consistency
Nide Naoyuki, Shiro Takata, and Tadashi Araragi
Language Design Issues for Agents based on Linear Logic (Extended Abstract)
James Harland and Michael Winikoff
A Logic Based Asynchronous Multi-Agent System
P. Dell'Acqua, U. Nilsson and L. M. Pereira
Conditional Answer Computation in SOL as Speculative Computation in
Multi-Agent Environments
Koji Iwanuma and Katsumi Inoue
A Language for Multi-dimensional Updates
J. A. Leite, J. J. Alferes, L. M. Pereira, H. Przymusinska and T. Przymusinski
Maximal introspection of agents
Thomas Bolander
Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented
Programming Language
Rafael H. Bordini and Álvaro F. Moreira
A verification method for a Commitment Strategy of the BDI Architecture
Tadashi Araragi, Shiro Takata and Nide Naoyuki
Argumentative Agent Deliberation, Roles and Context
Antonis Kakas and Pavlos Moraïtis