Journals in DBLP

TPLP
2005, volume: 5, number: 1-2

1. Roberto Bagnara, Enea Zaffanella, Patricia M. Hill
   Enhanced sharing analysis techniques: a comprehensive evaluation. [Citation Graph (0, 0)][DBLP]
   TPLP, 2005, v:5, n:1-2, pp:1-43 [Journal]
   
2. Paolo Ferraris, Vladimir Lifschitz
   Weight constraints as nested expressions. [Citation Graph (0, 0)][DBLP]
   TPLP, 2005, v:5, n:1-2, pp:45-74 [Journal]
   
3. Samir Genaim, Michael Codish
   Inferring Termination Conditions for Logic Programs using Backwards Analysis. [Citation Graph (0, 0)][DBLP]
   TPLP, 2005, v:5, n:1-2, pp:75-91 [Journal]
   
4. Pascal Hitzler, Matthias Wendt
   A uniform approach to logic programming semantics. [Citation Graph (0, 0)][DBLP]
   TPLP, 2005, v:5, n:1-2, pp:93-121 [Journal]
   
5. Simona Perri, Francesco Scarcello, Nicola Leone
   Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. [Citation Graph (0, 0)][DBLP]
   TPLP, 2005, v:5, n:1-2, pp:123-159 [Journal]
   
6. Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
   On Applying Or-Parallelism and Tabling to Logic Programs. [Citation Graph (0, 0)][DBLP]
   TPLP, 2005, v:5, n:1-2, pp:161-205 [Journal]
   
7. Ralf Schweimeier, Michael Schroeder
   A Parameterised Hierarchy of Argumentation Semantics for Extended Logic Programming and its Application to the Well-founded Semantics. [Citation Graph (0, 0)][DBLP]
   TPLP, 2005, v:5, n:1-2, pp:207-242 [Journal]
   
8. Frédéric Mesnard, Roberto Bagnara
   cTI: A constraint-based termination inference tool for ISO-Prolog. [Citation Graph (0, 0)][DBLP]
   TPLP, 2005, v:5, n:1-2, pp:243-257 [Journal]
   
9. Florence Benoy, Andy King, Frédéric Mesnard
   Computing convex hulls with a linear solver. [Citation Graph (0, 0)][DBLP]
   TPLP, 2005, v:5, n:1-2, pp:259-271 [Journal]