Open access
Original Article
Metric Temporal Equilibrium Logic over Timed Traces
-
- Published online by Cambridge University Press:
- 18 September 2024, pp. 1-28
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Multi-Shot Answer Set Programming for Flexible Payroll Management
-
- Published online by Cambridge University Press:
- 02 May 2024, pp. 1-29
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
-
- Published online by Cambridge University Press:
- 02 April 2024, pp. 1-31
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Editorial
Selected Papers from the 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021)
-
- Published online by Cambridge University Press:
- 08 March 2024, pp. 310-312
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Original Article
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL
-
- Published online by Cambridge University Press:
- 07 March 2024, pp. 368-393
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Editorial
Selected Papers from Datalog 2.0 2022
-
- Published online by Cambridge University Press:
- 05 March 2024, pp. 193-195
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Technical Note
Model Explanation via Support Graphs
-
- Published online by Cambridge University Press:
- 29 February 2024, pp. 1-14
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Addendum
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM
-
- Published online by Cambridge University Press:
- 29 February 2024, p. 421
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Original Article
IASCAR: Incremental Answer Set Counting by Anytime Refinement
-
- Published online by Cambridge University Press:
- 21 February 2024, pp. 1-28
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Clingraph: A System for ASP-based Visualization
-
- Published online by Cambridge University Press:
- 14 February 2024, pp. 1-27
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Epistemic Logic Programs: A Study of Some Properties
-
- Published online by Cambridge University Press:
- 05 February 2024, pp. 1-23
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Knowledge-Based Support for Adhesive Selection: Will it Stick?
-
- Published online by Cambridge University Press:
- 31 January 2024, pp. 1-21
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Locally Tight Programs
-
- Published online by Cambridge University Press:
- 19 January 2024, pp. 1-31
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
CNL2ASP: Converting Controlled Natural Language Sentences into ASP
-
- Published online by Cambridge University Press:
- 20 December 2023, pp. 196-226
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Human Conditional Reasoning in Answer Set Programming
-
- Published online by Cambridge University Press:
- 14 December 2023, pp. 157-192
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Querying Incomplete Data: Complexity and Tractability via Datalog and First-Order Rewritings
-
- Published online by Cambridge University Press:
- 28 November 2023, pp. 279-309
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Technical Note
Tau Prolog: A Prolog Interpreter for the Web
-
- Published online by Cambridge University Press:
- 18 September 2023, pp. 1-21
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Original Article
Compositional Verification in Rewriting Logic
-
- Published online by Cambridge University Press:
- 31 August 2023, pp. 57-109
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Dyadic Existential Rules
-
- Published online by Cambridge University Press:
- 24 August 2023, pp. 227-249
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Querying Data Exchange Settings Beyond Positive Queries
-
- Published online by Cambridge University Press:
- 15 August 2023, pp. 250-278
-
- Article
-
- You have access
- Open access
- HTML
- Export citation