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 14
Preferred answer sets for ordered logic programs
-
- Published online by Cambridge University Press:
- 27 January 2006, pp. 107-167
-
- Article
- Export citation
- Cited by 14
Computing convex hulls with a linear solver
-
- Published online by Cambridge University Press:
- 10 January 2005, pp. 259-271
-
- Article
- Export citation
- Cited by 14
Disjunctive logic programs with inheritance
-
- Published online by Cambridge University Press:
- 23 April 2002, pp. 293-321
-
- Article
- Export citation
- Cited by 14
Hybrid conditional planning using answer set programming
-
- Published online by Cambridge University Press:
- 22 August 2017, pp. 1027-1047
-
- Article
- Export citation
- Cited by 14
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis*
-
- Published online by Cambridge University Press:
- 24 August 2017, pp. 780-799
-
- Article
- Export citation
- Cited by 14
Greedy algorithms in Datalog
-
- Published online by Cambridge University Press:
- 25 June 2001, pp. 381-407
-
- Article
- Export citation
- Cited by 14
Normative design using inductive learning
-
- Published online by Cambridge University Press:
- 06 July 2011, pp. 783-799
-
- Article
- Export citation
- Cited by 14
Proving correctness of imperative programs by linearizing constrained Horn clauses
-
- Published online by Cambridge University Press:
- 03 September 2015, pp. 635-650
-
- Article
- Export citation
- Cited by 14
A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders
-
- Published online by Cambridge University Press:
- 02 December 2019, pp. 80-124
-
- Article
- Export citation
- Cited by 14
Updates in answer set programming: An approach based on basic structural properties
-
- Published online by Cambridge University Press:
- 01 July 2007, pp. 451-479
-
- Article
- Export citation
- Cited by 13
Efficient groundness analysis in Prolog
-
- Published online by Cambridge University Press:
- 18 December 2002, pp. 95-124
-
- Article
- Export citation
- Cited by 13
On the implementation of GNU Prolog
-
- Published online by Cambridge University Press:
- 12 December 2011, pp. 253-282
-
- Article
- Export citation
- Cited by 13
Typing constraint logic programs
-
- Published online by Cambridge University Press:
- 09 June 2004, pp. 751-777
-
- Article
- Export citation
- Cited by 13
Specialization of functional logic programs based on needed narrowing
-
- Published online by Cambridge University Press:
- 09 May 2005, pp. 273-303
-
- Article
- Export citation
- Cited by 13
Conflict-driven ASP solving with external sources
-
- Published online by Cambridge University Press:
- 05 September 2012, pp. 659-679
-
- Article
- Export citation
- Cited by 13
Querying XML documents in logic programming*
-
- Published online by Cambridge University Press:
- 01 May 2008, pp. 323-361
-
- Article
- Export citation
- Cited by 13
Anytime Computation of Cautious Consequences in Answer Set Programming
-
- Published online by Cambridge University Press:
- 21 July 2014, pp. 755-770
-
- Article
- Export citation
- Cited by 13
Applying Prolog to develop distributed systems
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 691-707
-
- Article
- Export citation
- Cited by 13
Programming finite-domain constraint propagators in Action Rules
-
- Published online by Cambridge University Press:
- 02 August 2006, pp. 483-507
-
- Article
- Export citation
- Cited by 13
FO(FD): Extending classical logic with rule-based fixpoint definitions
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 581-596
-
- Article
- Export citation