16 results
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 01 September 2023, pp. 812-831
-
- Article
-
- You have access
- HTML
- Export citation
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
FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 5 / September 2022
- Published online by Cambridge University Press:
- 01 July 2022, pp. 658-677
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Junior Doctors' Enjoyment of Mental Health Placements in Derbyshire
-
- Journal:
- BJPsych Open / Volume 8 / Issue S1 / June 2022
- Published online by Cambridge University Press:
- 20 June 2022, pp. S95-S96
-
- Article
-
- You have access
- Open access
- Export citation
Parallel Logic Programming: A Sequel
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 6 / November 2022
- Published online by Cambridge University Press:
- 28 March 2022, pp. 905-973
-
- Article
- Export citation
An ASP-based Approach to Answering Natural Language Questions for Texts
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 3 / May 2022
- Published online by Cambridge University Press:
- 04 February 2022, pp. 419-443
-
- 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
White-box Induction From SVM Models: Explainable AI with Logic Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 5 / September 2020
- Published online by Cambridge University Press:
- 21 September 2020, pp. 656-670
-
- 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
Improving adherence to heart failure management guidelines via abductive reasoning*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 5-6 / September 2017
- Published online by Cambridge University Press:
- 23 August 2017, pp. 764-779
-
- Article
- Export citation
A new algorithm to automate inductive learning of default theories*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 5-6 / September 2017
- Published online by Cambridge University Press:
- 23 August 2017, pp. 1010-1026
-
- Article
- Export citation
A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 604-618
-
- Article
- Export citation
Laser wakefield acceleration of electrons from a density-modulated plasma
-
- Journal:
- Laser and Particle Beams / Volume 32 / Issue 3 / September 2014
- Published online by Cambridge University Press:
- 29 August 2014, pp. 449-454
-
- Article
- Export citation
Dynamic Consistency Checking in Goal-Directed Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 4-5 / July 2014
- Published online by Cambridge University Press:
- 21 July 2014, pp. 415-427
-
- Article
- Export citation
PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters
-
- Journal:
- Theory and Practice of Logic Programming / Volume 7 / Issue 6 / November 2007
- Published online by Cambridge University Press:
- 01 November 2007, pp. 633-695
-
- Article
- Export citation
Control of the coconut pest Oryctes rhinoceros L. using the Oryctes virus
-
- Journal:
- Insect Science and Its Application / Volume 21 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 19 September 2011, pp. 93-101
- Print publication:
- June 2001
-
- Article
- Export citation