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
RedAlert: Determinacy inference for Prolog
-
- Published online by Cambridge University Press:
- 06 July 2011, pp. 537-553
-
- Article
- Export citation
- Cited by 7
Delimited continuations for prolog
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 533-546
-
- Article
- Export citation
- Cited by 7
Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications
-
- Published online by Cambridge University Press:
- 19 April 2023, pp. 313-343
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 7
Managing caching strategies for stream reasoning with reinforcement learning
-
- Published online by Cambridge University Press:
- 21 September 2020, pp. 625-640
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 7
Reasoning support for risk prediction and prevention in independent living
-
- Published online by Cambridge University Press:
- 28 January 2011, pp. 361-395
-
- Article
- Export citation
- Cited by 7
Splitting and updating hybrid knowledge bases
-
- Published online by Cambridge University Press:
- 06 July 2011, pp. 801-819
-
- Article
- Export citation
- Cited by 7
Integration of declarative and constraint programming
-
- Published online by Cambridge University Press:
- 01 January 2007, pp. 93-121
-
- Article
- Export citation
- Cited by 7
Intelligent search strategies based on adaptive Constraint Handling Rules
-
- Published online by Cambridge University Press:
- 01 July 2005, pp. 567-594
-
- Article
- Export citation
- Cited by 7
Towards Metric Temporal Answer Set Programming
-
- Published online by Cambridge University Press:
- 21 September 2020, pp. 783-798
-
- Article
- Export citation
- Cited by 7
Modular action language
${\mathcal ALM}$
-
- Published online by Cambridge University Press:
- 06 July 2015, pp. 189-235
-
- Article
- Export citation
- Cited by 7
Scaling-up reasoning and advanced analytics on BigData
-
- Published online by Cambridge University Press:
- 05 September 2018, pp. 806-845
-
- Article
-
- You have access
- Export citation
- Cited by 7
Abstract interpretation of temporal concurrent constraint programs
-
- Published online by Cambridge University Press:
- 10 February 2014, pp. 312-357
-
- Article
- Export citation
- Cited by 7
CLAIRE: combining sets, search and rules to better express algorithms
-
- Published online by Cambridge University Press:
- 13 November 2002, pp. 769-805
-
- Article
- Export citation
- Cited by 7
Actual causation in CP-logic
-
- Published online by Cambridge University Press:
- 06 July 2011, pp. 647-662
-
- Article
- Export citation
- Cited by 7
Resource Analysis driven by (Conditional) Termination Proofs
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 722-739
-
- Article
- Export citation
- Cited by 7
Combining relational algebra, SQL, constraint modelling, and local search*
-
- Published online by Cambridge University Press:
- 01 January 2007, pp. 37-65
-
- Article
- Export citation
- Cited by 6
MAP Inference for Probabilistic Logic Programming
-
- Published online by Cambridge University Press:
- 21 September 2020, pp. 641-655
-
- Article
- Export citation
- 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
A practical analysis of non-termination in large logic programs
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 705-719
-
- Article
- Export citation