2 results
Resource Analysis driven by (Conditional) Termination Proofs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 722-739
-
- Article
- Export citation
The RANTANPLAN planner: system description
-
- Journal:
- The Knowledge Engineering Review / Volume 31 / Issue 5 / November 2016
- Published online by Cambridge University Press:
- 22 December 2016, pp. 452-464
-
- Article
- Export citation