Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd 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
a service of 
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.
last updated on 2024-04-18 20:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
