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 2
Backjumping is Exception Handling
-
- Published online by Cambridge University Press:
- 16 November 2020, pp. 125-144
-
- Article
-
- You have access
- Open access
- 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
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
All about Proofs, Proofs for All, Bruno Woltzenlogel Paleo and David Delahaye , Eds., College Publications, Series Mathematical Logic and Foundations, vol. 55., 2015. Paperback, ISBN 978-1-84890-166-7, vii + 240 pages.
-
- Published online by Cambridge University Press:
- 10 August 2015, pp. 236-241
-
- Article
- Export citation
- Cited by 1
Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them
-
- Published online by Cambridge University Press:
- 05 September 2012, pp. 775-791
-
- 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
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
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
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
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
Concepts, Techniques, and Models of Computer Programming by Peter Van Roy and Seif Haridi, MIT Press, 2004, hard cover: ISBN 0-262-22069-5, xxvii + 900 pages, 55$
-
- Published online by Cambridge University Press:
- 01 July 2005, pp. 595-600
-
- 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
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
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
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
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
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
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
Proving infinitary formulas
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 787-799
-
- Article
- 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