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
Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities
-
- Published online by Cambridge University Press:
- 10 February 2009, pp. 165-212
-
- Article
- Export citation
- Cited by 1
Interactive Model Expansion in an Observable Environment
-
- Published online by Cambridge University Press:
- 08 August 2023, pp. 648-663
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 1
Modular Constraint Solver Cooperation via Abstract Interpretation
-
- Published online by Cambridge University Press:
- 22 September 2020, pp. 848-863
-
- Article
- Export citation
- Cited by 1
Web-STAR: A Visual Web-based IDE for a Story Comprehension System
-
- Published online by Cambridge University Press:
- 14 November 2018, pp. 317-359
-
- Article
- Export citation
- Cited by 1
Tau Prolog: A Prolog Interpreter for the Web
-
- Published online by Cambridge University Press:
- 18 September 2023, pp. 1-21
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 1
Applying Constraint Logic Programming to SQL Semantic Analysis
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 808-825
-
- Article
- Export citation
- Cited by 1
Better Paracoherent Answer Sets with Less Resources
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 757-772
-
- Article
- Export citation
- Cited by 1
Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages
-
- Published online by Cambridge University Press:
- 23 April 2002, pp. 419-421
-
- Article
- Export citation
- Cited by 1
Lock-free atom garbage collection for multithreaded Prolog
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 950-965
-
- Article
- Export citation
- Cited by 1
Fast Frequent Querying with Lazy Control Flow Compilation
-
- Published online by Cambridge University Press:
- 01 July 2007, pp. 481-498
-
- Article
- Export citation
- Cited by 1
On definite program answers and least Herbrand models
-
- Published online by Cambridge University Press:
- 03 May 2016, pp. 498-508
-
- Article
- Export citation
- Cited by 1
BigYAP: Exo-compilation meets UDI
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 799-813
-
- Article
- Export citation
- Cited by 1
Proving infinitary formulas
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 787-799
-
- Article
- Export citation
- Cited by 1
On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 899-915
-
- Article
- Export citation
- Cited by 1
Past and present (and future) of parallel and distributed computation in (constraint) logic programming
-
- Published online by Cambridge University Press:
- 05 September 2018, pp. 722-724
-
- Article
-
- You have access
- Export citation
- Cited by 1
Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates
-
- Published online by Cambridge University Press:
- 11 July 2023, pp. 632-647
-
- Article
-
- You have access
- Open access
- HTML
- 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
Defeasible Reasoning via Datalog¬
-
- Published online by Cambridge University Press:
- 02 November 2021, pp. 986-1028
-
- 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
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