271. Precise complexity guarantees for pointer analysis via datalog with extensions*. Issue 5 (14th October 2016) Authors: TEKLE, K. TUNCAY; LIU, YANHONG A. Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 916 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
272. Precomputing Datalog Evaluation Plans in Large-Scale Scenarios. Issue 5 (September 2019) Authors: FIORENTINO, ALESSIO; LEONE, NICOLA; MANNA, MARCO; PERRI, SIMONA; ZANGARI, JESSICA Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 1073 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
273. Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3. Issue 6 (November 2015) Authors: BRUYNOOGHE, MAURICE; BLOCKEEL, HENDRIK; BOGAERTS, BART; DE CAT, BROES; DE POOTER, STEF; JANSEN, JOACHIM; LABARRE, ANTHONY; RAMON, JAN; DENECKER, MARC; VERWER, SICCO Journal: Theory and practice of logic programming Issue: Volume 15:Issue 6(2015) Page Start: 783 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
274. Predicate Pairing for program verification. Issue 2 (4th December 2017) Authors: DE ANGELIS, EMANUELE; FIORAVANTI, FABIO; PETTOROSSI, ALBERTO; PROIETTI, MAURIZIO Journal: Theory and practice of logic programming Issue: Volume 18:Issue 2(2018) Page Start: 126 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
275. Preface. Issue 3 (18th May 2021) Authors: BALDUCCINI, MARCELLO; LIERLER, YULIYA; WOLTRAN, STEFAN Journal: Theory and practice of logic programming Issue: Volume 21:Issue 3(2021) Page Start: 293 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
276. Preface. Issue 4 (2nd August 2017) Authors: DOVIER, AGOSTINO Journal: Theory and practice of logic programming Issue: Volume 17:Issue 4(2017) Page Start: 359 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
277. Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach. Issue 3 (14th January 2019) Authors: ZESE, RICCARDO; COTA, GIUSEPPE; LAMMA, EVELINA; BELLODI, ELENA; RIGUZZI, FABRIZIO Journal: Theory and practice of logic programming Issue: Volume 19:Issue 3(2019) Page Start: 449 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
278. Probabilistic QoS-aware Placement of VNF Chains at the Edge. Issue 1 (15th January 2022) Authors: FORTI, STEFANO; PAGANELLI, FEDERICA; BROGI, ANTONIO Journal: Theory and practice of logic programming Issue: Volume 22:Issue 1(2022) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
279. Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling. Issue 4 (4th July 2022) Authors: EL-KHOLANY, MOHAMMED M. S.; GEBSER, MARTIN; SCHEKOTIHIN, KONSTANTIN Journal: Theory and practice of logic programming Issue: Volume 22:Issue 4(2022) Page Start: 623 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
280. Productive corecursion in logic programming*. Issue 5 (22nd August 2017) Authors: KOMENDANTSKAYA, EKATERINA; LI, YUE Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 906 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗