15 results
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 4 / July 2022
- Published online by Cambridge University Press:
- 04 July 2022, pp. 623-639
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 4 / July 2022
- Published online by Cambridge University Press:
- 30 June 2022, pp. 606-622
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Aggregate Semantics for Propositional Answer Set Programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 1 / January 2023
- Published online by Cambridge University Press:
- 23 February 2022, pp. 157-194
-
- 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
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
plasp 3: Towards Effective ASP Planning
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 3 / May 2019
- Published online by Cambridge University Press:
- 18 January 2019, pp. 477-504
-
- Article
- Export citation
Experimenting with robotic intra-logistics domains
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 3-4 / July 2018
- Published online by Cambridge University Press:
- 10 August 2018, pp. 502-519
-
- Article
-
- You have access
- Export citation
Routing Driverless Transport Vehicles in Car Assembly with 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. 520-534
-
- Article
-
- You have access
- Export citation
Multi-shot ASP solving with clingo
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 1 / January 2019
- Published online by Cambridge University Press:
- 10 July 2018, pp. 27-82
-
- Article
- Export citation
Rewriting recursive aggregates in answer set programming: back to monotonicity
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 559-573
-
- Article
- Export citation
Abstract gringo
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 449-463
-
- Article
- Export citation
Multi-threaded ASP solving with clasp
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 4-5 / July 2012
- Published online by Cambridge University Press:
- 05 September 2012, pp. 525-545
-
- Article
- Export citation
Complex optimization in answer set programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 4-5 / July 2011
- Published online by Cambridge University Press:
- 06 July 2011, pp. 821-839
-
- Article
- Export citation
On elementary loops of logic programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 6 / November 2011
- Published online by Cambridge University Press:
- 24 May 2011, pp. 953-988
-
- Article
- Export citation
Detecting inconsistencies in large biological networks with answer set programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 2-3 / March 2011
- Published online by Cambridge University Press:
- 27 January 2011, pp. 323-360
-
- Article
- Export citation