FirstView articles
Original Article
smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation
- Published online by Cambridge University Press: 25 May 2023, pp. 1-50
-
- 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. 1-27
-
- 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. 1-31
-
- Article
- Export citation
-
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach
- Published online by Cambridge University Press: 17 April 2023, pp. 1-24
-
- Article
- Export citation
-
Rapid Communication
Disjunctive Delimited Control
- Published online by Cambridge University Press: 11 April 2023, pp. 1-22
-
- 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. 1-26
-
- Article
- Export citation
-
Unifying Framework for Optimizations in Non-Boolean Formalisms
- Published online by Cambridge University Press: 15 November 2022, pp. 1-33
-
- Article
- 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. 1-24
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
-
On Establishing Robust Consistency in Answer Set Programs
- Published online by Cambridge University Press: 19 September 2022, pp. 1-34
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
-
Technical Note
Positive Dependency Graphs Revisited
- Published online by Cambridge University Press: 23 August 2022, pp. 1-10
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
-
Original Article
On the Foundations of Grounding in Answer Set Programming
- Published online by Cambridge University Press: 25 July 2022, pp. 1-60
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
-
Rapid Communication
ValAsp: A Tool for Data Validation in Answer Set Programming
- Published online by Cambridge University Press: 14 March 2022, pp. 1-21
-
- Article
- Export citation
-
Original Article
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
- Published online by Cambridge University Press: 04 March 2022, pp. 1-41
-
- Article
- Export citation
-
Defeasible Reasoning via Datalog¬
- Published online by Cambridge University Press: 02 November 2021, pp. 1-43
-
- Article
- Export citation
-