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 19
Iterative Learning of Answer Set Programs from Context Dependent Examples
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 834-848
-
- Article
- Export citation
- Cited by 19
Computing LPMLN using ASP and MLN solvers*
-
- Published online by Cambridge University Press:
- 30 August 2017, pp. 942-960
-
- Article
- Export citation
- Cited by 19
Set unification
-
- Published online by Cambridge University Press:
- 16 October 2006, pp. 645-701
-
- Article
- Export citation
- Cited by 19
Generating explanations for biomedical queries
-
- Published online by Cambridge University Press:
- 17 December 2013, pp. 35-78
-
- Article
- Export citation
- Cited by 19
Solving Horn Clauses on Inductive Data Types Without Induction
-
- Published online by Cambridge University Press:
- 10 August 2018, pp. 452-469
-
- Article
-
- You have access
- Export citation
- Cited by 19
XPath-logic and XPathLog: A logic-programming style XML data manipulation language
-
- Published online by Cambridge University Press:
- 16 April 2004, pp. 239-287
-
- Article
- Export citation
- Cited by 18
A model building framework for answer set programming with external computations*
-
- Published online by Cambridge University Press:
- 13 August 2015, pp. 418-464
-
- Article
- Export citation
- Cited by 18
Logic programming with satisfiability
-
- Published online by Cambridge University Press:
- 01 January 2008, pp. 121-128
-
- Article
- Export citation
- Cited by 18
Verifying Tight Logic Programs with anthem and vampire
-
- Published online by Cambridge University Press:
- 21 September 2020, pp. 735-750
-
- Article
- Export citation
- Cited by 18
Logic-based specification languages for intelligent software agents
-
- Published online by Cambridge University Press:
- 07 June 2004, pp. 429-494
-
- Article
- Export citation
- Cited by 18
Linear tabling strategies and optimizations
-
- Published online by Cambridge University Press:
- 01 January 2008, pp. 81-109
-
- Article
- Export citation
- Cited by 18
Constraint programming viewed as rule-based programming
-
- Published online by Cambridge University Press:
- 09 June 2004, pp. 713-750
-
- Article
- Export citation
- Cited by 18
An interactive semantics of logic programming
-
- Published online by Cambridge University Press:
- 16 May 2007, pp. 647-690
-
- Article
- Export citation
- Cited by 18
Compiling finite domain constraints to SAT with BEE*
-
- Published online by Cambridge University Press:
- 05 September 2012, pp. 465-483
-
- Article
- Export citation
- Cited by 18
On the existence of stable models of non-stratified logic programs
-
- Published online by Cambridge University Press:
- 27 January 2006, pp. 169-212
-
- Article
- Export citation
- Cited by 18
Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming
-
- Published online by Cambridge University Press:
- 10 August 2018, pp. 520-534
-
- Article
-
- You have access
- Export citation
- Cited by 18
Temporal Answer Set Programming on Finite Traces
-
- Published online by Cambridge University Press:
- 10 August 2018, pp. 406-420
-
- Article
-
- You have access
- Export citation
- Cited by 17
Rewriting recursive aggregates in answer set programming: back to monotonicity
-
- Published online by Cambridge University Press:
- 03 September 2015, pp. 559-573
-
- Article
- Export citation
- Cited by 17
Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications
-
- Published online by Cambridge University Press:
- 27 January 2006, pp. 23-60
-
- Article
- Export citation
- Cited by 17
Multi-threaded ASP solving with clasp
-
- Published online by Cambridge University Press:
- 05 September 2012, pp. 525-545
-
- Article
- Export citation