Most cited
This page lists all time most cited articles for this title. Please use the publication date filters on the left if you would like to restrict this list to recently published content, for example to articles published in the last three years. The number of times each article was cited is displayed to the right of its title and can be clicked to access a list of all titles this article has been cited by.
- Cited by 2
Transformation-Enabled Precondition Inference
-
- Published online by Cambridge University Press:
- 23 September 2021, pp. 700-716
-
- Article
- Export citation
- Cited by 2
Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism
-
- Published online by Cambridge University Press:
- 02 July 2019, pp. 147-175
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 2
In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming
-
- Published online by Cambridge University Press:
- 25 February 2019, pp. 99-146
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 2
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs
-
- Published online by Cambridge University Press:
- 05 November 2021, pp. 575-592
-
- Article
- Export citation
- Cited by 2
Module theorem for the general theory of stable models
-
- Published online by Cambridge University Press:
- 05 September 2012, pp. 719-735
-
- Article
- Export citation
- Cited by 2
Optimal multibinding unification for sharing and linearity analysis
-
- Published online by Cambridge University Press:
- 09 August 2013, pp. 379-400
-
- Article
- Export citation
- Cited by 2
Guarded resolution for Answer Set Programming
-
- Published online by Cambridge University Press:
- 24 March 2010, pp. 111-123
-
- Article
- Export citation
- Cited by 2
MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations
-
- Published online by Cambridge University Press:
- 26 July 2022, pp. 678-692
-
- Article
- Export citation
- Cited by 2
Concolic Testing in CLP
-
- Published online by Cambridge University Press:
- 21 September 2020, pp. 671-686
-
- Article
- Export citation
- Cited by 2
Minimal founded semantics for disjunctive logic programs and deductive databases
-
- Published online by Cambridge University Press:
- 06 January 2004, pp. 75-93
-
- Article
- Export citation
- Cited by 2
First-order Answer Set Programming as Constructive Proof Search
-
- Published online by Cambridge University Press:
- 10 August 2018, pp. 673-690
-
- Article
-
- You have access
- Export citation
- Cited by 2
Stable models for infinitary formulas with extensional atoms
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 771-786
-
- Article
- Export citation
- Cited by 2
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
- Cited by 2
Defeasible Reasoning via Datalog¬
-
- Published online by Cambridge University Press:
- 02 November 2021, pp. 986-1028
-
- Article
-
- You have access
- Export citation
- Cited by 2
On combining linear-based strategies for tabled evaluation of logic programs
-
- Published online by Cambridge University Press:
- 06 July 2011, pp. 681-696
-
- Article
- Export citation
- Cited by 2
Exploring the Jungle of Intuitionistic Temporal Logics
-
- Published online by Cambridge University Press:
- 22 April 2021, pp. 459-492
-
- Article
- Export citation
- Cited by 2
An application of answer set programming to the field of second language acquisition
-
- Published online by Cambridge University Press:
- 22 January 2014, pp. 1-17
-
- Article
- Export citation
- Cited by 2
Interdefinability of defeasible logic and logic programming under the well-founded semantics
-
- Published online by Cambridge University Press:
- 09 August 2011, pp. 107-142
-
- Article
- Export citation
- Cited by 2
Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper)
-
- Published online by Cambridge University Press:
- 23 August 2017, pp. 800-818
-
- Article
- Export citation
- Cited by 2
An ASP-based Approach to Answering Natural Language Questions for Texts
-
- Published online by Cambridge University Press:
- 04 February 2022, pp. 419-443
-
- Article
- Export citation