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
Interactive Text Graph Mining with a Prolog-Based Dialog Engine
-
- Published online by Cambridge University Press:
- 07 October 2020, pp. 244-263
-
- Article
- Export citation
- Cited by 2
Abstract Diagnosis for tccp using a Linear Temporal Logic
-
- Published online by Cambridge University Press:
- 21 July 2014, pp. 787-801
-
- Article
- Export citation
- Cited by 2
Symbolic Analysis of Maude Theories with Narval
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 874-890
-
- 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
First-order modular logic programs and their conservative extensions
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 755-770
-
- 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
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 Probabilistic Description Logic
-
- Published online by Cambridge University Press:
- 11 December 2020, pp. 404-427
-
- Article
- Export citation
- Cited by 2
Transformations of logic programs with goals as arguments
-
- Published online by Cambridge University Press:
- 07 June 2004, pp. 495-537
-
- 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
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
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
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
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
- 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
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
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
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
Computing stable models: worst-case performance estimates
-
- Published online by Cambridge University Press:
- 06 January 2004, pp. 193-231
-
- Article
- Export citation