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 2
Singular and plural functions for functional logic programming
-
- Published online by Cambridge University Press:
- 17 May 2012, pp. 65-116
-
- Article
- Export citation
- Cited by 2
Calculating modules in contextual logic program refinement
-
- Published online by Cambridge University Press:
- 01 January 2008, pp. 1-31
-
- Article
- Export citation
- Cited by 2
Products of weighted logic programs
-
- Published online by Cambridge University Press:
- 28 January 2011, pp. 263-296
-
- Article
- Export citation
- Cited by 2
Well-founded operators for normal hybrid MKNF knowledge bases
-
- Published online by Cambridge University Press:
- 04 September 2017, pp. 889-905
-
- Article
- Export citation
- Cited by 2
Inference with constrained hidden Markov models in PRISM
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 449-464
-
- Article
- Export citation
- Cited by 2
Order-consistent programs are cautiously monotonic
-
- Published online by Cambridge University Press:
- 25 June 2001, pp. 487-495
-
- Article
- Export citation
- Cited by 2
Truth versus information in logic programming
-
- Published online by Cambridge University Press:
- 03 June 2013, pp. 803-840
-
- Article
- Export citation
- Cited by 2
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis
-
- Published online by Cambridge University Press:
- 10 August 2018, pp. 484-501
-
- Article
-
- You have access
- Export citation
- Cited by 2
Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling
-
- Published online by Cambridge University Press:
- 21 July 2023, pp. 848-864
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 2
Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 1021-1037
-
- Article
- Export citation
- Cited by 2
The Expressive Power of Higher-Order Datalog
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 925-940
-
- Article
- Export citation
- Cited by 2
Relating Two Dialects of Answer Set Programming
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 1006-1020
-
- Article
- Export citation
- Cited by 2
Computing stable models: worst-case performance estimates
-
- Published online by Cambridge University Press:
- 06 January 2004, pp. 193-231
-
- Article
- Export citation
- Cited by 2
The Munich Rent Advisor: A success for logic programming on then Internet
-
- Published online by Cambridge University Press:
- 15 June 2001, pp. 303-319
-
- Article
- Export citation
- Cited by 2
Backjumping is Exception Handling
-
- Published online by Cambridge University Press:
- 16 November 2020, pp. 125-144
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 2
On Correctness and Completeness of an n Queens Program
-
- Published online by Cambridge University Press:
- 14 October 2021, pp. 37-50
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 2
CLP(H): Constraint logic programming for hedges*
-
- Published online by Cambridge University Press:
- 16 April 2015, pp. 141-162
-
- Article
- Export citation
- Cited by 2
Relating weight constraint and aggregate programs: Semantics and representation
-
- Published online by Cambridge University Press:
- 30 June 2011, pp. 1-31
-
- Article
- Export citation
- Cited by 2
An ASP Methodology for Understanding Narratives about Stereotypical Activities
-
- Published online by Cambridge University Press:
- 10 August 2018, pp. 535-552
-
- Article
-
- You have access
- Export citation
- Cited by 2
Knowledge-based Reasoning and Learning under Partial Observability in Ad Hoc Teamwork
-
- Published online by Cambridge University Press:
- 26 June 2023, pp. 696-714
-
- Article
-
- You have access
- Open access
- HTML
- Export citation