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 13
The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
-
- Published online by Cambridge University Press:
- 14 August 2009, pp. 691-750
-
- Article
- Export citation
- Cited by 13
Minimal intervention strategies in logical signaling networks with ASP
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 675-690
-
- Article
- Export citation
- Cited by 12
Answer set programming as a modeling language for course timetabling
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 783-798
-
- Article
- Export citation
- Cited by 12
Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 990-1005
-
- Article
- Export citation
- Cited by 12
Train Scheduling with Hybrid Answer Set Programming
-
- Published online by Cambridge University Press:
- 27 April 2020, pp. 317-347
-
- Article
- Export citation
- Cited by 12
Non-monotonic spatial reasoning with answer set programming modulo theories*†
-
- Published online by Cambridge University Press:
- 30 August 2016, pp. 205-225
-
- Article
- Export citation
- Cited by 12
A declarative semantics for CLP with qualification and proximity*
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 627-642
-
- Article
- Export citation
- Cited by 12
A complete and terminating execution model for Constraint Handling Rules
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 597-610
-
- Article
- Export citation
- Cited by 12
Guarded hybrid knowledge bases12
-
- Published online by Cambridge University Press:
- 01 May 2008, pp. 411-429
-
- Article
- Export citation
- Cited by 12
SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 657-673
-
- Article
- Export citation
- Cited by 12
Learning weak constraints in answer set programming
-
- Published online by Cambridge University Press:
- 03 September 2015, pp. 511-525
-
- Article
- Export citation
- Cited by 12
aspeed: Solver scheduling via answer set programming1
-
- Published online by Cambridge University Press:
- 17 February 2014, pp. 117-142
-
- Article
- Export citation
- Cited by 12
A review of literature on parallel constraint solving
-
- Published online by Cambridge University Press:
- 02 August 2018, pp. 725-758
-
- Article
-
- You have access
- Export citation
- Cited by 12
Functional answer set programming
-
- Published online by Cambridge University Press:
- 04 February 2011, pp. 203-233
-
- Article
- Export citation
- Cited by 12
Graphs and colorings for answer set programming
-
- Published online by Cambridge University Press:
- 27 January 2006, pp. 61-106
-
- Article
- Export citation
- Cited by 12
Recurrence with affine level mappings is P-time decidable for CLP
-
- Published online by Cambridge University Press:
- 01 January 2008, pp. 111-119
-
- Article
- Export citation
- Cited by 12
Theory of finite or infinite trees revisited
-
- Published online by Cambridge University Press:
- 12 May 2008, pp. 431-489
-
- Article
- Export citation
- Cited by 12
Classes of terminating logic programs
-
- Published online by Cambridge University Press:
- 23 April 2002, pp. 369-418
-
- Article
- Export citation
- Cited by 12
High-level networking with mobile code and first order AND-continuations
-
- Published online by Cambridge University Press:
- 15 June 2001, pp. 359-380
-
- Article
- Export citation
- Cited by 11
On the expressibility of stable logic programming
-
- Published online by Cambridge University Press:
- 31 July 2003, pp. 551-567
-
- Article
- Export citation