12 results
Interactive Model Expansion in an Observable Environment
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 08 August 2023, pp. 648-663
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
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 Nested Justification Systems
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 5 / September 2022
- Published online by Cambridge University Press:
- 11 July 2022, pp. 641-657
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Exploiting Game Theory for Analysing Justifications
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 6 / November 2020
- Published online by Cambridge University Press:
- 22 September 2020, pp. 880-894
-
- Article
- 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
The KB paradigm and its application to interactive configuration*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 1 / January 2017
- Published online by Cambridge University Press:
- 01 July 2016, pp. 91-117
-
- Article
- Export citation
Semantics of templates in a compositional framework for building logics
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 681-695
-
- 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
FO(FD): Extending classical logic with rule-based fixpoint definitions
-
- Journal:
- Theory and Practice of Logic Programming / Volume 10 / Issue 4-6 / July 2010
- Published online by Cambridge University Press:
- 09 July 2010, pp. 581-596
-
- 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