| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Language for Multi-dimensional Updates
|
Leite, João Alexandre
|
|
2002
|
70 |
5 |
p. 20-38
19 p.
|
artikel
|
| 2 |
A Logic Based Asynchronous Multi-Agent System
|
Dell'Acqua, Pierangelo
|
|
2002
|
70 |
5 |
p. 72-88
17 p.
|
artikel
|
| 3 |
Argumentative Agent Deliberation, Roles and Context
|
Kakas, Antonis C.
|
|
2002
|
70 |
5 |
p. 39-53
15 p.
|
artikel
|
| 4 |
Arguments and Misunderstandings
|
Schroeder, Michael
|
|
2002
|
70 |
5 |
p. 1-19
19 p.
|
artikel
|
| 5 |
A Verification Method for a Commitment Strategy of the BDI Architecture
|
Araragi, Tadashi
|
|
2002
|
70 |
5 |
p. 126-139
14 p.
|
artikel
|
| 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.
|
artikel
|
| 7 |
Deduction Systems for BDI Logics with Mental State Consistency
|
Naoyuki, Nide
|
|
2002
|
70 |
5 |
p. 140-152
13 p.
|
artikel
|
| 8 |
Language Design Issues for Agents based on Linear Logic (Extended Abstract)
|
Harland, James
|
|
2002
|
70 |
5 |
p. 89-107
19 p.
|
artikel
|
| 9 |
Logics and Multi-agents: towards a new symbolic model of cognition
|
Torroni, Paolo
|
|
2002
|
70 |
5 |
p. 199-203
5 p.
|
artikel
|
| 10 |
Maximal Introspection of Agents
|
Bolander, Thomas
|
|
2002
|
70 |
5 |
p. 183-198
16 p.
|
artikel
|
| 11 |
Preface
|
Dix, Jürgen
|
|
2002
|
70 |
5 |
p. 204-206
3 p.
|
artikel
|
| 12 |
Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language
|
Bordini, Rafael H.
|
|
2002
|
70 |
5 |
p. 108-125
18 p.
|
artikel
|
| 13 |
Speculative Computation and Action Execution in Multi-Agent Systems
|
Hayashi, Hisashi
|
|
2002
|
70 |
5 |
p. 153-166
14 p.
|
artikel
|
| 14 |
Translating Multi-Agent Autoepistemic Logic into Logic Program
|
Katsuhiko, Toyama
|
|
2002
|
70 |
5 |
p. 54-71
18 p.
|
artikel
|
Tijdschrift beschrijving