1. A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation. Issue 5 (September 2019) Authors: DAS, ARIYAM; ZANIOLO, CARLO Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 1056 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. A Comparative Study of Some Central Notions of ASPIC+ and DeLP. Issue 3 (10th May 2020) Authors: GARCÍA, ALEJANDRO J.; PRAKKEN, HENRY; SIMARI, GUILLERMO R. Journal: Theory and practice of logic programming Issue: Volume 20:Issue 3(2020) Page Start: 358 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. A concurrent constraint programming interpretation of access permissions. Issue 2 (10th April 2018) Authors: OLARTE, CARLOS; PIMENTEL, ELAINE; RUEDA, CAMILO Journal: Theory and practice of logic programming Issue: Volume 18:Issue 2(2018) Page Start: 252 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. A datalog-based computational model for coordination-free, data-parallel systems. Issue 5 (5th September 2018) Authors: INTERLANDI, MATTEO; TANCA, LETIZIA Journal: Theory and practice of logic programming Issue: Volume 18:Issue 5/6(2018) Page Start: 874 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. 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) ↗
6. 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) ↗
7. 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) ↗
8. 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) ↗
9. 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) ↗
10. 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) ↗