21 results
CNL2ASP: Converting Controlled Natural Language Sentences into ASP
-
- Journal:
- Theory and Practice of Logic Programming / Volume 24 / Issue 2 / March 2024
- Published online by Cambridge University Press:
- 20 December 2023, pp. 196-226
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach
-
- Journal:
- Theory and Practice of Logic Programming / Volume 24 / Issue 2 / March 2024
- Published online by Cambridge University Press:
- 17 April 2023, pp. 344-367
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
On the Configuration of More and Less Expressive Logic Programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 2 / March 2023
- Published online by Cambridge University Press:
- 21 March 2022, pp. 415-443
-
- Article
- Export citation
ValAsp: A Tool for Data Validation in Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 5 / September 2023
- Published online by Cambridge University Press:
- 14 March 2022, pp. 965-985
-
- Article
- Export citation
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 6 / November 2021
- Published online by Cambridge University Press:
- 24 September 2021, pp. 835-851
-
- Article
- Export citation
Operating Room (Re)Scheduling with Bed Management via ASP
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 2 / March 2022
- Published online by Cambridge University Press:
- 14 July 2021, pp. 229-253
-
- Article
- Export citation
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 3 / May 2021
- Published online by Cambridge University Press:
- 14 December 2020, pp. 372-401
-
- Article
- Export citation
Managing caching strategies for stream reasoning with reinforcement learning
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 5 / September 2020
- Published online by Cambridge University Press:
- 21 September 2020, pp. 625-640
-
- Article
-
- You have access
- Open access
- 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
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
Inconsistency Proofs for ASP: The ASP - DRUPE Format
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 891-907
-
- 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
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
Efficiently Coupling the I-DLV Grounder with ASP Solvers
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 2 / March 2020
- Published online by Cambridge University Press:
- 04 December 2018, pp. 205-224
-
- Article
- Export citation
Shared aggregate sets in answer set programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 3-4 / July 2018
- Published online by Cambridge University Press:
- 10 August 2018, pp. 301-318
-
- Article
-
- You have access
- Export citation
Cautious reasoning in ASP via minimal models and unsatisfiable cores
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 3-4 / July 2018
- Published online by Cambridge University Press:
- 10 August 2018, pp. 319-336
-
- Article
-
- You have access
- 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
Anytime answer set optimization via unsatisfiable core shrinking
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 533-551
-
- 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