34 results
Metric Temporal Equilibrium Logic over Timed Traces
-
- Journal:
- Theory and Practice of Logic Programming , First View
- Published online by Cambridge University Press:
- 18 September 2024, pp. 1-28
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Clingraph: A System for ASP-based Visualization
-
- Journal:
- Theory and Practice of Logic Programming , First View
- Published online by Cambridge University Press:
- 14 February 2024, pp. 1-27
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
On the Foundations of Grounding in Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 6 / November 2023
- Published online by Cambridge University Press:
- 25 July 2022, pp. 1138-1197
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Answer Set Planning: A Survey
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 1 / January 2023
- Published online by Cambridge University Press:
- 01 April 2022, pp. 226-298
-
- Article
- Export citation
Linear-Time Temporal Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 1 / January 2023
- Published online by Cambridge University Press:
- 27 December 2021, pp. 2-56
-
- Article
-
- You have access
- Open access
- Export citation
How to Build Your Own ASP-based System?!
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 1 / January 2023
- Published online by Cambridge University Press:
- 13 December 2021, pp. 299-361
-
- Article
-
- You have access
- Open access
- Export citation
Planning with Incomplete Information in Quantified Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 5 / September 2021
- Published online by Cambridge University Press:
- 24 September 2021, pp. 663-679
-
- Article
-
- You have access
- Open access
- Export citation
eclingo : A Solver for Epistemic Logic Programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 6 / November 2020
- Published online by Cambridge University Press:
- 22 September 2020, pp. 834-847
-
- Article
- Export citation
Verifying Tight Logic Programs with anthem and vampire
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 5 / September 2020
- Published online by Cambridge University Press:
- 21 September 2020, pp. 735-750
-
- Article
- Export citation
Towards Metric Temporal Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 5 / September 2020
- Published online by Cambridge University Press:
- 21 September 2020, pp. 783-798
-
- Article
- Export citation
Train Scheduling with Hybrid Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 3 / May 2021
- Published online by Cambridge University Press:
- 27 April 2020, pp. 317-347
-
- 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
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
Hybrid metabolic network completion
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 1 / January 2019
- Published online by Cambridge University Press:
- 09 November 2018, pp. 83-108
-
- 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
Temporal Answer Set Programming on Finite Traces
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 3-4 / July 2018
- Published online by Cambridge University Press:
- 10 August 2018, pp. 406-420
-
- 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
Clingo goes linear constraints over reals and integers*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 5-6 / September 2017
- Published online by Cambridge University Press:
- 11 September 2017, pp. 872-888
-
- Article
- Export citation
Clingcon: The next generation*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 4 / July 2017
- Published online by Cambridge University Press:
- 28 June 2017, pp. 408-461
-
- Article
- Export citation