41. A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem. (26th August 2020) Authors: Bezhanishvili, Nick; Henke, Tim Journal: Journal of logic and computation Issue: Volume 30:Number 7(2020) Page Start: 1331 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
42. 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) ↗
43. 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) ↗
44. A multi-labelled sequent calculus for Topo-Logic. (11th March 2020) Authors: Shillito, Ian Journal: Journal of logic and computation Issue: Volume 30:Number 2(2020) Page Start: 663 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
45. 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) ↗
46. 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) ↗
47. A note on phonological similarity in Tesar's (2014) theory of output-drivenness. (13th March 2018) Authors: Magri, Giorgio Journal: Journal of logic and computation Issue: Volume 28:Number 6(2018) Page Start: 1243 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
48. A note on phonological similarity in Tesar's (2014) theory of output-drivenness. (13th March 2018) Authors: Magri, Giorgio Journal: Journal of logic and computation Issue: Volume 28:Number 6(2018) Page Start: 1243 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
49. A note on the asymptotic expressiveness of ZF and ZFC. (21st June 2021) Authors: Bendkowski, Maciej Journal: Journal of logic and computation Issue: Volume 31:Number 7(2021) Page Start: 1598 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
50. A parameterized view on the complexity of dependence and independence logic. (14th November 2022) Authors: Kontinen, Juha; Meier, Arne; Mahmood, Yasir Journal: Journal of logic and computation Issue: Volume 32:Number 8(2022) Page Start: 1624 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗