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
A CHR-based implementation of known arc-consistency
-
- Published online by Cambridge University Press:
- 01 July 2005, pp. 419-440
-
- Article
- Export citation
- Cited by 1
Introduction to the Special Issue on Logic Programming and the Web
-
- Published online by Cambridge University Press:
- 01 May 2008, pp. 247-248
-
- Article
- Export citation
- Cited by 1
O(1) reversible tree navigation without cycles
-
- Published online by Cambridge University Press:
- 18 October 2001, pp. 617-630
-
- Article
- Export citation
- Cited by 1
Decomposing non-redundant sharing by complementation
-
- Published online by Cambridge University Press:
- 25 March 2002, pp. 233-261
-
- Article
- Export citation
- Cited by 1
Making ProB Compatible with SWI-Prolog
-
- Published online by Cambridge University Press:
- 27 June 2022, pp. 755-769
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 1
An Efficient Solver for ASP(Q)
-
- Published online by Cambridge University Press:
- 05 July 2023, pp. 948-964
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 1
Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs
-
- Published online by Cambridge University Press:
- 09 November 2022, pp. 507-534
-
- Article
- Export citation
- Cited by 1
Disjunctive logic programs with existential quantification in rule heads
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 563-578
-
- Article
- Export citation
- Cited by 1
A tribute to Alain Colmerauer
-
- Published online by Cambridge University Press:
- 09 June 2004, pp. 637-646
-
- Article
- Export citation
- Cited by 1
Parametric Verification of a Group Membership Algorithm
-
- Published online by Cambridge University Press:
- 11 May 2006, pp. 321-353
-
- Article
- Export citation
- Cited by 1
On Uniform Equivalence of Epistemic Logic Programs
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 826-840
-
- Article
- Export citation
- Cited by 1
Precise complexity guarantees for pointer analysis via Datalog with extensions*
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 916-932
-
- Article
- Export citation
- Cited by 1
Reactive Answer Set Programming
-
- Published online by Cambridge University Press:
- 25 March 2022, pp. 367-418
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 1
A structured alternative to Prolog with simple compositional semantics
-
- Published online by Cambridge University Press:
- 06 July 2011, pp. 611-627
-
- Article
- Export citation
- Cited by 1
A Module System for Domain-Specific Languages
-
- Published online by Cambridge University Press:
- 21 July 2014, pp. 771-785
-
- Article
- Export citation
- Cited by 1
Programming in Prolog. Using the ISO Standard. by William F. Clocksin, Christopher S. Mellish, Springer-Verlag, 2003, ISBN 3-540-00678-8, xiii+299 pages
-
- Published online by Cambridge University Press:
- 09 May 2005, pp. 391-395
-
- Article
- Export citation
- Cited by 1
A comparison between two logical formalisms for rewriting
-
- Published online by Cambridge University Press:
- 01 January 2007, pp. 183-213
-
- Article
- Export citation
- Cited by 1
Efficient TBox Reasoning with Value Restrictions using the
${\cal F}{{\cal L}_0}$ wer Reasoner
-
- Published online by Cambridge University Press:
- 15 October 2021, pp. 162-192
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 1
An ASP Framework for the Refinement of Authorization and Obligation Policies
-
- Published online by Cambridge University Press:
- 11 July 2023, pp. 832-847
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 1
Parallelism, concurrency and distribution in constraint handling rules: A survey
-
- Published online by Cambridge University Press:
- 23 May 2018, pp. 759-805
-
- Article
-
- You have access
- Export citation