31. 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) ↗
32. Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis. Issue 3 (10th August 2018) Authors: FARKA, FRANTIŠEK; KOMENDANTSKYA, EKATERINA; HAMMOND, KEVIN Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 484 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
33. Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming. Issue 3 (10th August 2018) Authors: GEBSER, MARTIN; OBERMEIER, PHILIPP; SCHAUB, TORSTEN; RATSCH-HEITMANN, MICHEL; RUNGE, MARIO Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 520 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
34. Scaling-up reasoning and advanced analytics on BigData. Issue 5 (5th September 2018) Authors: CONDIE, TYSON; DAS, ARIYAM; INTERLANDI, MATTEO; SHKAPSKY, ALEXANDER; YANG, MOHAN; ZANIOLO, CARLO Journal: Theory and practice of logic programming Issue: Volume 18:Issue 5/6(2018) Page Start: 806 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
35. Shape Neutral Analysis of Graph-based Data-structures. Issue 3 (10th August 2018) Authors: DUCK, GREGORY J.; JAFFAR, JOXAN; YAP, ROLAND H. C. Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 470 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
36. Shared aggregate sets in answer set programming. Issue 3 (10th August 2018) Authors: ALVIANO, MARIO; DODARO, CARMINE; MARATEA, MARCO Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 301 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
37. Solving Horn Clauses on Inductive Data Types Without Induction. Issue 3 (10th August 2018) Authors: DE ANGELIS, EMANUELE; FIORAVANTI, FABIO; PETTOROSSI, ALBERTO; PROIETTI, MAURIZIO Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 452 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
38. Specifying and Verbalising Answer Set Programs in Controlled Natural Language. Issue 3 (10th August 2018) Authors: SCHWITTER, ROLF Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 691 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
39. Table space designs for implicit and explicit concurrent tabled evaluation. Issue 5 (27th July 2018) Authors: AREIAS, MIGUEL; ROCHA, RICARDO Journal: Theory and practice of logic programming Issue: Volume 18:Issue 5/6(2018) Page Start: 950 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
40. Temporal Answer Set Programming on Finite Traces. Issue 3 (10th August 2018) Authors: CABALAR, PEDRO; KAMINSKI, ROLAND; SCHAUB, TORSTEN; SCHUHMANN, ANNA Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 406 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗