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 1
Checking modes of HAL programs
-
- Published online by Cambridge University Press:
- 31 October 2005, pp. 623-667
-
- Article
- Export citation
- Cited by 1
Tabling, Rational Terms, and Coinduction Finally Together!
-
- Published online by Cambridge University Press:
- 21 July 2014, pp. 429-443
-
- Article
- Export citation
- Cited by 1
Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM
-
- Published online by Cambridge University Press:
- 27 May 2019, p. 629
-
- Article
-
- You have access
- Export citation
- Cited by 1
Tabling with Sound Answer Subsumption
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 933-949
-
- Article
- Export citation
- Cited by 1
Unfolding for CHR programs
-
- Published online by Cambridge University Press:
- 08 October 2013, pp. 264-311
-
- Article
- Export citation
- Cited by 1
Expressiveness of communication in answer set programming
-
- Published online by Cambridge University Press:
- 01 November 2011, pp. 361-394
-
- Article
- Export citation
- Cited by 1
Refactoring the Whitby Intelligent Tutoring System for Clean Architecture
-
- Published online by Cambridge University Press:
- 02 November 2021, pp. 818-834
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 1
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels
-
- Published online by Cambridge University Press:
- 10 July 2023, pp. 748-764
-
- Article
- Export citation
- Cited by 1
Mathematical Logic: Foundations for Information Science by Wei Li, Birkhäuser, Berlin, 2010. Hardcover, ISBN-978-3-7643-9976-4.
-
- Published online by Cambridge University Press:
- 28 October 2011, pp. 989-992
-
- Article
- Export citation
- Cited by 1
A datalog-based computational model for coordination-free, data-parallel systems
-
- Published online by Cambridge University Press:
- 05 September 2018, pp. 874-927
-
- Article
-
- You have access
- Export citation
- Cited by 1
A concurrent constraint programming interpretation of access permissions
-
- Published online by Cambridge University Press:
- 10 April 2018, pp. 252-295
-
- Article
- Export citation
- Cited by 1
Model Explanation via Support Graphs
-
- Published online by Cambridge University Press:
- 29 February 2024, pp. 1-14
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 1
Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers*
-
- Published online by Cambridge University Press:
- 13 October 2017, pp. 97-119
-
- Article
- Export citation
- Cited by 1
Forward slicing of functional logic programs by partial evaluation*
-
- Published online by Cambridge University Press:
- 01 January 2007, pp. 215-247
-
- Article
- Export citation
- Cited by 1
Introduction to the 26th international conference on logic programming special issue
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 361-364
-
- Article
- Export citation
- Cited by 1
Relational theories with null values and non-herbrand stable models
-
- Published online by Cambridge University Press:
- 05 September 2012, pp. 565-582
-
- Article
- Export citation
- Cited by 1
Top-down and Bottom-up Evaluation Procedurally Integrated
-
- Published online by Cambridge University Press:
- 10 August 2018, pp. 706-721
-
- Article
-
- You have access
- Export citation
- Cited by 1
Constraint-Based Inference in Probabilistic Logic Programs
-
- Published online by Cambridge University Press:
- 10 August 2018, pp. 638-655
-
- Article
-
- You have access
- Export citation
- Cited by 1
(Co-)Inductive semantics for Constraint Handling Rules
-
- Published online by Cambridge University Press:
- 06 July 2011, pp. 593-609
-
- Article
- Export citation
- Cited by 1
Stabilization of cooperative information agents in unpredictable environment: a logic programming approach
-
- Published online by Cambridge University Press:
- 27 January 2006, pp. 1-22
-
- Article
- Export citation