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 11
Complexity and compilation of GZ-aggregates in answer set programming
-
- Published online by Cambridge University Press:
- 03 September 2015, pp. 574-587
-
- Article
- Export citation
- Cited by 11
Fifty Years of Prolog and Beyond
-
- Published online by Cambridge University Press:
- 17 May 2022, pp. 776-858
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 11
An effective fixpoint semantics for linear logic programs
-
- Published online by Cambridge University Press:
- 18 December 2001, pp. 85-122
-
- Article
- Export citation
- Cited by 11
Lifted Variable Elimination for Probabilistic Logic Programming
-
- Published online by Cambridge University Press:
- 21 July 2014, pp. 681-695
-
- Article
- Export citation
- Cited by 11
Taming primary key violations to query large inconsistent data via ASP
-
- Published online by Cambridge University Press:
- 03 September 2015, pp. 696-710
-
- Article
- Export citation
- Cited by 11
Automatic verification of timed concurrent constraint programs
-
- Published online by Cambridge University Press:
- 11 May 2006, pp. 265-300
-
- Article
- Export citation
- Cited by 11
CHR(PRISM)-based probabilistic logic learning
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 433-447
-
- Article
- Export citation
- Cited by 11
The rise and fall of semantic rule updates based on SE-models*
-
- Published online by Cambridge University Press:
- 07 August 2013, pp. 869-907
-
- Article
- Export citation
- Cited by 11
Transition systems for model generators—A unifying approach
-
- Published online by Cambridge University Press:
- 06 July 2011, pp. 629-646
-
- Article
- Export citation
- Cited by 11
GEM: A distributed goal evaluation algorithm for trust management
-
- Published online by Cambridge University Press:
- 03 December 2012, pp. 293-337
-
- Article
- Export citation
- Cited by 11
Inference in probabilistic logic programs with continuous random variables
-
- Published online by Cambridge University Press:
- 05 September 2012, pp. 505-523
-
- Article
- Export citation
- Cited by 11
Multi-threading and message communication in Qu-Prolog
-
- Published online by Cambridge University Press:
- 15 June 2001, pp. 283-301
-
- Article
- Export citation
- Cited by 11
Checking the quality of clinical guidelines using automated reasoning tools
-
- Published online by Cambridge University Press:
- 01 November 2008, pp. 611-641
-
- Article
- Export citation
- Cited by 11
Online learning of event definitions
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 817-833
-
- Article
- Export citation
- Cited by 11
Ackermann encoding, bisimulations and OBDDs
-
- Published online by Cambridge University Press:
- 12 August 2004, pp. 695-718
-
- Article
- Export citation
- Cited by 11
Parallel instantiation of ASP programs: techniques and experiments
-
- Published online by Cambridge University Press:
- 25 January 2012, pp. 253-278
-
- Article
- Export citation
- Cited by 10
Debugging Non-ground ASP Programs: Technique and Graphical Tools
-
- Published online by Cambridge University Press:
- 15 February 2019, pp. 290-316
-
- Article
- Export citation
- Cited by 10
A linear algebraic approach to datalog evaluation
-
- Published online by Cambridge University Press:
- 22 May 2017, pp. 244-265
-
- Article
- Export citation
- Cited by 10
Optimization of bound disjunctive queries with constraints
-
- Published online by Cambridge University Press:
- 31 October 2005, pp. 713-745
-
- Article
- Export citation
- Cited by 10
Programming in logic without logic programming
-
- Published online by Cambridge University Press:
- 16 March 2016, pp. 269-295
-
- Article
- Export citation