16 results
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 5 / September 2021
- Published online by Cambridge University Press:
- 05 November 2021, pp. 575-592
-
- Article
- Export citation
Exploiting Database Management Systems and Treewidth for Counting
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 1 / January 2022
- Published online by Cambridge University Press:
- 12 March 2021, pp. 128-157
-
- Article
- Export citation
Preface
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 3 / May 2021
- Published online by Cambridge University Press:
- 18 January 2021, pp. 293-295
-
- Article
-
- You have access
- Export citation
selp: A Single-Shot Epistemic Logic Program Solver
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 4 / July 2020
- Published online by Cambridge University Press:
- 26 February 2020, pp. 435-455
-
- Article
-
- You have access
- Open access
- Export citation
Solving Advanced Argumentation Problems with Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 3 / May 2020
- Published online by Cambridge University Press:
- 15 January 2020, pp. 391-431
-
- Article
-
- You have access
- Open access
- Export citation
On Uniform Equivalence of Epistemic Logic Programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 826-840
-
- Article
- Export citation
When you must forget: Beyond strong persistence when forgetting in answer set programming*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 5-6 / September 2017
- Published online by Cambridge University Press:
- 30 August 2017, pp. 837-854
-
- Article
- Export citation
The power of non-ground rules in Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 552-569
-
- Article
- Export citation
Dual-normal logic programs – the forgotten class
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 495-510
-
- Article
- Export citation
Improved answer-set programming encodings for abstract argumentation
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 434-448
-
- Article
- Export citation
Complexity of super-coherence problems in ASP*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 3 / May 2014
- Published online by Cambridge University Press:
- 09 August 2013, pp. 339-361
-
- Article
- Export citation
D-FLAT: Declarative problem solving using tree decompositions and answer-set programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 4-5 / July 2012
- Published online by Cambridge University Press:
- 05 September 2012, pp. 445-464
-
- Article
- Export citation
Tractable answer-set programming with weight constraints: bounded treewidth is not enough*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 2 / March 2014
- Published online by Cambridge University Press:
- 17 July 2012, pp. 141-164
-
- Article
- Export citation
Relativized hyperequivalence of logic programs for modular programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 9 / Issue 6 / November 2009
- Published online by Cambridge University Press:
- 14 September 2009, pp. 781-819
-
- Article
- Export citation
Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2
-
- Journal:
- Theory and Practice of Logic Programming / Volume 9 / Issue 5 / September 2009
- Published online by Cambridge University Press:
- 31 July 2009, pp. 565-616
-
- Article
- Export citation
A common view on strong, uniform, and other notions of equivalence in answer-set programming*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 8 / Issue 2 / March 2008
- Published online by Cambridge University Press:
- 01 March 2008, pp. 217-234
-
- Article
- Export citation