Original Article
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
Survey Article
Parallel Logic Programming: A Sequel
-
- Published online by Cambridge University Press:
- 28 March 2022, pp. 905-973
-
- Article
- Export citation
Original Article
Symbolic Specialization of Rewriting Logic Theories with Presto
-
- Published online by Cambridge University Press:
- 11 February 2022, pp. 444-495
-
- Article
- Export citation
Operating Room (Re)Scheduling with Bed Management via ASP
-
- Published online by Cambridge University Press:
- 14 July 2021, pp. 229-253
-
- Article
- Export citation
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
-
- Published online by Cambridge University Press:
- 07 July 2022, pp. 555-572
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Book Review
Probabilistic Semantic Web Reasoning and Learning, by Zese Riccardo
-
- Published online by Cambridge University Press:
- 10 March 2021, pp. 496-498
-
- Article
- Export citation
Original Article
Reasoning on
with Defeasibility in ASP
-
- Published online by Cambridge University Press:
- 03 August 2021, pp. 254-304
-
- Article
- 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
Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis
-
- Published online by Cambridge University Press:
- 28 June 2022, pp. 693-707
-
- Article
- Export citation
Technical Note
On Signings and the Well-Founded Semantics
-
- Published online by Cambridge University Press:
- 20 April 2021, pp. 115-127
-
- Article
- Export citation
Original Article
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
Rapid Communication
Exploiting Database Management Systems and Treewidth for Counting
-
- Published online by Cambridge University Press:
- 12 March 2021, pp. 128-157
-
- Article
- Export citation
Survey Article
Thirty years of Epistemic Specifications
-
- Published online by Cambridge University Press:
- 08 November 2021, pp. 1043-1083
-
- Article
- Export citation
Original Article
Strong Equivalence of Logic Programs with Counting
-
- Published online by Cambridge University Press:
- 24 June 2022, pp. 573-588
-
- Article
- Export citation
Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective
-
- Published online by Cambridge University Press:
- 01 July 2022, pp. 708-722
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Building Information Modeling Using Constraint Logic Programming
-
- Published online by Cambridge University Press:
- 14 July 2022, pp. 723-738
-
- Article
- Export citation
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases
-
- Published online by Cambridge University Press:
- 05 July 2022, pp. 589-605
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A Neuro-Symbolic ASP Pipeline for Visual Question Answering
-
- Published online by Cambridge University Press:
- 11 July 2022, pp. 739-754
-
- Article
- Export citation
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems
-
- Published online by Cambridge University Press:
- 30 June 2022, pp. 606-622
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
-
- Published online by Cambridge University Press:
- 04 July 2022, pp. 623-639
-
- Article
-
- You have access
- Open access
- HTML
- Export citation