10 results
Building Information Modeling Using Constraint Logic Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 5 / September 2022
- Published online by Cambridge University Press:
- 14 July 2022, pp. 723-738
-
- Article
- Export citation
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 1 / January 2022
- Published online by Cambridge University Press:
- 02 November 2021, pp. 51-80
-
- Article
- Export citation
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 1107-1123
-
- Article
- Export citation
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 3 / May 2019
- Published online by Cambridge University Press:
- 18 January 2019, pp. 412-448
-
- Article
- Export citation
Constraint Answer Set Programming without Grounding
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 3-4 / July 2018
- Published online by Cambridge University Press:
- 10 August 2018, pp. 337-354
-
- Article
-
- You have access
- Export citation
Introduction to the 32nd International Conference on Logic Programming Special Issue
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 509-514
-
- Article
- Export citation
Description and Optimization of Abstract Machines in a Dialect of Prolog*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 1 / January 2016
- Published online by Cambridge University Press:
- 05 January 2015, pp. 1-58
-
- Article
- Export citation
Lightweight compilation of (C)LP to JavaScript*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 4-5 / July 2012
- Published online by Cambridge University Press:
- 05 September 2012, pp. 755-773
-
- Article
- Export citation
Parallel backtracking with answer memoing for independent and-parallelism
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 4-5 / July 2011
- Published online by Cambridge University Press:
- 06 July 2011, pp. 555-574
-
- Article
- Export citation
Swapping evaluation: A memory-scalable solution for answer-on-demand tabling*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 10 / Issue 4-6 / July 2010
- Published online by Cambridge University Press:
- 09 July 2010, pp. 401-416
-
- Article
- Export citation