1. A biomedical open knowledge network harnesses the power of AI to understand deep human biology. Issue 1 (31st March 2022) Authors: Baranzini, Sergio E.; Börner, Katy; Morris, John; Nelson, Charlotte A.; Soman, Karthik; Schleimer, Erica; Keiser, Michael; Musen, Mark; Pearce, Roger; Reza, Tahsin; Smith, Brett; Herr, Bruce W.; Oskotsky, Boris; Rizk‐Jackson, Angela; Rankin, Katherine P.; Sanders, Stephan J.; Bove, Riley; Rose, P... Journal: AI magazine Issue: Volume 43:Issue 1 (2022) Page Start: 46 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. 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) ↗
3. 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) ↗
4. 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) ↗
5. 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) ↗
6. 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) ↗
7. 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) ↗
8. 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) ↗
9. 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) ↗
10. 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) ↗