6 results
Probabilistic legal reasoning in CHRiSM
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 4-5 / July 2013
- Published online by Cambridge University Press:
- 25 September 2013, pp. 769-781
-
- Article
- Export citation
Non-termination analysis of logic programs with integer arithmetics
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 4-5 / July 2011
- Published online by Cambridge University Press:
- 06 July 2011, pp. 521-536
-
- Article
- Export citation
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 1 / January 2011
- Published online by Cambridge University Press:
- 25 February 2010, pp. 33-63
-
- Article
- Export citation
Termination prediction for general logic programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 9 / Issue 6 / November 2009
- Published online by Cambridge University Press:
- 16 June 2009, pp. 751-780
-
- Article
- Export citation
On termination of meta-programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 5 / Issue 3 / May 2005
- Published online by Cambridge University Press:
- 09 May 2005, pp. 355-390
-
- Article
- Export citation
Inference of termination conditions for numerical loops in Prolog
-
- Journal:
- Theory and Practice of Logic Programming / Volume 4 / Issue 5-6 / September 2004
- Published online by Cambridge University Press:
- 12 August 2004, pp. 719-751
-
- Article
- Export citation