21. A Module System for Domain-Specific Languages. Issue 4 (21st July 2014) Authors: JACKSON, ETHAN K.; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 771 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. A multi-engine approach to answer-set programming*. Issue 6 (November 2014) Authors: MARATEA, MARCO; PULINA, LUCA; RICCA, FRANCESCO Journal: Theory and practice of logic programming Issue: Volume 14:Issue 6(2014) Page Start: 841 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
23. A Neuro-Symbolic ASP Pipeline for Visual Question Answering. Issue 5 (11th September 2022) Authors: EITER, THOMAS; HIGUERA, NELSON; OETSCH, JOHANNES; PRITZ, MICHAEL Journal: Theory and practice of logic programming Issue: Volume 22:Issue 5(2022) Page Start: 739 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
24. A new algorithm to automate inductive learning of default theories*. Issue 5 (23rd August 2017) Authors: SHAKERIN, FARHAD; SALAZAR, ELMER; GUPTA, GOPAL Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 1010 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
25. A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns. Issue 5 (14th October 2016) Authors: CHEN, ZHUO; MARPLE, KYLE; SALAZAR, ELMER; GUPTA, GOPAL; TAMIL, LAKSHMAN Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 604 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
26. A Probabilistic Extension of Action Language ${\cal BC}$+}$. Issue 3 (10th August 2018) Authors: LEE, JOOHYUNG; WANG, YI Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 607 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
27. A probabilistic logic programming event calculus. Issue 2 (March 2015) Authors: SKARLATIDIS, ANASTASIOS; ARTIKIS, ALEXANDER; FILIPPOU, JASON; PALIOURAS, GEORGIOS Journal: Theory and practice of logic programming Issue: Volume 15:Issue 2(2015) Page Start: 213 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
28. A Proof Theoretic Study of Soft Concurrent Constraint Programming. Issue 4 (21st July 2014) Authors: PIMENTEL, ELAINE; OLARTE, CARLOS; NIGAM, VIVEK; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 649 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
29. A Qualitative Theory of Cognitive Attitudes and their Change. Issue 4 (6th July 2021) Authors: LORINI, EMILIANO Journal: Theory and practice of logic programming Issue: Volume 21:Issue 4(2021) Page Start: 428 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
30. A review of literature on parallel constraint solving. Issue 5 (2nd August 2018) Authors: GENT, IAN P.; MIGUEL, IAN; NIGHTINGALE, PETER; MCCREESH, CIARAN; PROSSER, PATRICK; MOORE, NEIL C. A.; UNSWORTH, CHRIS Journal: Theory and practice of logic programming Issue: Volume 18:Issue 5/6(2018) Page Start: 725 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗