Regular Papers
As time goes by: Constraint Handling Rules: A survey of CHR research from 1998 to 2007
-
- Published online by Cambridge University Press:
- 22 December 2009, pp. 1-47
-
- Article
- Export citation
atalog: A logic language for expressing search and optimization problems
-
- Published online by Cambridge University Press:
- 18 January 2010, pp. 125-166
-
- Article
- Export citation
Introduction
Introduction to the 26th international conference on logic programming special issue
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 361-364
-
- Article
- Export citation
Regular Papers
Introduction to the TPLP special issue, logic programming in databases: From Datalog to semantic-web rules
-
- Published online by Cambridge University Press:
- 11 May 2010, pp. 243-250
-
- Article
- Export citation
The role of semantics in mining frequent patterns from knowledge bases in description logics with rules
-
- Published online by Cambridge University Press:
- 17 May 2010, pp. 251-289
-
- Article
- Export citation
Multivalued action languages with constraints in CLP(FD)1
-
- Published online by Cambridge University Press:
- 18 February 2010, pp. 167-235
-
- Article
- Export citation
Automated termination analysis for logic programs with cut*
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 365-381
-
- Article
- Export citation
On the interaction between sharing and linearity
-
- Published online by Cambridge University Press:
- 24 September 2009, pp. 49-112
-
- Article
- Export citation
Transformations of logic programs on infinite lists
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 383-399
-
- Article
- Export citation
Technical Note
On the complexity of identifying head-elementary-set-free programs
-
- Published online by Cambridge University Press:
- 13 November 2009, pp. 113-123
-
- Article
- Export citation
Book Review
Handbook of Practical Logic and Automated Reasoning, John Harrison, Cambridge University Press, 2009. Hardcover, ISBN-13: 978-0-521-89957-4, 681 pp. + xix, $135.00.
-
- Published online by Cambridge University Press:
- 03 February 2010, pp. 237-241
-
- Article
- Export citation
Regular Papers
Querying incomplete data over extended ER schemata
-
- Published online by Cambridge University Press:
- 12 May 2010, pp. 291-329
-
- Article
- Export citation
Swapping evaluation: A memory-scalable solution for answer-on-demand tabling*
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 401-416
-
- Article
- Export citation
Inductive Logic Programming in Databases: From Datalog to
-
- Published online by Cambridge University Press:
- 20 May 2010, pp. 331-359
-
- Article
- Export citation
Front Cover (OFC, IFC) and matter
TLP volume 10 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 18 February 2010, pp. f1-f2
-
- Article
-
- You have access
- Export citation
TLP volume 10 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 22 December 2009, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back Cover (IBC, OBC) and matter
TLP volume 10 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 18 February 2010, pp. b1-b5
-
- Article
-
- You have access
- Export citation
Regular Papers
Threads and or-parallelism unified
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 417-432
-
- Article
- Export citation
Front Cover (OFC, IFC) and matter
TLP volume 10 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 26 May 2010, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back Cover (IBC, OBC) and matter
TLP volume 10 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 22 December 2009, pp. b1-b6
-
- Article
-
- You have access
- Export citation