Journal: TPLP

Volume 8, Issue 5-6

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

Volume 8, Issue 4

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

Volume 8, Issue 3

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

Volume 8, Issue 2

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

Volume 8, Issue 1

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