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
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
- Cited by 6
Tabling as a library with delimited control
-
- Published online by Cambridge University Press:
- 03 September 2015, pp. 419-433
-
- Article
-
- You have access
- Export citation
- Cited by 6
Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples
-
- Published online by Cambridge University Press:
- 10 August 2018, pp. 623-637
-
- Article
-
- You have access
- Export citation
- Cited by 6
On elementary loops of logic programs
-
- Published online by Cambridge University Press:
- 24 May 2011, pp. 953-988
-
- Article
- Export citation
- Cited by 6
PROGRAMMING PEARL: Enhancing a search algorithm to perform intelligent backtracking
-
- Published online by Cambridge University Press:
- 16 April 2004, pp. 371-380
-
- Article
- Export citation
- Cited by 6
Assertion-based analysis via slicing with ABETS* (system description)
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 515-532
-
- Article
- Export citation
- Cited by 6
ASP for minimal entailment in a rational extension of SROEL
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 738-754
-
- Article
- Export citation
- Cited by 6
Threads and or-parallelism unified
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 417-432
-
- Article
- Export citation
- Cited by 6
Efficient tabling of structured data with enhanced hash-consing
-
- Published online by Cambridge University Press:
- 05 September 2012, pp. 547-563
-
- Article
- Export citation
- Cited by 6
Concolic testing in logic programming*
-
- Published online by Cambridge University Press:
- 03 September 2015, pp. 711-725
-
- Article
- Export citation
- Cited by 6
Flexible coinductive logic programming
-
- Published online by Cambridge University Press:
- 22 September 2020, pp. 818-833
-
- Article
- Export citation
- Cited by 6
Logic + control: On program construction and verification
-
- Published online by Cambridge University Press:
- 19 June 2017, pp. 1-29
-
- Article
- Export citation
- Cited by 6
Non-termination analysis of logic programs with integer arithmetics
-
- Published online by Cambridge University Press:
- 06 July 2011, pp. 521-536
-
- Article
- Export citation
- Cited by 6
Contextual Abductive Reasoning with Side-Effects
-
- Published online by Cambridge University Press:
- 21 July 2014, pp. 633-648
-
- Article
- Export citation
- Cited by 6
The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information
-
- Published online by Cambridge University Press:
- 21 July 2014, pp. 461-475
-
- Article
- Export citation
- Cited by 6
When you must forget: Beyond strong persistence when forgetting in answer set programming*
-
- Published online by Cambridge University Press:
- 30 August 2017, pp. 837-854
-
- Article
- Export citation
- Cited by 6
Incremental Answer Set Programming with Overgrounding
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 957-973
-
- Article
- Export citation
- Cited by 6
Planning as tabled logic programming
-
- Published online by Cambridge University Press:
- 03 September 2015, pp. 543-558
-
- Article
- Export citation
- Cited by 6
Incremental Tabling in Support of Knowledge Representation and Reasoning
-
- Published online by Cambridge University Press:
- 21 July 2014, pp. 553-567
-
- Article
- Export citation
- Cited by 6
Model enumeration in propositional circumscription via unsatisfiable core analysis*
-
- Published online by Cambridge University Press:
- 22 August 2017, pp. 708-725
-
- Article
- Export citation