211. Lifted Variable Elimination for Probabilistic Logic Programming. Issue 4 (21st July 2014) Authors: BELLODI, ELENA; LAMMA, EVELINA; RIGUZZI, FABRIZIO; COSTA, VITOR SANTOS; ZESE, RICCARDO; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 681 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
212. Lock-free atom garbage collection for multithreaded Prolog - ERRATUM. Issue 1 (9th June 2017) Authors: WIELEMAKER, JAN; HARRIS, KERI Journal: Theory and practice of logic programming Issue: Volume 18:Issue 1(2018) Page Start: 120 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
213. Lock-free atom garbage collection for multithreaded Prolog. Issue 5 (14th October 2016) Authors: WIELEMAKER, JAN; HARRIS, KERI Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 950 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
214. Logic + control: On program construction and verification. Issue 1 (19th June 2017) Authors: DRABENT, WŁODZIMIERZ Journal: Theory and practice of logic programming Issue: Volume 18:Issue 1(2018) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
215. Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper). Issue 5 (23rd August 2017) Authors: GAVANELLI, MARCO; NONATO, MADDALENA; PEANO, ANDREA; BERTOZZI, DAVIDE Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 800 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
216. Logic programming as a service. Issue 5 (18th July 2018) Authors: CALEGARI, ROBERTA; DENTI, ENRICO; MARIANI, STEFANO; OMICINI, ANDREA Journal: Theory and practice of logic programming Issue: Volume 18:Issue 5/6(2018) Page Start: 846 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
217. Logic Programming with Graph Automorphism: Integrating nauty with Prolog (Tool Description)*. Issue 5 (14th October 2016) Authors: FRANK, MICHAEL; CODISH, MICHAEL Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 688 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
218. Lower complexity bounds for lifted inference. Issue 2 (March 2015) Authors: JAEGER, MANFRED Journal: Theory and practice of logic programming Issue: Volume 15:Issue 2(2015) Page Start: 246 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
219. Managing caching strategies for stream reasoning with reinforcement learning. Issue 5 (September 2020) Authors: DODARO, CARMINE; EITER, THOMAS; OGRIS, PAUL; SCHEKOTIHIN, KONSTANTIN Journal: Theory and practice of logic programming Issue: Volume 20:Issue 5(2020) Page Start: 625 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
220. Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming. Issue 3 (14th May 2021) Authors: BERTOLUCCI, RICCARDO; CAPITANELLI, ALESSIO; DODARO, CARMINE; LEONE, NICOLA; MARATEA, MARCO; MASTROGIOVANNI, FULVIO; VALLATI, MAURO Journal: Theory and practice of logic programming Issue: Volume 21:Issue 3(2021) Page Start: 372 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗