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.