Journals in DBLP

TPLP
2004, volume: 4, number: 1-2

1. Andrew W. Appel, Amy P. Felty
   Polymorphic Lemmas and Definitions in lambda-Prolog and Twelf. [Citation Graph (0, 0)][DBLP]
   TPLP, 2004, v:4, n:1-2, pp:1-39 [Journal]
   
2. Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
   A Proof Theoretic Approach to Failure in Functional Logic Programming. [Citation Graph (0, 0)][DBLP]
   TPLP, 2004, v:4, n:1-2, pp:41-74 [Journal]
   
3. Filippo Furfaro, Gianluigi Greco, Sergio Greco
   Minimal founded semantics for disjunctive logic programs and deductive databases. [Citation Graph (0, 0)][DBLP]
   TPLP, 2004, v:4, n:1-2, pp:75-93 [Journal]
   
4. Alejandro Javier García, Guillermo Ricardo Simari
   Defeasible Logic Programming: An Argumentative Approach. [Citation Graph (0, 0)][DBLP]
   TPLP, 2004, v:4, n:1-2, pp:95-138 [Journal]
   
5. Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe
   Offline specialisation in Prolog using a hand-written compiler generator. [Citation Graph (0, 0)][DBLP]
   TPLP, 2004, v:4, n:1-2, pp:139-191 [Journal]
   
6. Zbigniew Lonc, Miroslaw Truszczynski
   Computing stable models: worst-case performance estimates. [Citation Graph (0, 0)][DBLP]
   TPLP, 2004, v:4, n:1-2, pp:193-231 [Journal]
   
7. François Laburthe
   Book review: Programming Constraint Services: High level Programming of Standard and New Constraint Services by Christian Schulte. Springer 2002, LNAI 2302, ISBN 3-540-43371-6. [Citation Graph (0, 0)][DBLP]
   TPLP, 2004, v:4, n:1-2, pp:233-235 [Journal]
   
8. Miroslaw Truszczynski
   Book review: Knowledge Representation, Reasoning and Declarative Problem Solving by Chitta Baral, Cambridge University press, 2003, ISBN 0-521-81802-8. [Citation Graph (0, 0)][DBLP]
   TPLP, 2004, v:4, n:1-2, pp:237-239 [Journal]