no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
A Language for Multi-dimensional Updates
|
Leite, João Alexandre |
|
2002 |
70 |
5 |
p. 20-38 19 p. |
article |
2 |
A Logic Based Asynchronous Multi-Agent System
|
Dell'Acqua, Pierangelo |
|
2002 |
70 |
5 |
p. 72-88 17 p. |
article |
3 |
Argumentative Agent Deliberation, Roles and Context
|
Kakas, Antonis C. |
|
2002 |
70 |
5 |
p. 39-53 15 p. |
article |
4 |
Arguments and Misunderstandings
|
Schroeder, Michael |
|
2002 |
70 |
5 |
p. 1-19 19 p. |
article |
5 |
A Verification Method for a Commitment Strategy of the BDI Architecture
|
Araragi, Tadashi |
|
2002 |
70 |
5 |
p. 126-139 14 p. |
article |
6 |
Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments 1 1 This research was supported partly by Grant-in-Aid from The Ministry of Education, Science and Culture of Japan.
|
Iwanuma, Koji |
|
2002 |
70 |
5 |
p. 167-182 16 p. |
article |
7 |
Deduction Systems for BDI Logics with Mental State Consistency
|
Naoyuki, Nide |
|
2002 |
70 |
5 |
p. 140-152 13 p. |
article |
8 |
Language Design Issues for Agents based on Linear Logic (Extended Abstract)
|
Harland, James |
|
2002 |
70 |
5 |
p. 89-107 19 p. |
article |
9 |
Logics and Multi-agents: towards a new symbolic model of cognition
|
Torroni, Paolo |
|
2002 |
70 |
5 |
p. 199-203 5 p. |
article |
10 |
Maximal Introspection of Agents
|
Bolander, Thomas |
|
2002 |
70 |
5 |
p. 183-198 16 p. |
article |
11 |
Preface
|
Dix, Jürgen |
|
2002 |
70 |
5 |
p. 204-206 3 p. |
article |
12 |
Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language
|
Bordini, Rafael H. |
|
2002 |
70 |
5 |
p. 108-125 18 p. |
article |
13 |
Speculative Computation and Action Execution in Multi-Agent Systems
|
Hayashi, Hisashi |
|
2002 |
70 |
5 |
p. 153-166 14 p. |
article |
14 |
Translating Multi-Agent Autoepistemic Logic into Logic Program
|
Katsuhiko, Toyama |
|
2002 |
70 |
5 |
p. 54-71 18 p. |
article |