7 results
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
-
- Journal:
- Theory and Practice of Logic Programming , First View
- Published online by Cambridge University Press:
- 02 April 2024, pp. 1-31
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
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
Abstract Solvers for Computing Cautious Consequences of ASP 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. 740-756
-
- Article
- Export citation
Better Paracoherent Answer Sets with Less Resources
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 757-772
-
- Article
- Export citation
Paracoherent Answer Set Semantics meets Argumentation Frameworks
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 688-704
-
- Article
- Export citation
Finite model reasoning over existential rules*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 5-6 / September 2017
- Published online by Cambridge University Press:
- 24 August 2017, pp. 726-743
-
- Article
- Export citation
Interventi psicoterapici nei dipartimenti di salute mentale di Napoli: un'indagine sulle scelte e sulla qualificazione degli operatori
-
- Journal:
- Epidemiologia e Psichiatria Sociale / Volume 2 / Issue 1 / April 1993
- Published online by Cambridge University Press:
- 07 August 2014, pp. 25-33
-
- Article
- Export citation