


default search action
3rd CLIMA 2002: Copenhagen, Denmark
- Jürgen Dix, João Alexandre Leite, Ken Satoh:

Computational Logic in Multi-Agent Systems, CLIMA 2002, FLoC Satellite Event, Copenhagen, Denmark, August 1, 2002. Electronic Notes in Theoretical Computer Science 70(5), Elsevier 2002
Agents: Arguments and Updates
- Michael Schroeder, Ralf Schweimeier:

Arguments and Misunderstandings: Fuzzy Unification for Negotiating Agents. 1-19 - João Alexandre Leite

, José Júlio Alferes
, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski:
A Language for Multi-dimensional Updates. 20-38 - Antonis C. Kakas

, Pavlos Moraitis:
Argumentative Agent Deliberation, Roles and Context. 39-53
Logics for Agents
- Katsuhiko Toyama, Takahiro Kojima, Yasuyoshi Inagaki:

Translating Multi-Agent Autoepistemic Logic into Logic Program. 54-71 - Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira:

A Logic Based Asynchronous Multi-Agent System. 72-88 - James Harland

, Michael Winikoff:
Language Design Issues for Agents based on Linear Logic (Extended Abstract). 89-107
BDI Agent Systems
- Rafael H. Bordini, Álvaro F. Moreira:

Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. 108-125 - Tadashi Araragi, Shiro Takata, Naoyuki Nide:

A Verification Method for a Commitment Strategy of the BDI Architecture. 126-139 - Naoyuki Nide, Shiro Takata, Tadashi Araragi:

Deduction Systems for BDI Logics with Mental State Consistency. 140-152
Agents: Speculative Computation and Introspection
- Hisashi Hayashi, Kenta Cho, Akihiko Ohsuga:

Speculative Computation and Action Execution in Multi-Agent Systems. 153-166 - Koji Iwanuma, Katsumi Inoue

:
Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments. 167-182 - Thomas Bolander

:
Maximal Introspection of Agents. 183-198
Panel
- Paolo Torroni

:
Logics and Multi-agents: towards a new symbolic model of cognition. 199-203
Preface
- Jürgen Dix, João Alexandre Leite, Ken Satoh:

Preface. 204-206

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














