Please use the TPLP citation in your papers, not the corr one!
Volume 8, Issue 1. January 2008
Regular Papers
- Calculating modules in contextual logic program refinement, Robert Colvin, Ian J. Hayes and Paul Strooper
- Improving Precision of Type Analysis Using Non-Discriminative Union , Lunjin Lu.
- Linear Tabling Strategies and Optimizations Neng-Fa Zhou, Taisuke Sato, and Yi-Dong Shen
Technical Note
- Recurrence with affine level mappings is P-time decidable for binary CLP(R) Fred Mesnard and Alexander Serebrenik
- Logic programming with satisfiability Michael Codish, Vitaly Lagoon and Peter J. Stuckey
Volume 8, Issue 2. March 2008
Regular Papers
- Experimenting with recursive queries in database and logic programming systems , Giorgio Terracina, Nicola Leone, Vincenzino Lio, Claudio Panetta
- Logic programs with monotone abstract constraint atoms, Victor Marek, lkka Niemela, and Mirek Truszczynski
- Reasoning and Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Answer Set Programming Phan Huy Tu, Tran Cao Son, and Chitta Baral
Technical Notes
- Improving Prolog programs: Refactoring for Prolog Alexander Serebrenik, Tom Schrijvers and Bart Demoen
- A common view on strong, uniform, and other notions of equivalence in answer-set programming, Stefan Woltran
Book reviews
Learn Prolog Now! Patrick Blackburn, Johan Bos, Kristina Striegnitz: College Publications, 2006 Paperback, ISBN 1-904987-17-6, xiv + 265 pages. Bart Demoen:
Constraint Logic Programming using ECLiPSe Krzysztof Apt and Mark Wallace, Cambridge University Press, 2007 Hardback, ISBN 9780521866286, 348 pages. Peter J. Stuckey
Volume 8, Issue 3. May 2008
Special Issue on Logic Programming and the Web
- Introduction to the Special Issue on Logic Programming and the Web. Massimo Marchiori:
- N3Logic: A logical framework for the World Wide Web, Tim Berners-Lee, Dan Connolly, Lalana Kagal, Yosi Scharf, Jim Hendler
- Building Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming, Francesca A. Lisi
- Translating OWL and semantic web rules into prolog: Moving toward description logic programs, Ken Samuel, Leo Obrst, Suzette Stoutenburg, Karen Fox, Paul Franklin, Adrian Johnson, Kenneth J. Laskey, Deborah Nichols, Steve Lopez, Jason Peterson:
- Querying XML documents in logic programming, Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños
- SWI-Prolog and the web. Jan Wielemaker, Zhisheng Huang, Lourens van der Meij:
- Query evaluation and optimization in the semantic web, Edna Ruckhaus, Eduardo Ruiz, Maria-Esther Vidal:
- Guarded hybrid knowledge bases, Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh
Volume 8, Issue 4. July 2008
Regular Papers
- Theory of Finite or Infinite Trees Revisited, Khalil Djelloul, Thi-Bich-Hanh Dao and Thom Fruehwirth
- TCHR: a framework for tabled CLP, Tom Schrijvers, Bart Demoen, David S. Warren
Technical Note
- Preferred extensions as stable models, Juan Carlos Nieves, Mauricio Osorio, Ulises Cort\’es
Volume 8, Issue 5-6. Sept-Nov 2008
Regular Papers
- Design and Implementation of Aggregate Functions in the DLV System, Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell’Armi, Giuseppe Ielpa
- Design and Implementation of a Tracer Driver: Easy and Efficient Dynamic Analyses of Constraint Logic Programs, Ludovic Langevine and Mireille Ducass\’e
- Checking the Quality of Medical Guidelines using Automated Reasoning Tools, Arjen Hommersom, Peter Lucas and Patrick van Bommel
- Logic Programming with Social Features for Multi-Agent Systems,
Francesco Buccafurri and Gianluca Caminiti - Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs,
Matti Järvisalo, Emilia Oikarinen - Achieving Compositionality of the Stable Model Semantics for Smodels Programs ,
Emilia Oikarinen and Tomi Janhunen