5 results
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 4 / July 2022
- Published online by Cambridge University Press:
- 05 July 2022, pp. 589-605
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 5 / September 2020
- Published online by Cambridge University Press:
- 21 September 2020, pp. 751-766
-
- Article
-
- You have access
- Open access
- Export citation
ASP for minimal entailment in a rational extension of SROEL
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 738-754
-
- Article
- Export citation
Business process verification with constraint temporal answer set programming*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 4-5 / July 2013
- Published online by Cambridge University Press:
- 25 September 2013, pp. 641-655
-
- Article
- Export citation
Reasoning about actions with Temporal Answer Sets
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 2 / March 2013
- Published online by Cambridge University Press:
- 25 January 2012, pp. 201-225
-
- Article
- Export citation