Open access
Original Article
The Stable Model Semantics of Datalog with Metric Temporal Operators
-
- Published online by Cambridge University Press:
- 02 August 2023, pp. 22-56
-
- Article
-
- You have access
- Open 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
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
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
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
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
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
“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
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
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
An Efficient Solver for ASP(Q)
-
- Published online by Cambridge University Press:
- 05 July 2023, pp. 948-964
-
- Article
-
- You have access
- Open 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
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics
-
- Published online by Cambridge University Press:
- 22 June 2023, pp. 132-156
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation
-
- Published online by Cambridge University Press:
- 25 May 2023, pp. 1198-1247
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Distributed Subweb Specifications for Traversing the Web
-
- Published online by Cambridge University Press:
- 25 April 2023, pp. 394-420
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications
-
- Published online by Cambridge University Press:
- 19 April 2023, pp. 313-343
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach
-
- Published online by Cambridge University Press:
- 17 April 2023, pp. 344-367
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Rapid Communication
Disjunctive Delimited Control
-
- Published online by Cambridge University Press:
- 11 April 2023, pp. 110-131
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Original Article
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
-
- Published online by Cambridge University Press:
- 26 January 2023, pp. 1281-1306
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems
-
- Published online by Cambridge University Press:
- 20 October 2022, pp. 1070-1093
-
- Article
-
- You have access
- Open access
- HTML
- Export citation