Journals in DBLP

J. Applied Logic
2007, volume: 5, number: 2

1. Michael Fisher, Munindar P. Singh, Diana F. Spears, Michael Wooldridge
   Logic-Based Agent Verification. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2007, v:5, n:2, pp:193-195 [Journal]
   
2. Christopher D. Walton
   Verifiable agent dialogues. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2007, v:5, n:2, pp:197-213 [Journal]
   
3. Laura Giordano, Alberto Martelli, Camilla Schwind
   Specifying and verifying interaction protocols in a temporal action logic. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2007, v:5, n:2, pp:214-234 [Journal]
   
4. Franco Raimondi, Alessio Lomuscio
   Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2007, v:5, n:2, pp:235-251 [Journal]
   
5. Yves Bontemps, Pierre-Yves Schobbens
   The computational complexity of scenario-based agent verification and design. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2007, v:5, n:2, pp:252-276 [Journal]
   
6. Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
   A verification framework for agent programming with declarative goals. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2007, v:5, n:2, pp:277-302 [Journal]
   
7. Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer
   Security of multi-agent systems: A case study on comparison shopping. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2007, v:5, n:2, pp:303-332 [Journal]
   
8. Hai-Feng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan, I. V. Ramakrishnan
   Precise specification matching for adaptive reuse in embedded systems. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2007, v:5, n:2, pp:333-355 [Journal]
   
9. Murdoch Gabbay
   Fresh Logic: proof-theory and semantics for FM and nominal techniques. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2007, v:5, n:2, pp:356-387 [Journal]