71. A temporal dynamic deontic logic. (28th March 2018) Authors: Ju, Fengkui; van Eijck, Jan Journal: Journal of logic and computation Issue: Volume 29:Number 2(2019) Page Start: 265 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
72. A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol. (10th April 2019) Authors: MarinkoviĆ, Bojan; Glavan, Paola; OgnjanoviĆ, Zoran; Studer, Thomas Journal: Journal of logic and computation Issue: Volume 29:Number 5(2019) Page Start: 803 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
73. A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming. Issue 3 (10th August 2018) Authors: BARYANNIS, GEORGE; TACHMAZIDIS, ILIAS; BATSAKIS, SOTIRIS; ANTONIOU, GRIGORIS; ALVIANO, MARIO; SELLIS, TIMOS; TSAI, PEI-WEI Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 355 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
74. A Transformation-based implementation for CLP with qualification and proximity*. Issue 1 (25th April 2012) Authors: CABALLERO, R.; RODRÍGUEZ-ARTALEJO, M.; ROMERO-DÍAZ, C. A. Journal: Theory and practice of logic programming Issue: Volume 14:Issue 1(2014) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
75. A Transformational Approach to Resource Analysis with Typed-norms Inference. Issue 3 (5th May 2020) Authors: ALBERT, ELVIRA; GENAIM, SAMIR; GUTIÉRREZ, RAÚL; MARTIN-MARTIN, ENRIQUE Journal: Theory and practice of logic programming Issue: Volume 20:Issue 3(2020) Page Start: 310 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
76. A unified logical framework for explanations in classifier systems. (28th January 2023) Authors: Liu, Xinghan; Lorini, Emiliano Journal: Journal of logic and computation Issue: Volume 33:Number 2(2023) Page Start: 485 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
77. About Epistemic Negation and World Views in Epistemic Logic Programs. Issue 5 (September 2019) Authors: COSTANTINI, STEFANIA Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 790 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
78. About the characterization of a fine line that separates generalizations and boundary-case exceptions for the Second Incompleteness Theorem under semantic tableau deduction. (30th December 2020) Authors: Willard, Dan E Journal: Journal of logic and computation Issue: Volume 31:Number 1(2021) Page Start: 375 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
79. Abstract argumentation and the rational man. (4th February 2021) Authors: Kampik, Timotheus; Nieves, Juan Carlos Journal: Journal of logic and computation Issue: Volume 31:Number 2(2021) Page Start: 654 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
80. Abstract Diagnosis for tccp using a Linear Temporal Logic. Issue 4 (21st July 2014) Authors: COMINI, MARCO; TITOLO, LAURA; VILLANUEVA, ALICIA; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 787 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗