23 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
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 10 July 2023, pp. 748-764
-
- Article
- Export citation
An Efficient Solver for ASP(Q)
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 05 July 2023, pp. 948-964
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Introduction to the 36th International Conference on Logic Programming Special Issue II
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 6 / November 2020
- Published online by Cambridge University Press:
- 22 September 2020, pp. 815-817
-
- Article
-
- You have access
- Export citation
Introduction to the 36th International Conference on Logic Programming Special Issue I
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 5 / September 2020
- Published online by Cambridge University Press:
- 21 September 2020, pp. 587-592
-
- Article
-
- You have access
- Export citation
Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 1 / January 2021
- Published online by Cambridge University Press:
- 30 June 2020, pp. 1-3
-
- Article
-
- You have access
- Export citation
ASP-Core-2 Input Language Format
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 2 / March 2020
- Published online by Cambridge University Press:
- 20 December 2019, pp. 294-309
-
- Article
- 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
Partial Compilation 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. 857-873
-
- 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
The Seventh Answer Set Programming Competition: Design and Results
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 2 / March 2020
- Published online by Cambridge University Press:
- 31 May 2019, pp. 176-204
-
- Article
- Export citation
Debugging Non-ground ASP Programs: Technique and Graphical Tools
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 2 / March 2019
- Published online by Cambridge University Press:
- 15 February 2019, pp. 290-316
-
- Article
- Export citation
The External Interface for Extending WASP
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 2 / March 2020
- Published online by Cambridge University Press:
- 10 December 2018, pp. 225-248
-
- Article
- Export citation
Changes in attitude towards LAI antipsychotic maintenance treatment: A two-year follow-up study
-
- Journal:
- European Psychiatry / Volume 53 / September 2018
- Published online by Cambridge University Press:
- 26 June 2018, pp. 58-65
-
- Article
-
- You have access
- HTML
- Export citation
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 5-6 / September 2017
- Published online by Cambridge University Press:
- 24 August 2017, pp. 780-799
-
- Article
- Export citation
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 653-669
-
- Article
- Export citation
Taming primary key violations to query large inconsistent data via ASP
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 696-710
-
- Article
- Export citation
Anytime Computation of Cautious Consequences in Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 4-5 / July 2014
- Published online by Cambridge University Press:
- 21 July 2014, pp. 755-770
-
- Article
- Export citation
A multi-engine approach to answer-set programming*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 6 / November 2014
- Published online by Cambridge University Press:
- 15 August 2013, pp. 841-868
-
- Article
- Export citation