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 5
Answer Set Planning: A Survey
-
- Published online by Cambridge University Press:
- 01 April 2022, pp. 226-298
-
- Article
- Export citation
- Cited by 5
CoreALMlib: An $\mathscr{ALM}$ library translated from the Component Library
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 800-816
-
- Article
- Export citation
- Cited by 5
A Probabilistic Extension of Action Language ${\cal BC}$+}$
-
- Published online by Cambridge University Press:
- 10 August 2018, pp. 607-622
-
- Article
-
- You have access
- Export citation
- Cited by 5
Verifying termination and error-freedom of logic programs with block declarations
-
- Published online by Cambridge University Press:
- 25 June 2001, pp. 447-486
-
- Article
- Export citation
- Cited by 5
Default rules for Curry*
-
- Published online by Cambridge University Press:
- 01 July 2016, pp. 121-147
-
- Article
- Export citation
- Cited by 5
Constraint-based deadlock checking of high-level specifications
-
- Published online by Cambridge University Press:
- 06 July 2011, pp. 767-782
-
- Article
- Export citation
- Cited by 5
Partial Compilation of ASP Programs
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 857-873
-
- Article
- Export citation
- Cited by 5
Incremental maintenance of overgrounded logic programs with tailored simplifications
-
- Published online by Cambridge University Press:
- 21 September 2020, pp. 719-734
-
- Article
- Export citation
- Cited by 5
Anti-unification in Constraint Logic Programming
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 773-789
-
- Article
- Export citation
- Cited by 5
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming
-
- Published online by Cambridge University Press:
- 14 December 2020, pp. 372-401
-
- Article
- Export citation
- Cited by 5
Annotation of logic programs for independent AND-parallelism by partial evaluation*
-
- Published online by Cambridge University Press:
- 05 September 2012, pp. 583-600
-
- Article
- Export citation
- Cited by 5
Analysing graph transformation systems through constraint handling rules
-
- Published online by Cambridge University Press:
- 20 July 2010, pp. 65-109
-
- Article
- Export citation
- Cited by 4
Aggregate Semantics for Propositional Answer Set Programs
-
- Published online by Cambridge University Press:
- 23 February 2022, pp. 157-194
-
- Article
- Export citation
- Cited by 4
Relativized hyperequivalence of logic programs for modular programming
-
- Published online by Cambridge University Press:
- 14 September 2009, pp. 781-819
-
- Article
- Export citation
- Cited by 4
Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming
-
- Published online by Cambridge University Press:
- 22 September 2020, pp. 974-989
-
- Article
- Export citation
- Cited by 4
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
-
- Published online by Cambridge University Press:
- 21 September 2020, pp. 687-702
-
- Article
- Export citation
- Cited by 4
Transformations of logic programs on infinite lists
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 383-399
-
- Article
- Export citation
- Cited by 4
Query answering in resource-based answer set semantics*
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 619-635
-
- Article
- Export citation
- Cited by 4
Hybrid metabolic network completion
-
- Published online by Cambridge University Press:
- 09 November 2018, pp. 83-108
-
- Article
- Export citation
- Cited by 4
On the abductive or deductive nature of database schema validation and update processing problems
-
- Published online by Cambridge University Press:
- 13 May 2003, pp. 287-327
-
- Article
- Export citation