Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2002, volume: 70, number: 5

1. Tadashi Araragi, Shiro Takata, Naoyuki Nide
   A Verification Method for a Commitment Strategy of the BDI Architecture. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal]
   
2. Paolo Torroni
   Logics and Multi-agents: towards a new symbolic model of cognition. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal]
   
3. Michael Schroeder, Ralf Schweimeier
   Arguments and Misunderstandings: Fuzzy Unification for Negotiating Agents. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal]
   
4. Naoyuki Nide, Shiro Takata, Tadashi Araragi
   Deduction Systems for BDI Logics with Mental State Consistency. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal]
   
5. João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
   A Language for Multi-dimensional Updates. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal]
   
6. Antonis C. Kakas, Pavlos Moraitis
   Argumentative Agent Deliberation, Roles and Context. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal]
   
7. Koji Iwanuma, Katsumi Inoue
   Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal]
   
8. Hisashi Hayashi, Kenta Cho, Akihiko Ohsuga
   Speculative Computation and Action Execution in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal]
   
9. James Harland, Michael Winikoff
   Language Design Issues for Agents based on Linear Logic (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal]
   
10. Jürgen Dix, João Alexandre Leite, Ken Satoh
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal]
    
11. Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira
    A Logic Based Asynchronous Multi-Agent System. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal]
    
12. Rafael H. Bordini, Álvaro F. Moreira
    Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal]
    
13. Thomas Bolander
    Maximal Introspection of Agents. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal]
    
14. Katsuhiko Toyama, Takahiro Kojima, Yasuyoshi Inagaki
    Translating Multi-Agent Autoepistemic Logic into Logic Program. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal]