Open access
Survey Article
Linear-Time Temporal Answer Set Programming
-
- Published online by Cambridge University Press:
- 27 December 2021, pp. 2-56
-
- Article
-
- You have access
- Open access
- Export citation
How to Build Your Own ASP-based System?!
-
- Published online by Cambridge University Press:
- 13 December 2021, pp. 299-361
-
- Article
-
- You have access
- Open access
- Export citation
Original Article
Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation
-
- Published online by Cambridge University Press:
- 22 November 2021, pp. 717-734
-
- Article
-
- You have access
- Open access
- Export citation
Survey Article
Analysis and Transformation of Constrained Horn Clauses for Program Verification
-
- Published online by Cambridge University Press:
- 15 November 2021, pp. 974-1042
-
- Article
-
- You have access
- Open access
- Export citation
Original Article
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
-
- Published online by Cambridge University Press:
- 05 November 2021, pp. 593-609
-
- Article
-
- You have access
- Open access
- Export citation
Refactoring the Whitby Intelligent Tutoring System for Clean Architecture
-
- Published online by Cambridge University Press:
- 02 November 2021, pp. 818-834
-
- Article
-
- You have access
- Open access
- Export citation
An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions
-
- Published online by Cambridge University Press:
- 02 November 2021, pp. 802-817
-
- Article
-
- You have access
- Open access
- Export citation
Efficient TBox Reasoning with Value Restrictions using the
${\cal F}{{\cal L}_0}$ wer Reasoner
-
- Published online by Cambridge University Press:
- 15 October 2021, pp. 162-192
-
- Article
-
- You have access
- Open access
- Export citation
On Correctness and Completeness of an n Queens Program
-
- Published online by Cambridge University Press:
- 14 October 2021, pp. 37-50
-
- Article
-
- You have access
- Open access
- Export citation
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming
-
- Published online by Cambridge University Press:
- 27 September 2021, pp. 646-662
-
- Article
-
- You have access
- Open access
- Export citation
Knowledge-Based Stable Roommates Problem: A Real-World Application
-
- Published online by Cambridge University Press:
- 27 September 2021, pp. 852-869
-
- Article
-
- You have access
- Open access
- Export citation
Planning with Incomplete Information in Quantified Answer Set Programming
-
- Published online by Cambridge University Press:
- 24 September 2021, pp. 663-679
-
- Article
-
- You have access
- Open access
- Export citation
Here and There with Arithmetic
-
- Published online by Cambridge University Press:
- 23 September 2021, pp. 735-749
-
- Article
-
- You have access
- Open access
- Export citation
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction
-
- Published online by Cambridge University Press:
- 23 September 2021, pp. 629-645
-
- Article
-
- You have access
- Open access
- Export citation
Solution Enumeration by Optimality in Answer Set Programming
-
- Published online by Cambridge University Press:
- 10 September 2021, pp. 750-767
-
- Article
-
- You have access
- Open access
- Export citation
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
-
- Published online by Cambridge University Press:
- 01 September 2021, pp. 305-334
-
- Article
-
- You have access
- Open access
- Export citation
Learning Distributional Programs for Relational Autocompletion
-
- Published online by Cambridge University Press:
- 26 August 2021, pp. 81-114
-
- Article
-
- You have access
- Open access
- Export citation
Temporal Minimal-World Query Answering over Sparse ABoxes
-
- Published online by Cambridge University Press:
- 11 August 2021, pp. 193-228
-
- Article
-
- You have access
- Open access
- Export citation
Completing the Picture: Complexity of Graded Modal Logics with Converse
-
- Published online by Cambridge University Press:
- 27 April 2021, pp. 493-520
-
- Article
-
- You have access
- Open access
- Export citation
Probabilistic QoS-aware Placement of VNF Chains at the Edge
-
- Published online by Cambridge University Press:
- 15 February 2021, pp. 1-36
-
- Article
-
- You have access
- Open access
- Export citation