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 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
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
- Cited by 4
Enhancing the expressive power of the U-Datalog language
-
- Published online by Cambridge University Press:
- 03 April 2001, pp. 105-122
-
- 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
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
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
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
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
Coding guidelines for Prolog
-
- Published online by Cambridge University Press:
- 30 June 2011, pp. 889-927
-
- 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
Towards closed world reasoning in dynamic open worlds
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 547-563
-
- Article
- Export citation
- Cited by 4
Constraint-based automatic verification of abstract models of multithreaded programs
-
- Published online by Cambridge University Press:
- 01 January 2007, pp. 67-91
-
- Article
- Export citation
- Cited by 4
Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 691-704
-
- Article
- Export citation
- Cited by 4
Justifications for programs with disjunctive and causal-choice rules*
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 587-603
-
- Article
- Export citation
- Cited by 4
Property-Based Testing for Spark Streaming
-
- Published online by Cambridge University Press:
- 19 February 2019, pp. 574-602
-
- Article
- Export citation
- Cited by 4
Querying Knowledge via Multi-Hop English Questions
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 636-653
-
- Article
- Export citation
- Cited by 4
Tree dimension in verification of constrained Horn clauses
-
- Published online by Cambridge University Press:
- 11 May 2018, pp. 224-251
-
- Article
- Export citation
- Cited by 4
Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches
-
- Published online by Cambridge University Press:
- 02 November 2021, pp. 195-225
-
- Article
- Export citation
- Cited by 4
Exploiting Database Management Systems and Treewidth for Counting
-
- Published online by Cambridge University Press:
- 12 March 2021, pp. 128-157
-
- Article
- Export citation
- Cited by 4
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
-
- Published online by Cambridge University Press:
- 05 November 2021, pp. 593-609
-
- Article
-
- You have access
- Open access
- Export citation