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
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
Original Article
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
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
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
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
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
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
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
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
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
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
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
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
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