20 results
Selected Papers from Datalog 2.0 2022
-
- Journal:
- Theory and Practice of Logic Programming / Volume 24 / Issue 2 / March 2024
- Published online by Cambridge University Press:
- 05 March 2024, pp. 193-195
-
- Article
-
- You have access
- Open access
- HTML
- 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
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
Modal Logic S5 Satisfiability in Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 5 / September 2021
- Published online by Cambridge University Press:
- 05 November 2021, pp. 527-542
-
- Article
- Export citation
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in 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. 687-702
-
- Article
- Export citation
Enhancing Magic Sets with an Application to Ontological Reasoning
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 654-670
-
- 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
A Trajectory Calculus for Qualitative Spatial Reasoning Using 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. 355-371
-
- Article
-
- You have access
- 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
Model enumeration in propositional circumscription via unsatisfiable core analysis*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 5-6 / September 2017
- Published online by Cambridge University Press:
- 22 August 2017, pp. 708-725
-
- 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
Complexity and compilation of GZ-aggregates in answer set programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 574-587
-
- 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
Fuzzy answer set computation via satisfiability modulo theories
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 588-603
-
- Article
- Export citation
Anytime Computation of Cautious Consequences in Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 4-5 / July 2014
- Published online by Cambridge University Press:
- 21 July 2014, pp. 755-770
-
- Article
- Export citation
Fuzzy answer sets approximations
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 4-5 / July 2013
- Published online by Cambridge University Press:
- 25 September 2013, pp. 753-767
-
- Article
- Export citation
Complexity of super-coherence problems in ASP*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 3 / May 2014
- Published online by Cambridge University Press:
- 09 August 2013, pp. 339-361
-
- Article
- Export citation
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 4-5 / July 2012
- Published online by Cambridge University Press:
- 05 September 2012, pp. 701-718
-
- Article
- Export citation
Disjunctive ASP with functions: Decidable queries and effective computation*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 10 / Issue 4-6 / July 2010
- Published online by Cambridge University Press:
- 09 July 2010, pp. 497-512
-
- Article
- Export citation