16 results
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
Beyond NP: Quantifying over Answer Sets
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 705-721
-
- Article
- Export citation
Dual-normal logic programs – the forgotten class
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 495-510
-
- Article
- Export citation
A Measure of Arbitrariness in Abductive Explanations
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 4-5 / July 2014
- Published online by Cambridge University Press:
- 21 July 2014, pp. 665-679
-
- Article
- 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
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
Active integrity constraints and revision programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 6 / November 2011
- Published online by Cambridge University Press:
- 29 October 2010, pp. 905-952
-
- Article
- Export citation
Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 6 / November 2011
- Published online by Cambridge University Press:
- 08 October 2010, pp. 881-904
-
- Article
- Export citation
Relativized hyperequivalence of logic programs for modular programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 9 / Issue 6 / November 2009
- Published online by Cambridge University Press:
- 14 September 2009, pp. 781-819
-
- Article
- Export citation
Logic programs with monotone abstract constraint atoms*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 8 / Issue 2 / March 2008
- Published online by Cambridge University Press:
- 01 March 2008, pp. 167-199
-
- Article
- Export citation
Computing minimal models, stable models and answer sets
-
- Journal:
- Theory and Practice of Logic Programming / Volume 6 / Issue 4 / July 2006
- Published online by Cambridge University Press:
- 21 June 2006, pp. 395-449
-
- Article
- Export citation
Knowledge Representation, Reasoning and Declarative Problem Solving by Chitta Baral, Cambridge University Press, 2003. ISBN 0-521-81802-8 (hardback), xiv + 530 pages.
-
- Journal:
- Theory and Practice of Logic Programming / Volume 4 / Issue 1-2 / January 2004
- Published online by Cambridge University Press:
- 06 January 2004, pp. 235-237
-
- Article
- Export citation
Computing stable models: worst-case performance estimates
-
- Journal:
- Theory and Practice of Logic Programming / Volume 4 / Issue 1-2 / January 2004
- Published online by Cambridge University Press:
- 06 January 2004, pp. 193-231
-
- Article
- Export citation
Computing large and small stable models
-
- Journal:
- Theory and Practice of Logic Programming / Volume 2 / Issue 1 / January 2002
- Published online by Cambridge University Press:
- 18 December 2001, pp. 1-23
-
- Article
- Export citation
On the problem of computing the well-founded semantics
-
- Journal:
- Theory and Practice of Logic Programming / Volume 1 / Issue 5 / September 2001
- Published online by Cambridge University Press:
- 22 October 2001, pp. 591-609
-
- Article
- Export citation