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
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
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
Representing hybrid automata by action language modulo theories*
-
- Published online by Cambridge University Press:
- 23 August 2017, pp. 924-941
-
- Article
- Export citation
- Cited by 1
Region-based memory management for Mercury programs
-
- Published online by Cambridge University Press:
- 29 May 2012, pp. 959-1024
-
- 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
- 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
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
Shape Neutral Analysis of Graph-based Data-structures
-
- Published online by Cambridge University Press:
- 10 August 2018, pp. 470-483
-
- Article
-
- You have access
- Export citation
- Cited by 1
“What if?” in Probabilistic Logic Programming
-
- Published online by Cambridge University Press:
- 17 July 2023, pp. 884-899
-
- 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
An open ended tree
-
- Published online by Cambridge University Press:
- 13 May 2003, pp. 377-385
-
- 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
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
Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints
-
- Published online by Cambridge University Press:
- 21 September 2020, pp. 799-814
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 1
Logic programming with default, weak and strict negations
-
- Published online by Cambridge University Press:
- 16 October 2006, pp. 737-749
-
- 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
PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters
-
- Published online by Cambridge University Press:
- 01 November 2007, pp. 633-695
-
- Article
- Export citation
- Cited by 1
A simple correctness proof for magic transformation
-
- Published online by Cambridge University Press:
- 04 March 2011, pp. 929-936
-
- Article
- Export citation
- 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
Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis
-
- Published online by Cambridge University Press:
- 28 June 2022, pp. 693-707
-
- Article
- Export citation