Volume 8,
Number 1,
January 2008
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
Volume 8,
Number 4,
July 2008
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
Electronic Edition (link) BibTeX
- Ludovic Langevine, Mireille Ducassé:
Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs.
581-609
Electronic Edition (link) BibTeX
- Arjen Hommersom, Peter J. F. Lucas, Patrick van Bommel:
Checking the quality of clinical guidelines using automated reasoning tools.
611-641
Electronic Edition (link) BibTeX
- Francesco Buccafurri, Gianluca Caminiti:
Logic programming with social features.
643-690
Electronic Edition (link) BibTeX
- Matti Järvisalo, Emilia Oikarinen:
Extended ASP Tableaux and rule redundancy in normal logic programs.
691-716
Electronic Edition (link) BibTeX
- Emilia Oikarinen, Tomi Janhunen:
Achieving compositionality of the stable model semantics for smodels programs.
717-761
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:30:36 2009
by Michael Ley (ley@uni-trier.de)
