17 results
External Behavior of a Logic Program and Verification of Refactoring
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 18 July 2023, pp. 933-947
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics
-
- Journal:
- Theory and Practice of Logic Programming / Volume 24 / Issue 1 / January 2024
- Published online by Cambridge University Press:
- 22 June 2023, pp. 132-156
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Unifying Framework for Optimizations in Non-Boolean Formalisms
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 6 / November 2023
- Published online by Cambridge University Press:
- 15 November 2022, pp. 1248-1280
-
- Article
- Export citation
Introduction to the 38th International Conference on Logic Programming Special Issue
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 4 / July 2022
- Published online by Cambridge University Press:
- 15 August 2022, pp. 499-504
-
- Article
-
- You have access
- HTML
- Export citation
Introduction to the 38th International Conference on Logic Programming Special Issue II
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 5 / September 2022
- Published online by Cambridge University Press:
- 15 August 2022, p. 640
-
- Article
-
- You have access
- HTML
- Export citation
Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 3 / May 2022
- Published online by Cambridge University Press:
- 18 March 2022, pp. 335-366
-
- Article
- Export citation
Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 1 / January 2023
- Published online by Cambridge University Press:
- 02 November 2021, pp. 195-225
-
- Article
- Export citation
Preface
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 3 / May 2021
- Published online by Cambridge University Press:
- 18 January 2021, pp. 293-295
-
- Article
-
- You have access
- Export citation
Modular Answer Set Programming as a Formal Specification Language
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 5 / September 2020
- Published online by Cambridge University Press:
- 21 September 2020, pp. 767-782
-
- Article
- Export citation
Constraint answer set solver EZCSP and why integration schemas matter
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 4 / July 2017
- Published online by Cambridge University Press:
- 29 June 2017, pp. 462-515
-
- Article
- Export citation
On relation between constraint answer set programming and satisfiability modulo theories*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 4 / July 2017
- Published online by Cambridge University Press:
- 28 June 2017, pp. 559-590
-
- Article
- Export citation
First-order modular logic programs and their conservative extensions
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 755-770
-
- 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
Transition systems for model generators—A unifying approach
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 4-5 / July 2011
- Published online by Cambridge University Press:
- 06 July 2011, pp. 629-646
-
- Article
- Export citation
Representing first-order causal theories by logic programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 3 / May 2012
- Published online by Cambridge University Press:
- 25 May 2011, pp. 383-412
-
- 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
Abstract answer set solvers with backjumping and learning
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 2-3 / March 2011
- Published online by Cambridge University Press:
- 22 February 2011, pp. 135-169
-
- Article
- Export citation