2 results
Verifying Tight Logic Programs with anthem and vampire
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 5 / September 2020
- Published online by Cambridge University Press:
- 21 September 2020, pp. 735-750
-
- Article
- Export citation
plasp 3: Towards Effective ASP Planning
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 3 / May 2019
- Published online by Cambridge University Press:
- 18 January 2019, pp. 477-504
-
- Article
- Export citation