3 results
Beyond NP: Quantifying over Answer Sets
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 705-721
-
- 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
Function operators spanning the arithmetical and the polynomial hierarchy
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 44 / Issue 3 / July 2010
- Published online by Cambridge University Press:
- 05 October 2010, pp. 379-418
- Print publication:
- July 2010
-
- Article
- Export citation