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 7
Reducing fuzzy answer set programming to model finding in fuzzy logics
-
- Published online by Cambridge University Press:
- 21 June 2011, pp. 811-842
-
- Article
- Export citation
- Cited by 7
Improving Prolog programs: Refactoring for Prolog
-
- Published online by Cambridge University Press:
- 01 March 2008, pp. 201-215
-
- Article
- Export citation
- Cited by 7
Inferring termination conditions for logic programs using backwards analysis
-
- Published online by Cambridge University Press:
- 10 January 2005, pp. 75-91
-
- Article
- Export citation
- Cited by 7
A Logic Framework for P2P Deductive Databases
-
- Published online by Cambridge University Press:
- 19 June 2019, pp. 1-43
-
- Article
- Export citation
- Cited by 7
Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
-
- Published online by Cambridge University Press:
- 21 September 2020, pp. 609-624
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 7
Characterizing and extending answer set semantics using possibility theory
-
- Published online by Cambridge University Press:
- 10 January 2014, pp. 79-116
-
- Article
-
- You have access
- Export citation
- Cited by 7
On equivalence of infinitary formulas under the stable model semantics
-
- Published online by Cambridge University Press:
- 16 May 2014, pp. 18-34
-
- Article
- Export citation
- Cited by 7
Modular Answer Set Programming as a Formal Specification Language
-
- Published online by Cambridge University Press:
- 21 September 2020, pp. 767-782
-
- Article
- Export citation
- Cited by 7
Properties of Input-Consuming Derivations
-
- Published online by Cambridge University Press:
- 25 March 2002, pp. 125-154
-
- Article
- Export citation
- Cited by 7
SMCHR: Satisfiability modulo constraint handling rules
-
- Published online by Cambridge University Press:
- 05 September 2012, pp. 601-618
-
- Article
- Export citation
- Cited by 7
Productive corecursion in logic programming*
-
- Published online by Cambridge University Press:
- 22 August 2017, pp. 906-923
-
- Article
- Export citation
- Cited by 7
Efficient Computation of the Well-Founded Semantics over Big Data
-
- Published online by Cambridge University Press:
- 21 July 2014, pp. 445-459
-
- Article
-
- You have access
- Export citation
- Cited by 7
A Linear Logic Programming Language for Concurrent Programming over Graph Structures
-
- Published online by Cambridge University Press:
- 21 July 2014, pp. 493-507
-
- Article
- Export citation
- Cited by 7
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
- Cited by 7
Inference of termination conditions for numerical loops in Prolog
-
- Published online by Cambridge University Press:
- 12 August 2004, pp. 719-751
-
- Article
- Export citation
- Cited by 7
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
-
- Published online by Cambridge University Press:
- 16 April 2004, pp. 289-323
-
- Article
- Export citation
- Cited by 7
The system Kato: Detecting cases of plagiarism for answer-set programs
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 759-775
-
- Article
- Export citation
- Cited by 7
Logic–based decision support for strategic environmental assessment
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 643-658
-
- Article
- Export citation
- Cited by 7
atalog: A logic language for expressing
search and optimization problems
-
- Published online by Cambridge University Press:
- 18 January 2010, pp. 125-166
-
- Article
- Export citation
- Cited by 7
Multivalued action languages with constraints in CLP(FD)1
-
- Published online by Cambridge University Press:
- 18 February 2010, pp. 167-235
-
- Article
- Export citation