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
Polymorphic lemmas and definitions in $\lambda$Prolog and Twelf
-
- Published online by Cambridge University Press:
- 06 January 2004, pp. 1-39
-
- Article
- Export citation
- Cited by 2
Lloyd-Topor completion and general stable models
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 503-515
-
- Article
- Export citation
- Cited by 2
Relative expressiveness of defeasible logics II
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 579-592
-
- Article
- Export citation
- Cited by 2
Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP
-
- Published online by Cambridge University Press:
- 10 August 2018, pp. 438-451
-
- Article
-
- You have access
- Export citation
- Cited by 2
Paracoherent Answer Set Semantics meets Argumentation Frameworks
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 688-704
-
- Article
- Export citation
- Cited by 2
An Application of ASP Theories of Intentions to Understanding Restaurant Scenarios: Insights and Narrative Corpus
-
- Published online by Cambridge University Press:
- 22 April 2019, pp. 273-293
-
- Article
- Export citation
- Cited by 2
Building Information Modeling Using Constraint Logic Programming
-
- Published online by Cambridge University Press:
- 14 July 2022, pp. 723-738
-
- Article
- Export citation
- Cited by 2
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
- 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
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
Inconsistency Proofs for ASP: The ASP - DRUPE Format
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 891-907
-
- 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
Guarded resolution for Answer Set Programming
-
- Published online by Cambridge University Press:
- 24 March 2010, pp. 111-123
-
- 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
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
Integrating Logic Rules with Everything Else, Seamlessly
-
- Published online by Cambridge University Press:
- 06 July 2023, pp. 678-695
-
- Article
- Export citation
- Cited by 2
VeriFly: On-the-fly Assertion Checking via Incrementality
-
- Published online by Cambridge University Press:
- 02 November 2021, pp. 768-784
-
- Article
- Export citation