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 4
Online Event Recognition from Moving Vehicles: Application Paper
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 841-856
-
- Article
- Export citation
- Cited by 4
Hybrid ASP-based Approach to Pattern Mining
-
- Published online by Cambridge University Press:
- 18 January 2019, pp. 505-535
-
- Article
- Export citation
- Cited by 4
Computing minimal models, stable models and answer sets
-
- Published online by Cambridge University Press:
- 21 June 2006, pp. 395-449
-
- Article
- Export citation
- Cited by 4
αCheck: A mechanized metatheory model checker*
-
- Published online by Cambridge University Press:
- 22 May 2017, pp. 311-352
-
- Article
- Export citation
- Cited by 4
On the stable model semantics for intensional functions
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 863-876
-
- Article
- Export citation
- Cited by 4
Knowledge compilation of logic programs using approximation fixpoint theory
-
- Published online by Cambridge University Press:
- 03 September 2015, pp. 464-480
-
- Article
- Export citation
- Cited by 4
Fundamental Proof Methods in Computer Science: A Computer-Based Approach, by Arkoudas and Musser, The MIT Press, Cambridge, USA, ISBN 978-0-262-03553-8
-
- Published online by Cambridge University Press:
- 10 June 2020, pp. 283-290
-
- Article
- Export citation
- Cited by 4
A Measure of Arbitrariness in Abductive Explanations
-
- Published online by Cambridge University Press:
- 21 July 2014, pp. 665-679
-
- Article
- Export citation
- Cited by 4
Representing first-order causal theories by logic programs
-
- Published online by Cambridge University Press:
- 25 May 2011, pp. 383-412
-
- Article
- Export citation
- Cited by 4
Conflict-Driven Inductive Logic Programming
-
- Published online by Cambridge University Press:
- 09 February 2022, pp. 387-414
-
- Article
- Export citation
- Cited by 4
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints
-
- Published online by Cambridge University Press:
- 27 September 2021, pp. 557-574
-
- Article
- Export citation
- Cited by 4
Introduction to the Special Issue on Constraint Handling Rules
-
- Published online by Cambridge University Press:
- 01 July 2005, pp. 401-402
-
- Article
- Export citation
- Cited by 4
A treatment of higher-order features in logic programming
-
- Published online by Cambridge University Press:
- 09 May 2005, pp. 305-354
-
- Article
- Export citation
- Cited by 4
Improving adherence to heart failure management guidelines via abductive reasoning*
-
- Published online by Cambridge University Press:
- 23 August 2017, pp. 764-779
-
- Article
- Export citation
- Cited by 4
On the Equivalence Between Abstract Dialectical Frameworks and Logic Programs
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 941-956
-
- Article
- Export citation
- Cited by 3
On relation between constraint answer set programming and satisfiability modulo theories*
-
- Published online by Cambridge University Press:
- 28 June 2017, pp. 559-590
-
- Article
- Export citation
- Cited by 3
SAT-based termination analysis using monotonicity constraints over the integers
-
- Published online by Cambridge University Press:
- 06 July 2011, pp. 503-520
-
- Article
- Export citation
- Cited by 3
Integrating design synthesis and assembly of structured objects in a visual design language
-
- Published online by Cambridge University Press:
- 31 October 2005, pp. 601-621
-
- Article
- Export citation
- Cited by 3
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
-
- Published online by Cambridge University Press:
- 01 September 2021, pp. 305-334
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 3
selp: A Single-Shot Epistemic Logic Program Solver
-
- Published online by Cambridge University Press:
- 26 February 2020, pp. 435-455
-
- Article
-
- You have access
- Open access
- Export citation