Please use the TPLP citation in your papers, not the corr one!
olume 9, Issue 1. January 2009
Regular Papers
- Justifications for Logic Programs under Answer Set Semantics. ,
Enrico Pontelli, Tran Cao Son, and Omar Elkhatib (pp 1-56) - Probabilistic reasoning with answer sets ,
Chitta Baral, Michael Gelfond and Nelson Rushton (pp 57-144)
Volume 9, Issue 2. March 2009
Regular Papers
- A Non-Termination Criterion for Binary Constraint Logic Programs ,
Etienne Payet and Fred Mesnard (pp 145-164) - Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities ,
Leslie De Koninck (pp 165-212) - On finitely recursive programs ,
Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo (pp 213-238) - Lambda-Calculus and Combinators, An Introduction, 2nd Edition, J. Roger Hindley and Jonathan P. Seldin, Cambridge University Press, 2008. Hardback, ISBN 9780521898850. ,
Femke van Raamsdonk (pp 239-243)
Volume 9, Issue 3. May 2009
Regular Papers
- CP-logic: A language of causal probabilistic events and its relation to logic programming ,
Joost Vennekens, Marc Denecker, Maurice Bruynooghe (pp 245-308) - Fuzzy Linguistic Logic Programming and its Applications ,
Van Hung Le, Fei Liu, and Dinh Khang Tran (pp 309-341) - Efficient Description Logic Reasoning in Prolog: The DLog system ,
Gergely Lukácsy and Péter Szeredi (pp 343-414 )
Volume 9, Issue 4. July 2009
Regular Papers
- On the Cooperation of the Constraint Domains $\mathcal{H}$, $\mathcal{R}$ and $\mathcal{FD}$ in $CFLP$ ,
S. Estévez-Martín, T. Hortalá-González, Rodríguez-Artalejo, R. Del Vado-Vírseda, F. Sáenz-Pérez (pp 415-527) and A. J. Fernández - Characterizations of Stable Model Semantics for Logic Programs ,
Yi-Dong Shen, Jia-Huai You and Li-Yan Yuan (pp 529-564)
Volume 9, Issue 5. September 2009
Regular Papers
- Characterising Equilibrium Logic and Nested Logic Programs: Reductions and Complexity ,
David Pearce, Hans Tompits, Stefan Woltran (pp 565-616 ) - Optimality in goal-dependent analysis of Sharing ,
Gianluca Amato, Francesca Scozzari (pp 617-689)
Volume 9, Issue 6. november 2009
Regular Papers
- The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments ,
P. Mancarella, G. Terreni, F. Sadri, F. Toni, U. Endriss (pp 681-750) - Termination Prediction for General Logic Programs ,
Yi-Dong Shen, Danny De Schreye, Dean Voets (pp 751-780) - Relativized hyperequivalence of logic programs for modular programming ,
Miroslaw Truszcsynski abd Stefan Woltran (pp 781-819)