14 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
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
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
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
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
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
CASP solutions for planning in hybrid domains
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 4 / July 2017
- Published online by Cambridge University Press:
- 04 July 2017, pp. 591-633
-
- Article
- Export citation
Disjunctive answer set solvers via templates
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 4 / July 2016
- Published online by Cambridge University Press:
- 17 December 2015, pp. 465-497
-
- 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