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 22
Distributed WWW programming using (Ciao-)Prolog and the PiLLoW library
-
- Published online by Cambridge University Press:
- 15 June 2001, pp. 251-282
-
- Article
- Export citation
- Cited by 22
The third open answer set programming competition
-
- Published online by Cambridge University Press:
- 06 September 2012, pp. 117-135
-
- Article
-
- You have access
- Export citation
- Cited by 21
Transformation-based bottom-up computation of the well-founded model
-
- Published online by Cambridge University Press:
- 22 October 2001, pp. 497-538
-
- Article
- Export citation
- Cited by 21
The rationale behind the concept of goal
-
- Published online by Cambridge University Press:
- 31 March 2016, pp. 296-324
-
- Article
-
- You have access
- Export citation
- Cited by 21
Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
-
- Published online by Cambridge University Press:
- 25 January 2012, pp. 279-302
-
- Article
- Export citation
- Cited by 21
Constraint answer set solver EZCSP and why integration schemas matter
-
- Published online by Cambridge University Press:
- 29 June 2017, pp. 462-515
-
- Article
- Export citation
- Cited by 21
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
-
- Published online by Cambridge University Press:
- 14 May 2014, pp. 783-817
-
- Article
-
- You have access
- Export citation
- Cited by 20
Translating OWL and semantic web rules into prolog: Moving toward description logic programs
-
- Published online by Cambridge University Press:
- 01 May 2008, pp. 301-322
-
- Article
- Export citation
- Cited by 20
SUNNY: a Lazy Portfolio Approach for Constraint Solving
-
- Published online by Cambridge University Press:
- 21 July 2014, pp. 509-524
-
- Article
- Export citation
- Cited by 20
Temporal phylogenetic networks and logic programming
-
- Published online by Cambridge University Press:
- 02 August 2006, pp. 539-558
-
- Article
- Export citation
- Cited by 20
Test case generation for object-oriented imperative languages in CLP*
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 659-674
-
- Article
- Export citation
- Cited by 20
Analysis and Transformation of Constrained Horn Clauses for Program Verification
-
- Published online by Cambridge University Press:
- 15 November 2021, pp. 974-1042
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 20
Equivalence-checking on infinite-state systems: Techniques and results
-
- Published online by Cambridge University Press:
- 11 May 2006, pp. 227-264
-
- Article
- Export citation
- Cited by 20
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types*
-
- Published online by Cambridge University Press:
- 21 July 2014, pp. 739-754
-
- Article
- Export citation
- Cited by 20
Automated termination analysis for logic programs with cut*
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 365-381
-
- Article
- Export citation
- Cited by 20
A logic-based approach to data integration
-
- Published online by Cambridge University Press:
- 23 April 2002, pp. 323-368
-
- Article
- Export citation
- Cited by 19
CHR grammars
-
- Published online by Cambridge University Press:
- 01 July 2005, pp. 467-501
-
- Article
- Export citation
- Cited by 19
Logic programs with monotone abstract constraint atoms*
-
- Published online by Cambridge University Press:
- 01 March 2008, pp. 167-199
-
- Article
- Export citation
- Cited by 19
Disjunctive ASP with functions: Decidable queries and effective computation*
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 497-512
-
- Article
- Export citation
- 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