11. A denotational semantics for equilibrium logic*. Issue 4 (3rd September 2015) Authors: AGUADO, FELICIDAD; CABALAR, PEDRO; PEARCE, DAVID; PÉREZ, GILBERTO; VIDAL, CONCEPCIÓN Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 620 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
12. A Distributed Approach to LARS Stream Reasoning (System paper). Issue 5 (September 2019) Authors: EITER, THOMAS; OGRIS, PAUL; SCHEKOTIHIN, KONSTANTIN Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 974 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
13. A finitary outer measure logic. (4th January 2023) Authors: Baratella, Stefano Journal: Journal of logic and computation Issue: Volume 33:Number 3(2023) Page Start: 564 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
14. A forward internal calculus for model generation in S4. (29th March 2021) Authors: Fiorentini, Camillo; Ferrari, Mauro Journal: Journal of logic and computation Issue: Volume 31:Number 3(2021) Page Start: 771 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
15. A General Framework for Stable Roommates Problems using Answer Set Programming. Issue 6 (November 2020) Authors: ERDEM, ESRA; FIDAN, MÜGE; MANLOVE, DAVID; PROSSER, PATRICK Journal: Theory and practice of logic programming Issue: Volume 20:Issue 6(2020) Page Start: 911 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
16. A general framework for static profiling of parametric resource usage – CORRIGENDUM. Issue 2 (11th March 2021) Authors: LOPEZ-GARCIA, P.; KLEMEN, M.; LIQAT, U.; HERMENEGILDO, M. V. Journal: Theory and practice of logic programming Issue: Volume 21:Issue 2(2021) Page Start: 291 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
17. A general framework for static profiling of parametric resource usage*. Issue 5 (14th October 2016) Authors: LOPEZ-GARCIA, P.; KLEMEN, M.; LIQAT, U.; HERMENEGILDO, M. V. Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 849 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
18. A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming. Issue 5 (September 2020) Authors: BARYANNIS, GEORGE; TACHMAZIDIS, ILIAS; BATSAKIS, SOTIRIS; ANTONIOU, GRIGORIS; ALVIANO, MARIO; PAPADAKIS, EMMANUEL Journal: Theory and practice of logic programming Issue: Volume 20:Issue 5(2020) Page Start: 687 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
19. A goal-directed implementation of query answering for hybrid MKNF knowledge bases. Issue 2 (March 2014) Authors: GOMES, ANA SOFIA; ALFERES, JOSÉ JÚLIO; SWIFT, TERRANCE Journal: Theory and practice of logic programming Issue: Volume 14:Issue 2(2014) Page Start: 239 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
20. A labelled sequent calculus for BBI: proof theory and proof search. (9th June 2015) Authors: Hóu, Zhé; Goré, Rajeev; Tiu, Alwen Journal: Journal of logic and computation Issue: Volume 28:Number 4(2018) Page Start: 809 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗