Regular Papers
CP-logic: A language of causal probabilistic events and its relation to logic programming
-
- Published online by Cambridge University Press:
- 01 May 2009, pp. 245-308
-
- Article
- Export citation
A non-termination criterion for binary constraint logic programs
-
- Published online by Cambridge University Press:
- 18 February 2009, pp. 145-164
-
- Article
- Export citation
Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2
-
- Published online by Cambridge University Press:
- 31 July 2009, pp. 565-616
-
- Article
- Export citation
Justifications for logic programs under answer set semantics
-
- Published online by Cambridge University Press:
- 01 January 2009, pp. 1-56
-
- Article
- Export citation
The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
-
- Published online by Cambridge University Press:
- 14 August 2009, pp. 691-750
-
- Article
- Export citation
On the cooperation of the constraint domains ℋ, ℛ, and ℱ
in CFLP
-
- Published online by Cambridge University Press:
- 01 July 2009, pp. 415-527
-
- Article
- Export citation
Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
-
- Published online by Cambridge University Press:
- 01 July 2009, pp. 529-564
-
- Article
- Export citation
Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities
-
- Published online by Cambridge University Press:
- 10 February 2009, pp. 165-212
-
- Article
- Export citation
Probabilistic reasoning with answer sets
-
- Published online by Cambridge University Press:
- 01 January 2009, pp. 57-144
-
- Article
- Export citation
Termination prediction for general logic programs
-
- Published online by Cambridge University Press:
- 16 June 2009, pp. 751-780
-
- Article
- Export citation
Optimality in goal-dependent analysis of Sharing
-
- Published online by Cambridge University Press:
- 31 July 2009, pp. 617-689
-
- Article
- Export citation
Fuzzy linguistic logic programming and its applications
-
- Published online by Cambridge University Press:
- 01 May 2009, pp. 309-341
-
- Article
- Export citation
On finitely recursive programs1
-
- Published online by Cambridge University Press:
- 11 March 2009, pp. 213-238
-
- Article
- Export citation
Relativized hyperequivalence of logic programs for modular programming
-
- Published online by Cambridge University Press:
- 14 September 2009, pp. 781-819
-
- Article
- Export citation
Efficient description logic reasoning in Prolog: The DLog system
-
- Published online by Cambridge University Press:
- 01 May 2009, pp. 343-414
-
- Article
- Export citation
Front Cover (OFC, IFC) and matter
TLP volume 9 issue 5 Cover and Front matter
-
- Published online by Cambridge University Press:
- 03 September 2009, pp. f1-f2
-
- Article
-
- You have access
- Export citation
TLP volume 9 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 01 January 2009, pp. f1-f2
-
- Article
-
- You have access
- Export citation
TLP volume 9 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 01 July 2009, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Book Review
Lambda-Calculus and Combinators, An Introduction, 2nd Edition, J. Roger Hindley and Jonathan P. Seldin, Cambridge University Press, 2008. Hardback, ISBN-13: 9780521898850, $70.00.
-
- Published online by Cambridge University Press:
- 11 March 2009, pp. 239-243
-
- Article
- Export citation
Back Cover (IBC, OBC) and matter
TLP volume 9 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 01 January 2009, pp. b1-b6
-
- Article
-
- You have access
- Export citation