51. An ASP-based Solution to the Chemotherapy Treatment Scheduling problem. Issue 6 (24th November 2021) Authors: DODARO, CARMINE; GALATÁ, GIUSEPPE; GRIONI, ANDREA; MARATEA, MARCO; MOCHI, MARCO; PORRO, IVAN Journal: Theory and practice of logic programming Issue: Volume 21:Issue 6(2021) Page Start: 835 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
52. An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions. Issue 6 (November 2021) Authors: WEITKÄMPER, FELIX Q. Journal: Theory and practice of logic programming Issue: Volume 21:Issue 6(2021) Page Start: 802 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
53. An ER-based framework for declarative web programming*. Issue 3 (May 2014) Authors: HANUS, MICHAEL; KOSCHNICKE, SVEN Journal: Theory and practice of logic programming Issue: Volume 14:Issue 3(2014) Page Start: 269 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
54. An event calculus production rule system for reasoning in dynamic and uncertain domains. Issue 3 (7th March 2016) Authors: PATKOS, THEODORE; PLEXOUSAKIS, DIMITRIS; CHIBANI, ABDELGHANI; AMIRAT, YACINE Journal: Theory and practice of logic programming Issue: Volume 16:Issue 3(2016) Page Start: 325 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
55. An infinitary encoding of temporal equilibrium logic*. Issue 4 (3rd September 2015) Authors: CABALAR, PEDRO; DIÉGUEZ, MARTÍN; VIDAL, CONCEPCIÓN Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 666 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
56. An iterative approach to precondition inference using constrained Horn clauses. Issue 3 (10th August 2018) Authors: KAFLE, BISHOKSAN; GALLAGHER, JOHN P.; GANGE, GRAEME; SCHACHTE, PETER; SØNDERGAARD, HARALD; STUCKEY, PETER J. Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 553 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
57. Annotated defeasible logic. Issue 5 (22nd August 2017) Authors: GOVERNATORI, GUIDO; MAHER, MICHAEL J. Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 819 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
58. Answering the "why" in answer set programming – A survey of explanation approaches. Issue 2 (15th January 2019) Authors: FANDINNO, JORGE; SCHULZ, CLAUDIA Editors: Schulz, Claudia; Ellmauthaler, Stefan Journal: Theory and practice of logic programming Issue: Volume 19:Issue 2(2019) Page Start: 114 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
59. Anti-unification in Constraint Logic Programming. Issue 5 (September 2019) Authors: YERNAUX, GONZAGUE; VANHOOF, WIM Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 773 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
60. Anytime answer set optimization via unsatisfiable core shrinking. Issue 5 (14th October 2016) Authors: ALVIANO, MARIO; DODARO, CARMINE Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 533 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗