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
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
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
-
- Published online by Cambridge University Press:
- 22 September 2020, pp. 864-879
-
- 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
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
A Comparative Study of Some Central Notions of ASPIC+ and DeLP
-
- Published online by Cambridge University Press:
- 10 October 2019, pp. 358-390
-
- Article
-
- You have access
- Open access
- 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
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
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
- 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
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
Default rules for Curry*
-
- Published online by Cambridge University Press:
- 01 July 2016, pp. 121-147
-
- Article
- Export citation
- Cited by 5
A Transformation-based implementation for CLP with qualification and proximity*
-
- Published online by Cambridge University Press:
- 25 April 2012, pp. 1-63
-
- Article
- Export citation
- Cited by 5
Strong Equivalence of Logic Programs with Counting
-
- Published online by Cambridge University Press:
- 24 June 2022, pp. 573-588
-
- Article
- 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
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 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
Partial Compilation of ASP Programs
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 857-873
-
- 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
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