24 results
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM
-
- Journal:
- Theory and Practice of Logic Programming / Volume 24 / Issue 2 / March 2024
- Published online by Cambridge University Press:
- 29 February 2024, p. 421
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 6 / November 2023
- Published online by Cambridge University Press:
- 26 January 2023, pp. 1281-1306
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 1 / January 2023
- Published online by Cambridge University Press:
- 18 October 2022, p. 1
-
- Article
-
- You have access
- HTML
- Export citation
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 6 / November 2022
- Published online by Cambridge University Press:
- 22 September 2022, pp. 770-775
-
- Article
-
- You have access
- HTML
- Export citation
A Neuro-Symbolic ASP Pipeline for Visual Question Answering
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 5 / September 2022
- Published online by Cambridge University Press:
- 11 July 2022, pp. 739-754
-
- Article
- Export citation
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 5 / September 2021
- Published online by Cambridge University Press:
- 05 November 2021, pp. 593-609
-
- Article
-
- You have access
- Open access
- Export citation
Reasoning on with Defeasibility in ASP
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 2 / March 2022
- Published online by Cambridge University Press:
- 03 August 2021, pp. 254-304
-
- Article
- Export citation
ASP ($\mathcal A \mathcal C$): Answer Set Programming with Algebraic Constraints
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 6 / November 2020
- Published online by Cambridge University Press:
- 22 September 2020, pp. 895-910
-
- Article
-
- You have access
- Open access
- 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
Omission-based Abstraction for Answer Set Programs – ERRATUM
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 2 / March 2021
- Published online by Cambridge University Press:
- 09 July 2020, p. 292
-
- Article
-
- You have access
- Open access
- Export citation
Omission-Based Abstraction for Answer Set Programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 2 / March 2021
- Published online by Cambridge University Press:
- 09 June 2020, pp. 145-195
-
- Article
-
- You have access
- Open access
- Export citation
A Distributed Approach to LARS Stream Reasoning (System paper)
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 974-989
-
- Article
- Export citation
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 3-4 / July 2018
- Published online by Cambridge University Press:
- 10 August 2018, pp. 571-588
-
- Article
-
- You have access
- Export citation
Ticker: A system for incremental ASP-based stream reasoning*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 5-6 / September 2017
- Published online by Cambridge University Press:
- 23 August 2017, pp. 744-763
-
- Article
- Export citation
Introduction to the 31st International Conference on Logic Programming special issue
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 413-418
-
- Article
- Export citation
A model building framework for answer set programming with external computations*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 4 / July 2016
- Published online by Cambridge University Press:
- 13 August 2015, pp. 418-464
-
- Article
- Export citation
Conflict-driven ASP solving with external sources
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 4-5 / July 2012
- Published online by Cambridge University Press:
- 05 September 2012, pp. 659-679
-
- Article
- Export citation
Finding similar/diverse solutions in answer set programming*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 3 / May 2013
- Published online by Cambridge University Press:
- 01 November 2011, pp. 303-359
-
- Article
- Export citation
A knowledge-based approach for selecting information sources*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 7 / Issue 3 / May 2007
- Published online by Cambridge University Press:
- 01 May 2007, pp. 249-300
-
- Article
- Export citation
Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications
-
- Journal:
- Theory and Practice of Logic Programming / Volume 6 / Issue 1-2 / January 2006
- Published online by Cambridge University Press:
- 27 January 2006, pp. 23-60
-
- Article
- Export citation