10 results
Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 5 / September 2022
- Published online by Cambridge University Press:
- 01 July 2022, pp. 708-722
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 5 / September 2021
- Published online by Cambridge University Press:
- 23 September 2021, pp. 629-645
-
- Article
-
- You have access
- Open access
- 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
Loop formulas for description logic programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 10 / Issue 4-6 / July 2010
- Published online by Cambridge University Press:
- 09 July 2010, pp. 531-545
-
- Article
- Export citation
Probabilistic reasoning with answer sets
-
- Journal:
- Theory and Practice of Logic Programming / Volume 9 / Issue 1 / January 2009
- Published online by Cambridge University Press:
- 01 January 2009, pp. 57-144
-
- Article
- Export citation
Propositional theories are strongly equivalent to logic programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 7 / Issue 6 / November 2007
- Published online by Cambridge University Press:
- 01 November 2007, pp. 745-759
-
- 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
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
Applications of intuitionistic logic in Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 4 / Issue 3 / May 2004
- Published online by Cambridge University Press:
- 16 April 2004, pp. 325-354
-
- Article
- Export citation
Order-consistent programs are cautiously monotonic
-
- Journal:
- Theory and Practice of Logic Programming / Volume 1 / Issue 4 / July 2001
- Published online by Cambridge University Press:
- 25 June 2001, pp. 487-495
-
- Article
- Export citation