FirstView articles
Technical Note
Tau Prolog: A Prolog Interpreter for the Web
- Published online by Cambridge University Press: 18 September 2023, pp. 1-21
-
- Article
- Export citation
Original Article
Compositional Verification in Rewriting Logic
- Published online by Cambridge University Press: 31 August 2023, pp. 1-53
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Dyadic Existential Rules
- Published online by Cambridge University Press: 24 August 2023, pp. 1-23
-
- Article
- Export citation
Querying Data Exchange Settings Beyond Positive Queries
- Published online by Cambridge University Press: 15 August 2023, pp. 1-29
-
- Article
- Export citation
The Stable Model Semantics of Datalog with Metric Temporal Operators
- Published online by Cambridge University Press: 02 August 2023, pp. 1-35
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games
- Published online by Cambridge University Press: 05 July 2023, pp. 1-27
-
- Article
- Export citation
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics
- Published online by Cambridge University Press: 22 June 2023, pp. 1-25
-
- 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. 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
-
- You have access
- Open access
- HTML
- 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