23 results
Locally Tight Programs
-
- Journal:
- Theory and Practice of Logic Programming , First View
- Published online by Cambridge University Press:
- 19 January 2024, pp. 1-31
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
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
On Program Completion, with an Application to the Sum and Product Puzzle
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 18 July 2023, pp. 664-677
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Positive Dependency Graphs Revisited
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 5 / September 2023
- Published online by Cambridge University Press:
- 23 August 2022, pp. 1128-1137
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Strong Equivalence of Logic Programs with Counting
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 4 / July 2022
- Published online by Cambridge University Press:
- 24 June 2022, pp. 573-588
-
- Article
- Export citation
Here and There with Arithmetic
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 6 / November 2021
- Published online by Cambridge University Press:
- 23 September 2021, pp. 735-749
-
- Article
-
- You have access
- Open access
- 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
Relating Two Dialects of Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 1006-1020
-
- Article
- Export citation
Achievements in answer set programming*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 5-6 / September 2017
- Published online by Cambridge University Press:
- 30 August 2017, pp. 961-973
-
- Article
- Export citation
Program completion in the input language of GRINGO*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 5-6 / September 2017
- Published online by Cambridge University Press:
- 23 August 2017, pp. 855-871
-
- Article
- Export citation
Stable models for infinitary formulas with extensional atoms
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 771-786
-
- Article
- Export citation
Proving infinitary formulas
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 787-799
-
- 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
IN MEMORIAM: GRIGORI E. MINTS 1939–2014
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 09 April 2015, pp. 31-33
- Print publication:
- March 2015
-
- Article
-
- You have access
- Export citation
On equivalence of infinitary formulas under the stable model semantics
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 1 / January 2015
- Published online by Cambridge University Press:
- 16 May 2014, pp. 18-34
-
- Article
- Export citation
Lloyd-Topor completion and general stable models
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 4-5 / July 2013
- Published online by Cambridge University Press:
- 25 September 2013, pp. 503-515
-
- Article
- Export citation
Relational theories with null values and non-herbrand stable models
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 4-5 / July 2012
- Published online by Cambridge University Press:
- 05 September 2012, pp. 565-582
-
- 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
Temporal phylogenetic networks and logic programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 6 / Issue 5 / September 2006
- Published online by Cambridge University Press:
- 02 August 2006, pp. 539-558
-
- Article
- Export citation
Weight constraints as nested expressions
-
- Journal:
- Theory and Practice of Logic Programming / Volume 5 / Issue 1-2 / January 2005
- Published online by Cambridge University Press:
- 10 January 2005, pp. 45-74
-
- Article
- Export citation