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
  
• Lunjin Lu:
  Improving precision of type analysis using non-discriminative union. 33-79
  
• Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen:
  Linear tabling strategies and optimizations. 81-109
  
• Frédéric Mesnard, Alexander Serebrenik:
  Recurrence with affine level mappings is P-time decidable for CLP(R). 111-119
  
• Michael Codish, Vitaly Lagoon, Peter J. Stuckey:
  Logic programming with satisfiability. 121-128
  

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
  
• Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski:
  Logic programs with monotone abstract constraint atoms. 167-199
  
• Alexander Serebrenik, Tom Schrijvers, Bart Demoen:
  Improving Prolog programs: Refactoring for Prolog. 201-215
  
• Stefan Woltran:
  A common view on strong, uniform, and other notions of equivalence in answer-set programming. 217-234
  
• 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
  
• Peter J. Stuckey:
  Constraint Logic Programming using ECLiPSe Krzysztof Apt and Mark Wallace, Cambridge University Press, 2007 Hardback, ISBN 9780521866286, 348 pages. 242-246
  

Volume 8, Number 3, May 2008

• Massimo Marchiori:
  Introduction to the Special Issue on Logic Programming and the Web. 247-248
  
• Tim Berners-Lee, Dan Connolly, Lalana Kagal, Yosi Scharf, Jim Hendler:
  N3Logic: A logical framework for the World Wide Web. 249-269
  
• Francesca A. Lisi:
  Building Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming. 271-300
  
• 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
  
• Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños:
  Querying XML documents in logic programming. 323-361
  
• Jan Wielemaker, Zhisheng Huang, Lourens van der Meij:
  SWI-Prolog and the web. 363-392
  
• Edna Ruckhaus, Eduardo Ruiz, Maria-Esther Vidal:
  Query evaluation and optimization in the semantic web. 393-409
  
• Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh:
  Guarded hybrid knowledge bases. 411-429
  

Volume 8, Number 4, July 2008

• Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth:
  Theory of finite or infinite trees revisited. 431-489
  
• Tom Schrijvers, Bart Demoen, David Scott Warren:
  TCHR: a framework for tabled CLP. 491-526
  
• Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio:
  Preferred extensions as stable models. 527-543
  

Volume 8, Numbers 5-6, November 2008

• Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa:
  Design and implementation of aggregate functions in the DLV system. 545-580
  
• Ludovic Langevine, Mireille Ducassé:
  Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs. 581-609
  
• Arjen Hommersom, Peter J. F. Lucas, Patrick van Bommel:
  Checking the quality of clinical guidelines using automated reasoning tools. 611-641
  
• Francesco Buccafurri, Gianluca Caminiti:
  Logic programming with social features. 643-690
  
• Matti Järvisalo, Emilia Oikarinen:
  Extended ASP Tableaux and rule redundancy in normal logic programs. 691-716
  
• Emilia Oikarinen, Tomi Janhunen:
  Achieving compositionality of the stable model semantics for smodels programs. 717-761