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
Checking termination of bottom-up evaluation of logic programs with function symbols*
-
- Published online by Cambridge University Press:
- 13 August 2014, pp. 854-889
-
- Article
- Export citation
- Cited by 5
Planning with Incomplete Information in Quantified Answer Set Programming
-
- Published online by Cambridge University Press:
- 24 September 2021, pp. 663-679
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 5
Improving precision of type analysis using non-discriminative union
-
- Published online by Cambridge University Press:
- 01 January 2008, pp. 33-79
-
- Article
- Export citation
- Cited by 5
Stable model semantics for founded bounds
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 517-532
-
- Article
- Export citation
- Cited by 5
Failure tabled constraint logic programming by interpolation*
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 593-607
-
- Article
- Export citation
- Cited by 5
Probabilistic legal reasoning in CHRiSM
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 769-781
-
- Article
- Export citation
- Cited by 5
Online Learning Probabilistic Event Calculus Theories in Answer Set Programming
-
- Published online by Cambridge University Press:
- 01 August 2021, pp. 362-386
-
- Article
- Export citation
- Cited by 5
Inductive Logic Programming in Databases: From Datalog to
-
- Published online by Cambridge University Press:
- 20 May 2010, pp. 331-359
-
- Article
- Export citation
- Cited by 5
Operating Room (Re)Scheduling with Bed Management via ASP
-
- Published online by Cambridge University Press:
- 14 July 2021, pp. 229-253
-
- Article
- Export citation
- Cited by 5
Introducing Computer Science to High School Students Through Logic Programming
-
- Published online by Cambridge University Press:
- 14 November 2018, pp. 204-228
-
- Article
- Export citation
- Cited by 5
Using parametric set constraints for locating errors in CLP programs
-
- Published online by Cambridge University Press:
- 26 July 2002, pp. 549-610
-
- Article
- Export citation
- Cited by 5
About Epistemic Negation and World Views in Epistemic Logic Programs
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 790-807
-
- Article
- Export citation
- Cited by 5
An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions
-
- Published online by Cambridge University Press:
- 02 November 2021, pp. 802-817
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 5
An event calculus production rule system for reasoning in dynamic and uncertain domains
-
- Published online by Cambridge University Press:
- 07 March 2016, pp. 325-352
-
- Article
- Export citation
- Cited by 5
The jobs puzzle: Taking on the challenge via controlled natural language processing
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 487-501
-
- Article
- Export citation
- Cited by 5
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases
-
- Published online by Cambridge University Press:
- 05 July 2022, pp. 589-605
-
- Article
-
- You have access
- Open access
- HTML
- 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
Extended ASP Tableaux and rule redundancy in normal logic programs1
-
- Published online by Cambridge University Press:
- 01 November 2008, pp. 691-716
-
- Article
- Export citation
- Cited by 5
I-DLV-sr: A Stream Reasoning System based on I-DLV
-
- Published online by Cambridge University Press:
- 23 September 2021, pp. 610-628
-
- Article
- Export citation
- Cited by 5
Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 671-687
-
- Article
-
- You have access
- Open access
- Export citation