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 6
CLP-based protein fragment assembly*
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 709-724
-
- Article
- Export citation
- Cited by 6
A Proof Theoretic Study of Soft Concurrent Constraint Programming
-
- Published online by Cambridge University Press:
- 21 July 2014, pp. 649-663
-
- Article
- Export citation
- Cited by 6
I-DLV-sr: A Stream Reasoning System based on I-DLV
-
- Published online by Cambridge University Press:
- 23 September 2021, pp. 610-628
-
- Article
- Export citation
- Cited by 6
Finding similar/diverse solutions in answer set programming*
-
- Published online by Cambridge University Press:
- 01 November 2011, pp. 303-359
-
- Article
- Export citation
- Cited by 6
Deriving conclusions from non-monotonic cause-effect relations*
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 670-687
-
- Article
- Export citation
- Cited by 6
The dlvhex system for knowledge representation: recent advances (system description)*
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 866-883
-
- Article
- Export citation
- Cited by 6
Anti-unification in Constraint Logic Programming
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 773-789
-
- Article
- Export citation
- Cited by 6
Soft constraint programming to analysing security protocols
-
- Published online by Cambridge University Press:
- 12 August 2004, pp. 545-572
-
- Article
- Export citation
- Cited by 6
The witness properties and the semantics of the Prolog cut
-
- Published online by Cambridge University Press:
- 18 December 2002, pp. 1-59
-
- Article
- Export citation
- Cited by 6
Worst-case groundness analysis using definite Boolean functions
-
- Published online by Cambridge University Press:
- 18 October 2001, pp. 611-615
-
- Article
- Export citation
- Cited by 6
On model checking data-independent systems with arrays without reset
-
- Published online by Cambridge University Press:
- 12 August 2004, pp. 659-693
-
- Article
- Export citation
- Cited by 6
Sequence-based abstract interpretation of Prolog
-
- Published online by Cambridge University Press:
- 18 December 2001, pp. 25-84
-
- Article
- Export citation
- Cited by 6
CASP solutions for planning in hybrid domains
-
- Published online by Cambridge University Press:
- 04 July 2017, pp. 591-633
-
- Article
- Export citation
- Cited by 6
Specifying and Verbalising Answer Set Programs in Controlled Natural Language
-
- Published online by Cambridge University Press:
- 10 August 2018, pp. 691-705
-
- Article
-
- You have access
- Export citation
- Cited by 6
Cautious reasoning in ASP via minimal models and unsatisfiable cores
-
- Published online by Cambridge University Press:
- 10 August 2018, pp. 319-336
-
- Article
-
- You have access
- Export citation
- Cited by 6
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs
-
- Published online by Cambridge University Press:
- 10 August 2018, pp. 421-437
-
- Article
-
- You have access
- Export citation
- Cited by 5
Fuzzy answer set computation via satisfiability modulo theories
-
- Published online by Cambridge University Press:
- 03 September 2015, pp. 588-603
-
- Article
- Export citation
- Cited by 5
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
-
- Published online by Cambridge University Press:
- 21 September 2020, pp. 687-702
-
- Article
- Export citation
- Cited by 5
Certificate size reduction in abstraction-carrying code*
-
- Published online by Cambridge University Press:
- 05 January 2011, pp. 283-318
-
- Article
- Export citation
- Cited by 5
An ER-based framework for declarative web programming*
-
- Published online by Cambridge University Press:
- 30 October 2012, pp. 269-291
-
- Article
- Export citation