default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheory 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
