13 results
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 4 / July 2022
- Published online by Cambridge University Press:
- 22 July 2022, pp. 523-537
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
On local domain symmetry for model expansion
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 636-652
-
- Article
- Export citation
Simulating Dynamic Systems Using Linear Time Calculus Theories
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 4-5 / July 2014
- Published online by Cambridge University Press:
- 21 July 2014, pp. 477-492
-
- Article
- Export citation
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 6 / November 2015
- Published online by Cambridge University Press:
- 14 May 2014, pp. 783-817
-
- Article
-
- You have access
- Export citation
Detection and exploitation of functional dependencies for model generation
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 4-5 / July 2013
- Published online by Cambridge University Press:
- 25 September 2013, pp. 471-485
-
- Article
- Export citation
The magic of logical inference in probabilistic programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 4-5 / July 2011
- Published online by Cambridge University Press:
- 06 July 2011, pp. 663-680
-
- Article
- Export citation
A unifying framework for concept-learning algorithms
-
- Journal:
- The Knowledge Engineering Review / Volume 7 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 07 July 2009, pp. 251-269
-
- Article
- Export citation
CP-logic: A language of causal probabilistic events and its relation to logic programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 9 / Issue 3 / May 2009
- Published online by Cambridge University Press:
- 01 May 2009, pp. 245-308
-
- Article
- Export citation
Well-founded and stable semantics of logic programs with aggregates
-
- Journal:
- Theory and Practice of Logic Programming / Volume 7 / Issue 3 / May 2007
- Published online by Cambridge University Press:
- 01 May 2007, pp. 301-353
-
- Article
- Export citation
PROGRAMMING PEARL: Enhancing a search algorithm to perform intelligent backtracking
-
- Journal:
- Theory and Practice of Logic Programming / Volume 4 / Issue 3 / May 2004
- Published online by Cambridge University Press:
- 16 April 2004, pp. 371-380
-
- Article
- Export citation
Offline specialisation in Prolog using a hand-written compiler generator
-
- Journal:
- Theory and Practice of Logic Programming / Volume 4 / Issue 1-2 / January 2004
- Published online by Cambridge University Press:
- 06 January 2004, pp. 139-191
-
- Article
- Export citation
Special issue on ‘Program development’
-
- Journal:
- Theory and Practice of Logic Programming / Volume 2 / Issue 4-5 / July 2002
- Published online by Cambridge University Press:
- 26 July 2002, pp. 423-424
-
- Article
- Export citation
Logic program specialisation through partial deduction: Control issues
-
- Journal:
- Theory and Practice of Logic Programming / Volume 2 / Issue 4-5 / July 2002
- Published online by Cambridge University Press:
- 26 July 2002, pp. 461-515
-
- Article
- Export citation