Journals in DBLP

AI Commun.
2006, volume: 19, number: 2

1. Luigi Palopoli, Domenico Rosaci, Domenico Ursino
   Agents' roles in B2C e-commerce. [Citation Graph (0, 0)][DBLP]
   AI Commun., 2006, v:19, n:2, pp:95-126 [Journal]
   
2. Ignacio Herrero, Cristina Urdiales, Jose Manuel Peula, Isabel Sanchez-Tato, Francisco Sandoval Hernández
   A guided learning strategy for vision based navigation of 4-legged robots. [Citation Graph (0, 0)][DBLP]
   AI Commun., 2006, v:19, n:2, pp:127-136 [Journal]
   
3. Alfredo Garro, Luigi Palopoli, Francesco Ricca
   Exploiting agents in e-learning and skills management context. [Citation Graph (0, 0)][DBLP]
   AI Commun., 2006, v:19, n:2, pp:137-154 [Journal]
   
4. Francesco Ricca, Wolfgang Faber, Nicola Leone
   A backjumping technique for Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP]
   AI Commun., 2006, v:19, n:2, pp:155-172 [Journal]
   
5. Geoff Sutcliffe
   The CADE-20 Automated Theorem Proving Competition. [Citation Graph (0, 0)][DBLP]
   AI Commun., 2006, v:19, n:2, pp:173-181 [Journal]
   
6. Claudio Castellini
   Automated reasoning in quantified modal and temporal logics. [Citation Graph (0, 0)][DBLP]
   AI Commun., 2006, v:19, n:2, pp:183-185 [Journal]
   
7. Inês Lynce
   Propositional satisfiability: Techniques, algorithms and applications. [Citation Graph (0, 0)][DBLP]
   AI Commun., 2006, v:19, n:2, pp:187-189 [Journal]