2 results
Incremental maintenance of overgrounded logic programs with tailored simplifications
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 5 / September 2020
- Published online by Cambridge University Press:
- 21 September 2020, pp. 719-734
-
- Article
- Export citation
Incremental Answer Set Programming with Overgrounding
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 957-973
-
- Article
- Export citation