ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
Theory and Practice of Logic Programming
container_yhwvj6mbzza5tfz766tokherka
Cambridge University Press
Homepage URLs
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming |
http://journals.cambridge.org/TLP |
Example Publications
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II
Thomas Eiter, Michael Maher, Enrico Pontelli, LUC DE RAEDT, Miroslaw Truszczynski
2022
|
Theory and Practice of Logic Programming
doi:10.1017/s1471068422000394
Introduction to the 38th International Conference on Logic Programming Special Issue II
Yuliya Lierler, José F. Morales
2022
|
Theory and Practice of Logic Programming
doi:10.1017/s1471068422000291
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
LINDE VANBESIEN, MAURICE BRUYNOOGHE, MARC DENECKER
2022
|
Theory and Practice of Logic Programming
doi:10.1017/s1471068422000126
On Nested Justification Systems
SIMON MARYNISSEN, Jesse Heyninck, Bart Bogaerts, MARC DENECKER
2022
|
Theory and Practice of Logic Programming
doi:10.1017/s1471068422000266
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
Emanuele De Angelis, Fabio FIORAVANTI, Alberto Pettorossi, Maurizio Proietti
2022
|
Theory and Practice of Logic Programming
doi:10.1017/s1471068422000175