Editorial
Introduction to the 38th International Conference on Logic Programming Special Issue
-
- Published online by Cambridge University Press:
- 15 August 2022, pp. 499-504
-
- Article
-
- You have access
- HTML
- Export citation
Introduction to the 38th International Conference on Logic Programming Special Issue II
-
- Published online by Cambridge University Press:
- 15 August 2022, p. 640
-
- Article
-
- You have access
- HTML
- Export citation
Original Article
Probabilistic QoS-aware Placement of VNF Chains at the Edge
-
- Published online by Cambridge University Press:
- 15 February 2021, pp. 1-36
-
- Article
-
- You have access
- Open access
- Export citation
Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
-
- Published online by Cambridge University Press:
- 18 March 2022, pp. 335-366
-
- Article
- Export citation
Editorial
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP
-
- Published online by Cambridge University Press:
- 22 September 2022, pp. 770-775
-
- Article
-
- You have access
- HTML
- Export citation
Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 2019
-
- Published online by Cambridge University Press:
- 28 March 2022, pp. 158-161
-
- Article
-
- You have access
- Export citation
Original Article
Fifty Years of Prolog and Beyond
-
- Published online by Cambridge University Press:
- 17 May 2022, pp. 776-858
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
On Nested Justification Systems
-
- Published online by Cambridge University Press:
- 11 July 2022, pp. 641-657
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Efficient Knowledge Compilation Beyond Weighted Model Counting
-
- Published online by Cambridge University Press:
- 03 August 2022, pp. 505-522
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Reactive Answer Set Programming
-
- Published online by Cambridge University Press:
- 25 March 2022, pp. 367-418
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Efficient TBox Reasoning with Value Restrictions using the
${\cal F}{{\cal L}_0}$ wer Reasoner
-
- Published online by Cambridge University Press:
- 15 October 2021, pp. 162-192
-
- Article
-
- You have access
- Open access
- Export citation
On Correctness and Completeness of an n Queens Program
-
- Published online by Cambridge University Press:
- 14 October 2021, pp. 37-50
-
- Article
-
- You have access
- Open access
- Export citation
FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data
-
- Published online by Cambridge University Press:
- 01 July 2022, pp. 658-677
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Temporal Minimal-World Query Answering over Sparse ABoxes
-
- Published online by Cambridge University Press:
- 11 August 2021, pp. 193-228
-
- Article
-
- You have access
- Open access
- Export citation
Rapid Communication
An ASP-based Approach to Answering Natural Language Questions for Texts
-
- Published online by Cambridge University Press:
- 04 February 2022, pp. 419-443
-
- Article
- Export citation
Original Article
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
-
- Published online by Cambridge University Press:
- 02 November 2021, pp. 51-80
-
- Article
- Export citation
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
-
- Published online by Cambridge University Press:
- 22 July 2022, pp. 523-537
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A Survey of the Proof-Theoretic Foundations of Logic Programming
-
- Published online by Cambridge University Press:
- 18 November 2021, pp. 859-904
-
- Article
- Export citation
From Logic to Functional Logic Programs
-
- Published online by Cambridge University Press:
- 04 July 2022, pp. 538-554
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations
-
- Published online by Cambridge University Press:
- 26 July 2022, pp. 678-692
-
- Article
- Export citation