261. Partial Compilation of ASP Programs. Issue 5 (September 2019) Authors: CUTERI, BERNARDO; DODARO, CARMINE; RICCA, FRANCESCO; SCHÜLLER, PETER Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 857 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
262. Past and present (and future) of parallel and distributed computation in (constraint) logic programming. Issue 5 (5th September 2018) Authors: FIORETTO, FERDINANDO; PONTELLI, ENRICO Journal: Theory and practice of logic programming Issue: Volume 18:Issue 5/6(2018) Page Start: 722 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
263. Pengines: Web Logic Programming Made Easy. Issue 4 (21st July 2014) Authors: LAGER, TORBJÖRN; WIELEMAKER, JAN; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 539 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
264. Performing fully parallel constraint logic programming on a quantum annealer. Issue 5 (6th May 2018) Authors: PAKIN, SCOTT Journal: Theory and practice of logic programming Issue: Volume 18:Issue 5/6(2018) Page Start: 928 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
265. Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming. Issue 3 (10th August 2018) Authors: HAI NGUYEN, THANH; PONTELLI, ENRICO; CAO SON, TRAN Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 656 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
266. Planning as tabled logic programming. Issue 4 (3rd September 2015) Authors: ZHOU, NENG-FA; BARTÁK, ROMAN; DOVIER, AGOSTINO Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 543 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
267. Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog. Issue 5 (September 2021) Authors: JULIÁN-IRANZO, PASCUAL; SÁENZ-PÉREZ, FERNANDO Journal: Theory and practice of logic programming Issue: Volume 21:Issue 5(2021) Page Start: 680 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
268. Planning with Incomplete Information in Quantified Answer Set Programming. Issue 5 (24th September 2021) Authors: FANDINNO, JORGE; LAFERRIERE, FRANCOIS; ROMERO, JAVIER; SCHAUB, TORSTEN; SON, TRAN CAO Journal: Theory and practice of logic programming Issue: Volume 21:Issue 5(2021) Page Start: 663 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
269. Plasp 3: Towards Effective ASP Planning. Issue 3 (18th January 2019) Authors: DIMOPOULOS, YANNIS; GEBSER, MARTIN; LÜHNE, PATRICK; ROMERO, JAVIER; SCHAUB, TORSTEN Journal: Theory and practice of logic programming Issue: Volume 19:Issue 3(2019) Page Start: 477 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
270. Practical run-time checking via unobtrusive property caching. Issue 4 (3rd September 2015) Authors: STULOVA, NATALIIA; MORALES, JOSÉ F.; HERMENEGILDO, MANUEL V. Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 726 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗