9 results
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 2 / March 2022
- Published online by Cambridge University Press:
- 01 September 2021, pp. 305-334
-
- Article
-
- You have access
- Open access
- Export citation
Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 1 / January 2021
- Published online by Cambridge University Press:
- 30 June 2020, pp. 4-50
-
- Article
- Export citation
Domain-Independent Cost-Optimal Planning in ASP
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 1124-1142
-
- Article
- Export citation
Well-founded operators for normal hybrid MKNF knowledge bases
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 5-6 / September 2017
- Published online by Cambridge University Press:
- 04 September 2017, pp. 889-905
-
- Article
- Export citation
Disjunctive logic programs with existential quantification in rule heads
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 4-5 / July 2013
- Published online by Cambridge University Press:
- 25 September 2013, pp. 563-578
-
- Article
- Export citation
Relating weight constraint and aggregate programs: Semantics and representation
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 1 / January 2013
- Published online by Cambridge University Press:
- 30 June 2011, pp. 1-31
-
- 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
Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
-
- Journal:
- Theory and Practice of Logic Programming / Volume 9 / Issue 4 / July 2009
- Published online by Cambridge University Press:
- 01 July 2009, pp. 529-564
-
- Article
- Export citation
Linear tabulated resolution based on Prolog control strategy
-
- Journal:
- Theory and Practice of Logic Programming / Volume 1 / Issue 1 / January 2001
- Published online by Cambridge University Press:
- 03 April 2001, pp. 71-103
-
- Article
- Export citation