FirstView articles
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
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
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