18 results
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL
-
- Journal:
- Theory and Practice of Logic Programming / Volume 24 / Issue 2 / March 2024
- Published online by Cambridge University Press:
- 07 March 2024, pp. 368-393
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
An Efficient Solver for ASP(Q)
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 05 July 2023, pp. 948-964
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Aggregate Semantics for Propositional Answer Set Programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 1 / January 2023
- Published online by Cambridge University Press:
- 23 February 2022, pp. 157-194
-
- Article
- Export citation
Thirty years of Epistemic Specifications
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 6 / November 2022
- Published online by Cambridge University Press:
- 08 November 2021, pp. 1043-1083
-
- Article
- Export citation
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 5 / September 2021
- Published online by Cambridge University Press:
- 27 September 2021, pp. 646-662
-
- Article
-
- You have access
- Open access
- Export citation
ASP-Core-2 Input Language Format
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 2 / March 2020
- Published online by Cambridge University Press:
- 20 December 2019, pp. 294-309
-
- Article
- Export citation
On Uniform Equivalence of Epistemic Logic Programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 826-840
-
- Article
- Export citation
Rewriting recursive aggregates in answer set programming: back to monotonicity
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 559-573
-
- Article
- Export citation
Efficient Computation of the Well-Founded Semantics over Big Data
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 4-5 / July 2014
- Published online by Cambridge University Press:
- 21 July 2014, pp. 445-459
-
- Article
-
- You have access
- Export citation
19 - The CISG in Austria
- from Part V - Country Analyses: Europe
-
-
- Book:
- International Sales Law
- Published online:
- 18 December 2014
- Print publication:
- 17 February 2014, pp 309-330
-
- Chapter
- Export citation
List of Contributors
-
-
- Book:
- International Sales Law
- Published online:
- 18 December 2014
- Print publication:
- 17 February 2014, pp xxix-xlii
-
- Chapter
- Export citation
Complexity of super-coherence problems in ASP*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 3 / May 2014
- Published online by Cambridge University Press:
- 09 August 2013, pp. 339-361
-
- Article
- Export citation
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 4-5 / July 2012
- Published online by Cambridge University Press:
- 05 September 2012, pp. 701-718
-
- Article
- Export citation
Introduction to the special issue on the 25th annual GULP conference
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 2 / March 2013
- Published online by Cambridge University Press:
- 25 January 2012, pp. 147-148
-
- Article
- Export citation
Disjunctive ASP with functions: Decidable queries and effective computation*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 10 / Issue 4-6 / July 2010
- Published online by Cambridge University Press:
- 09 July 2010, pp. 497-512
-
- Article
- Export citation
Design and implementation of aggregate functions in the DLVsystem*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 8 / Issue 5-6 / November 2008
- Published online by Cambridge University Press:
- 01 November 2008, pp. 545-580
-
- Article
- Export citation
Computing preferred answer sets by meta-interpretation in Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 3 / Issue 4-5 / July 2003
- Published online by Cambridge University Press:
- 31 July 2003, pp. 463-498
-
- Article
- Export citation
Disjunctive logic programs with inheritance
-
- Journal:
- Theory and Practice of Logic Programming / Volume 2 / Issue 3 / May 2002
- Published online by Cambridge University Press:
- 23 April 2002, pp. 293-321
-
- Article
- Export citation