11 results
Multi-Shot Answer Set Programming for Flexible Payroll Management
-
- Journal:
- Theory and Practice of Logic Programming , First View
- Published online by Cambridge University Press:
- 02 May 2024, pp. 1-29
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Knowledge-Based Support for Adhesive Selection: Will it Stick?
-
- Journal:
- Theory and Practice of Logic Programming , First View
- Published online by Cambridge University Press:
- 31 January 2024, pp. 1-21
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Interactive Model Expansion in an Observable Environment
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 08 August 2023, pp. 648-663
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Introduction to the 37th International Conference on Logic Programming Special Issue II
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 6 / November 2021
- Published online by Cambridge University Press:
- 23 November 2021, pp. 698-699
-
- Article
-
- You have access
- Export citation
FOLASP: FO(·) as Input Language for Answer Set Solvers
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 6 / November 2021
- Published online by Cambridge University Press:
- 19 November 2021, pp. 785-801
-
- Article
- Export citation
Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 3 / May 2023
- Published online by Cambridge University Press:
- 12 November 2021, pp. 535-558
-
- Article
- Export citation
Introduction to the 37th International Conference on Logic Programming Special Issue I
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 5 / September 2021
- Published online by Cambridge University Press:
- 05 November 2021, pp. 521-526
-
- Article
-
- You have access
- Export citation
Simulating Dynamic Systems Using Linear Time Calculus Theories
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 4-5 / July 2014
- Published online by Cambridge University Press:
- 21 July 2014, pp. 477-492
-
- Article
- Export citation
Actual causation in CP-logic
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 4-5 / July 2011
- Published online by Cambridge University Press:
- 06 July 2011, pp. 647-662
-
- Article
- Export citation
CHR(PRISM)-based probabilistic logic learning
-
- Journal:
- Theory and Practice of Logic Programming / Volume 10 / Issue 4-6 / July 2010
- Published online by Cambridge University Press:
- 09 July 2010, pp. 433-447
-
- Article
- Export citation
CP-logic: A language of causal probabilistic events and its relation to logic programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 9 / Issue 3 / May 2009
- Published online by Cambridge University Press:
- 01 May 2009, pp. 245-308
-
- Article
- Export citation