5 results
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 5 / September 2021
- Published online by Cambridge University Press:
- 27 September 2021, pp. 646-662
-
- Article
-
- You have access
- Open 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
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
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
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