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 9
A Distributed Approach to LARS Stream Reasoning (System paper)
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 974-989
-
- Article
- Export citation
- Cited by 9
Active integrity constraints and revision programming
-
- Published online by Cambridge University Press:
- 29 October 2010, pp. 905-952
-
- Article
- Export citation
- Cited by 9
Two results for prioritized logic programming
-
- Published online by Cambridge University Press:
- 10 March 2003, pp. 223-242
-
- Article
- Export citation
- Cited by 9
Reasoning about actions with Temporal Answer Sets
-
- Published online by Cambridge University Press:
- 25 January 2012, pp. 201-225
-
- Article
- Export citation
- Cited by 8
White-box Induction From SVM Models: Explainable AI with Logic Programming
-
- Published online by Cambridge University Press:
- 21 September 2020, pp. 656-670
-
- Article
- Export citation
- Cited by 8
An iterative approach to precondition inference using constrained Horn clauses
-
- Published online by Cambridge University Press:
- 10 August 2018, pp. 553-570
-
- Article
-
- You have access
- Export citation
- Cited by 8
Achievements in answer set programming*
-
- Published online by Cambridge University Press:
- 30 August 2017, pp. 961-973
-
- Article
- Export citation
- Cited by 8
Beyond NP: Quantifying over Answer Sets
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 705-721
-
- Article
- Export citation
- Cited by 8
A declarative extension of horn clauses, and its significance for datalog and its applications
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 609-623
-
- Article
- Export citation
- Cited by 8
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
-
- Published online by Cambridge University Press:
- 10 August 2018, pp. 355-371
-
- Article
-
- You have access
- Export citation
- Cited by 8
Dynamic Consistency Checking in Goal-Directed Answer Set Programming
-
- Published online by Cambridge University Press:
- 21 July 2014, pp. 415-427
-
- Article
- Export citation
- Cited by 8
Declarative semantics for active rules
-
- Published online by Cambridge University Press:
- 03 April 2001, pp. 43-69
-
- Article
- Export citation
- Cited by 8
eclingo : A Solver for Epistemic Logic Programs
-
- Published online by Cambridge University Press:
- 22 September 2020, pp. 834-847
-
- Article
- Export citation
- Cited by 8
A program-level approach to revising logic programs under the answer set semantics
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 565-580
-
- Article
- Export citation
- Cited by 8
Automated Verification of Weak Equivalence within the smodels System*
-
- Published online by Cambridge University Press:
- 01 November 2007, pp. 697-744
-
- Article
- Export citation
- Cited by 8
Stepwise debugging of answer-set programs*
-
- Published online by Cambridge University Press:
- 17 October 2017, pp. 30-80
-
- Article
- Export citation
- Cited by 8
Abstract diagnosis for timed concurrent constraint programs*
-
- Published online by Cambridge University Press:
- 06 July 2011, pp. 487-502
-
- Article
- Export citation
- Cited by 8
Model checking with probabilistic tabled logic programming
-
- Published online by Cambridge University Press:
- 05 September 2012, pp. 681-700
-
- Article
- Export citation
- Cited by 8
The External Interface for Extending WASP
-
- Published online by Cambridge University Press:
- 10 December 2018, pp. 225-248
-
- Article
- Export citation
- Cited by 8
Decomposable theories
-
- Published online by Cambridge University Press:
- 01 September 2007, pp. 583-632
-
- Article
- Export citation