Editorial
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019)
-
- Published online by Cambridge University Press:
- 29 July 2021, pp. 402-403
-
- Article
-
- You have access
- Export citation
Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)
-
- Published online by Cambridge University Press:
- 30 June 2020, pp. 1-3
-
- Article
-
- You have access
- Export citation
Preface
-
- Published online by Cambridge University Press:
- 18 January 2021, pp. 293-295
-
- Article
-
- You have access
- Export citation
Introduction to the 37th International Conference on Logic Programming Special Issue II
-
- Published online by Cambridge University Press:
- 23 November 2021, pp. 698-699
-
- Article
-
- You have access
- Export citation
Original Article
Backjumping is Exception Handling
-
- Published online by Cambridge University Press:
- 16 November 2020, pp. 125-144
-
- Article
-
- You have access
- Open access
- Export citation
Editorial
Introduction to the 37th International Conference on Logic Programming Special Issue I
-
- Published online by Cambridge University Press:
- 05 November 2021, pp. 521-526
-
- Article
-
- You have access
- Export citation
Original Article
Modal Logic S5 Satisfiability in Answer Set Programming
-
- Published online by Cambridge University Press:
- 05 November 2021, pp. 527-542
-
- Article
- Export citation
Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation
-
- Published online by Cambridge University Press:
- 30 June 2020, pp. 4-50
-
- Article
- Export citation
Transformation-Enabled Precondition Inference
-
- Published online by Cambridge University Press:
- 23 September 2021, pp. 700-716
-
- Article
- Export citation
Rapid Communication
Omission-Based Abstraction for Answer Set Programs
-
- Published online by Cambridge University Press:
- 09 June 2020, pp. 145-195
-
- Article
-
- You have access
- Open access
- Export citation
Original Article
The Probabilistic Description Logic
-
- Published online by Cambridge University Press:
- 11 December 2020, pp. 404-427
-
- Article
- Export citation
Splitting Epistemic Logic Programs
-
- Published online by Cambridge University Press:
- 05 May 2020, pp. 296-316
-
- Article
- Export citation
Incremental and Modular Context-sensitive Analysis
-
- Published online by Cambridge University Press:
- 19 January 2021, pp. 196-243
-
- Article
- Export citation
Characterizing Boundedness in Chase Variants
-
- Published online by Cambridge University Press:
- 04 June 2020, pp. 51-79
-
- Article
- Export citation
Train Scheduling with Hybrid Answer Set Programming
-
- Published online by Cambridge University Press:
- 27 April 2020, pp. 317-347
-
- Article
- Export citation
Optimizing Probabilities in Probabilistic Logic Programs
-
- Published online by Cambridge University Press:
- 23 September 2021, pp. 543-556
-
- Article
- Export citation
Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation
-
- Published online by Cambridge University Press:
- 22 November 2021, pp. 717-734
-
- Article
-
- You have access
- Open access
- Export citation
A Qualitative Theory of Cognitive Attitudes and their Change
-
- Published online by Cambridge University Press:
- 06 April 2021, pp. 428-458
-
- Article
- Export citation
Here and There with Arithmetic
-
- Published online by Cambridge University Press:
- 23 September 2021, pp. 735-749
-
- Article
-
- You have access
- Open access
- Export citation
Exploring the Jungle of Intuitionistic Temporal Logics
-
- Published online by Cambridge University Press:
- 22 April 2021, pp. 459-492
-
- Article
- Export citation