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 3
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries
-
- Published online by Cambridge University Press:
- 22 September 2020, pp. 958-973
-
- Article
- Export citation
- Cited by 3
Thirty years of Epistemic Specifications
-
- Published online by Cambridge University Press:
- 08 November 2021, pp. 1043-1083
-
- Article
- Export citation
- Cited by 3
Optimizing Probabilities in Probabilistic Logic Programs
-
- Published online by Cambridge University Press:
- 23 September 2021, pp. 543-556
-
- Article
- Export citation
- Cited by 3
Model checking linear logic specifications
-
- Published online by Cambridge University Press:
- 12 August 2004, pp. 573-619
-
- Article
- Export citation
- Cited by 3
A refinement calculus for logic programs
-
- Published online by Cambridge University Press:
- 26 July 2002, pp. 425-460
-
- Article
- Export citation
- Cited by 3
Efficient algebraic effect handlers for Prolog
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 884-898
-
- Article
- Export citation
- Cited by 3
On the problem of computing the well-founded semantics
-
- Published online by Cambridge University Press:
- 22 October 2001, pp. 591-609
-
- Article
- Export citation
- Cited by 3
Relative expressiveness of defeasible logics
-
- Published online by Cambridge University Press:
- 05 September 2012, pp. 793-810
-
- Article
- Export citation
- Cited by 3
On Nested Justification Systems
-
- Published online by Cambridge University Press:
- 11 July 2022, pp. 641-657
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 3
An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario
-
- Published online by Cambridge University Press:
- 22 September 2020, pp. 926-941
-
- Article
- Export citation
- Cited by 3
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems
-
- Published online by Cambridge University Press:
- 30 June 2022, pp. 606-622
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 3
Parallel Logic Programming: A Sequel
-
- Published online by Cambridge University Press:
- 28 March 2022, pp. 905-973
-
- Article
- Export citation
- Cited by 3
Efficient Knowledge Compilation Beyond Weighted Model Counting
-
- Published online by Cambridge University Press:
- 03 August 2022, pp. 505-522
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 3
Introduction to the TPLP special issue, logic programming in databases: From Datalog to semantic-web rules
-
- Published online by Cambridge University Press:
- 11 May 2010, pp. 243-250
-
- Article
- Export citation
- Cited by 3
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
-
- Published online by Cambridge University Press:
- 14 January 2019, pp. 449-476
-
- Article
- Export citation
- Cited by 3
Dual-normal logic programs – the forgotten class
-
- Published online by Cambridge University Press:
- 03 September 2015, pp. 495-510
-
- Article
- Export citation
- Cited by 3
Adding partial functions to Constraint Logic Programming with sets
-
- Published online by Cambridge University Press:
- 03 September 2015, pp. 651-665
-
- Article
- Export citation
- Cited by 3
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 3
Solution Enumeration by Optimality in Answer Set Programming
-
- Published online by Cambridge University Press:
- 10 September 2021, pp. 750-767
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 3
Rewriting and narrowing for constructor systems with call-time choice semantics1
-
- Published online by Cambridge University Press:
- 30 October 2012, pp. 165-213
-
- Article
- Export citation