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 60
On properties of update sequences based on causal rejection
-
- Published online by Cambridge University Press:
- 13 November 2002, pp. 711-767
-
- Article
- Export citation
- Cited by 58
Diagnostic reasoning with A-Prolog
-
- Published online by Cambridge University Press:
- 31 July 2003, pp. 425-461
-
- Article
- Export citation
- Cited by 56
CP-logic: A language of causal probabilistic events and its relation to logic programming
-
- Published online by Cambridge University Press:
- 01 May 2009, pp. 245-308
-
- Article
- Export citation
- Cited by 53
Abstract gringo
-
- Published online by Cambridge University Press:
- 03 September 2015, pp. 449-463
-
- Article
- Export citation
- Cited by 51
Logic program specialisation through partial deduction: Control issues
-
- Published online by Cambridge University Press:
- 26 July 2002, pp. 461-515
-
- Article
- Export citation
- Cited by 50
Embedding defeasible logic into logic programming
-
- Published online by Cambridge University Press:
- 16 October 2006, pp. 703-735
-
- Article
- Export citation
- Cited by 47
Design and implementation of aggregate functions in the DLV system*
-
- Published online by Cambridge University Press:
- 01 November 2008, pp. 545-580
-
- Article
- Export citation
- Cited by 42
A Constructive semantic characterization of aggregates in answer set programming
-
- Published online by Cambridge University Press:
- 01 May 2007, pp. 355-375
-
- Article
- Export citation
- Cited by 42
Abduction in well-founded semantics and generalized stable models via tabled dual programs
-
- Published online by Cambridge University Press:
- 07 June 2004, pp. 383-428
-
- Article
- Export citation
- Cited by 42
Justifications for logic programs under answer set semantics
-
- Published online by Cambridge University Press:
- 01 January 2009, pp. 1-56
-
- Article
- Export citation
- Cited by 42
Constraint Answer Set Programming without Grounding
-
- Published online by Cambridge University Press:
- 10 August 2018, pp. 337-354
-
- Article
-
- You have access
- Export citation
- Cited by 42
SWI-Prolog and the web
-
- Published online by Cambridge University Press:
- 01 May 2008, pp. 363-392
-
- Article
- Export citation
- Cited by 41
The PITA system: Tabling and answer subsumption for reasoning under uncertainty
-
- Published online by Cambridge University Press:
- 06 July 2011, pp. 433-449
-
- Article
- Export citation
- Cited by 41
ECLiPSe – From LP to CLP
-
- Published online by Cambridge University Press:
- 12 September 2011, pp. 127-156
-
- Article
- Export citation
- Cited by 40
An abductive framework for computing knowledge base updates
-
- Published online by Cambridge University Press:
- 25 November 2003, pp. 671-715
-
- Article
- Export citation
- Cited by 39
Propositional theories are strongly equivalent to logic programs
-
- Published online by Cambridge University Press:
- 01 November 2007, pp. 745-759
-
- Article
- Export citation
- Cited by 39
Complex optimization in answer set programming
-
- Published online by Cambridge University Press:
- 06 July 2011, pp. 821-839
-
- Article
- Export citation
- Cited by 39
Bounded LTL model checking with stable models
-
- Published online by Cambridge University Press:
- 31 July 2003, pp. 519-550
-
- Article
- Export citation
- Cited by 38
The deductive database system [Lscr ][Dscr ][Lscr ]++
-
- Published online by Cambridge University Press:
- 18 December 2002, pp. 61-94
-
- Article
- Export citation
- Cited by 37
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
-
- Published online by Cambridge University Press:
- 21 July 2014, pp. 569-585
-
- Article
- Export citation