8 results
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 21 July 2023, pp. 782-796
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Solution Enumeration by Optimality in Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 6 / November 2021
- Published online by Cambridge University Press:
- 10 September 2021, pp. 750-767
-
- Article
-
- You have access
- Open access
- Export citation
Boosting Answer Set Optimization with Weighted Comparator Networks
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 4 / July 2020
- Published online by Cambridge University Press:
- 11 May 2020, pp. 512-551
-
- Article
- Export citation
Clingo goes linear constraints over reals and integers*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 5-6 / September 2017
- Published online by Cambridge University Press:
- 11 September 2017, pp. 872-888
-
- Article
- Export citation
Stable-unstable semantics: Beyond NP with normal logic programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 570-586
-
- Article
-
- You have access
- Export citation
Optimizing phylogenetic supertrees using answer set programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 604-619
-
- Article
- Export citation
Achieving compositionality of the stable model semantics for smodels programs1
-
- Journal:
- Theory and Practice of Logic Programming / Volume 8 / Issue 5-6 / November 2008
- Published online by Cambridge University Press:
- 01 November 2008, pp. 717-761
-
- Article
- Export citation
Automated Verification of Weak Equivalence within the smodels System*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 7 / Issue 6 / November 2007
- Published online by Cambridge University Press:
- 01 November 2007, pp. 697-744
-
- Article
- Export citation