Journals in DBLP

J. Log. Comput.
1998, volume: 8, number: 3

1. Nicholas R. Jennings, Michael Wooldridge, Fausto Giunchiglia
   Editorial. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:3, pp:231-232 [Journal]
   
2. Mark d'Inverno, Michael Luck
   Engineering AgentSpeak(L): A Formal Computational Model. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:3, pp:233-260 [Journal]
   
3. Simon Parsons, Carles Sierra, Nicholas R. Jennings
   Agents That Reason and Negotiate by Arguing. [Citation Graph (1, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:3, pp:261-292 [Journal]
   
4. Anand S. Rao, Michael P. Georgeff
   Decision Procedures for BDI Logics. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:3, pp:293-342 [Journal]
   
5. Clare Dixon, Michael Fisher, Michael Wooldridge
   Resolution for Temporal Logics of Knowledge. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:3, pp:345-372 [Journal]
   
6. Fabio Massacci
   Tableau Methods for Formal Verification of Multi-Agent Distributed Systems. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:3, pp:373-400 [Journal]
   
7. Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini
   Model Checking Multiagent Systems. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:3, pp:401-423 [Journal]
   
8. Munindar P. Singh
   Applying the Mu-Calculus in Planning and Reasoning about Action. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:3, pp:425-445 [Journal]