Journal: Theory and practice of logic programming - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Journal Theory and practice of logic programming

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) ↗