Theory and Practice of Logic Programming (TPLP), Volume 8

Volume 8, Number 1, January 2008

• Robert Colvin, Ian J. Hayes, Paul A. Strooper:
  Calculating modules in contextual logic program refinement. 1-31
  Electronic Edition (link) BibTeX
• Lunjin Lu:
  Improving precision of type analysis using non-discriminative union. 33-79
  Electronic Edition (link) BibTeX
• Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen:
  Linear tabling strategies and optimizations. 81-109
  Electronic Edition (link) BibTeX
• Frédéric Mesnard, Alexander Serebrenik:
  Recurrence with affine level mappings is P-time decidable for CLP(R). 111-119
  Electronic Edition (link) BibTeX
• Michael Codish, Vitaly Lagoon, Peter J. Stuckey:
  Logic programming with satisfiability. 121-128
  Electronic Edition (link) BibTeX

Volume 8, Number 2, March 2008

• Giorgio Terracina, Nicola Leone, Vincenzino Lio, Claudio Panetta:
  Experimenting with recursive queries in database and logic programming systems. 129-165
  Electronic Edition (link) BibTeX
• Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski:
  Logic programs with monotone abstract constraint atoms. 167-199
  Electronic Edition (link) BibTeX
• Alexander Serebrenik, Tom Schrijvers, Bart Demoen:
  Improving Prolog programs: Refactoring for Prolog. 201-215
  Electronic Edition (link) BibTeX
• Stefan Woltran:
  A common view on strong, uniform, and other notions of equivalence in answer-set programming. 217-234
  Electronic Edition (link) BibTeX
• Bart Demoen:
  Learn Prolog Now! Patrick Blackburn, Johan Bos, Kristina Striegnitz: College Publications, 2006 Paperback, ISBN 1-904987-17-6, xiv + 265 pages. 235-242
  Electronic Edition (link) BibTeX
• Peter J. Stuckey:
  Constraint Logic Programming using ECLiPSe Krzysztof Apt and Mark Wallace, Cambridge University Press, 2007 Hardback, ISBN 9780521866286, 348 pages. 242-246
  Electronic Edition (link) BibTeX

Volume 8, Number 3, May 2008

• Massimo Marchiori:
  Introduction to the Special Issue on Logic Programming and the Web. 247-248
  Electronic Edition (link) BibTeX
• Tim Berners-Lee, Dan Connolly, Lalana Kagal, Yosi Scharf, Jim Hendler:
  N3Logic: A logical framework for the World Wide Web. 249-269
  Electronic Edition (link) BibTeX
• Francesca A. Lisi:
  Building Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming. 271-300
  Electronic Edition (link) BibTeX
• Ken Samuel, Leo Obrst, Suzette Stoutenburg, Karen Fox, Paul Franklin, Adrian Johnson, Kenneth J. Laskey, Deborah Nichols, Steve Lopez, Jason Peterson:
  Translating OWL and semantic web rules into prolog: Moving toward description logic programs. 301-322
  Electronic Edition (link) BibTeX
• Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños:
  Querying XML documents in logic programming. 323-361
  Electronic Edition (link) BibTeX
• Jan Wielemaker, Zhisheng Huang, Lourens van der Meij:
  SWI-Prolog and the web. 363-392
  Electronic Edition (link) BibTeX
• Edna Ruckhaus, Eduardo Ruiz, Maria-Esther Vidal:
  Query evaluation and optimization in the semantic web. 393-409
  Electronic Edition (link) BibTeX
• Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh:
  Guarded hybrid knowledge bases. 411-429
  Electronic Edition (link) BibTeX