2023 International Conference on Logic Programming
Editorial
Introduction to the 39th International Conference on Logic Programming Special Issue
-
- Published online by Cambridge University Press:
- 04 July 2023, pp. 624-631
-
- Article
-
- You have access
- HTML
- Export citation
Original Article
Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates
-
- Published online by Cambridge University Press:
- 11 July 2023, pp. 632-647
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Interactive Model Expansion in an Observable Environment
-
- Published online by Cambridge University Press:
- 08 August 2023, pp. 648-663
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
On Program Completion, with an Application to the Sum and Product Puzzle
-
- Published online by Cambridge University Press:
- 18 July 2023, pp. 664-677
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Integrating Logic Rules with Everything Else, Seamlessly
-
- Published online by Cambridge University Press:
- 06 July 2023, pp. 678-695
-
- Article
-
- You have access
- HTML
- Export citation
Knowledge-based Reasoning and Learning under Partial Observability in Ad Hoc Teamwork
-
- Published online by Cambridge University Press:
- 26 June 2023, pp. 696-714
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach
-
- Published online by Cambridge University Press:
- 26 July 2023, pp. 715-729
-
- Article
-
- You have access
- HTML
- Export citation
Learnability with PAC Semantics for Multi-agent Beliefs
-
- Published online by Cambridge University Press:
- 31 July 2023, pp. 730-747
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels
-
- Published online by Cambridge University Press:
- 10 July 2023, pp. 748-764
-
- Article
-
- You have access
- HTML
- Export citation
ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction
-
- Published online by Cambridge University Press:
- 25 July 2023, pp. 765-781
-
- Article
-
- You have access
- HTML
- Export citation
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs
-
- Published online by Cambridge University Press:
- 21 July 2023, pp. 782-796
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Knowledge Authoring for Rules and Actions
-
- Published online by Cambridge University Press:
- 12 July 2023, pp. 797-811
-
- Article
-
- You have access
- HTML
- Export citation
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP
-
- Published online by Cambridge University Press:
- 01 September 2023, pp. 812-831
-
- Article
-
- You have access
- HTML
- Export citation
An ASP Framework for the Refinement of Authorization and Obligation Policies
-
- Published online by Cambridge University Press:
- 11 July 2023, pp. 832-847
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling
-
- Published online by Cambridge University Press:
- 21 July 2023, pp. 848-864
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Toward A Logical Theory Of Fairness and Bias
-
- Published online by Cambridge University Press:
- 19 July 2023, pp. 865-883
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
“What if?” in Probabilistic Logic Programming
-
- Published online by Cambridge University Press:
- 17 July 2023, pp. 884-899
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Automatic Differentiation in Prolog
-
- Published online by Cambridge University Press:
- 06 July 2023, pp. 900-917
-
- Article
-
- You have access
- HTML
- Export citation
Implementing Backjumping by Means of Exception Handling
-
- Published online by Cambridge University Press:
- 24 August 2023, pp. 918-932
-
- Article
-
- You have access
- HTML
- Export citation
External Behavior of a Logic Program and Verification of Refactoring
-
- Published online by Cambridge University Press:
- 18 July 2023, pp. 933-947
-
- Article
-
- You have access
- Open access
- HTML
- Export citation