37th International Conference on Logic Programming Special Issue I
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
Optimizing Probabilities in Probabilistic Logic Programs
-
- Published online by Cambridge University Press:
- 23 September 2021, pp. 543-556
-
- Article
- Export citation
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints
-
- Published online by Cambridge University Press:
- 27 September 2021, pp. 557-574
-
- Article
- Export citation
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs
-
- Published online by Cambridge University Press:
- 05 November 2021, pp. 575-592
-
- Article
- Export citation
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
-
- Published online by Cambridge University Press:
- 05 November 2021, pp. 593-609
-
- Article
-
- You have access
- Open access
- Export citation
I-DLV-sr: A Stream Reasoning System based on I-DLV
-
- Published online by Cambridge University Press:
- 23 September 2021, pp. 610-628
-
- Article
- Export citation
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction
-
- Published online by Cambridge University Press:
- 23 September 2021, pp. 629-645
-
- Article
-
- You have access
- Open access
- Export citation
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming
-
- Published online by Cambridge University Press:
- 27 September 2021, pp. 646-662
-
- Article
-
- You have access
- Open access
- Export citation
Planning with Incomplete Information in Quantified Answer Set Programming
-
- Published online by Cambridge University Press:
- 24 September 2021, pp. 663-679
-
- Article
-
- You have access
- Open access
- Export citation
Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog
-
- Published online by Cambridge University Press:
- 05 November 2021, pp. 680-697
-
- Article
- Export citation