281. Program completion in the input language of GRINGO*. Issue 5 (23rd August 2017) Authors: HARRISON, AMELIA; LIFSCHITZ, VLADIMIR; RAJU, DHANANJAY Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 855 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
282. Programming in logic without logic programming. Issue 3 (16th March 2016) Authors: KOWALSKI, ROBERT; SADRI, FARIBA Journal: Theory and practice of logic programming Issue: Volume 16:Issue 3(2016) Page Start: 269 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
283. 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) ↗
284. Property-Based Testing for Spark Streaming. Issue 4 (19th February 2019) Authors: RIESCO, A.; RODRÍGUEZ-HORTALÁ, J. Journal: Theory and practice of logic programming Issue: Volume 19:Issue 4(2019) Page Start: 574 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
285. Proving correctness of imperative programs by linearizing constrained Horn clauses. Issue 4 (3rd September 2015) Authors: DE ANGELIS, EMANUELE; FIORAVANTI, FABIO; PETTOROSSI, ALBERTO; PROIETTI, MAURIZIO Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 635 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
286. Proving infinitary formulas. Issue 5 (14th October 2016) Authors: HARRISON, AMELIA; LIFSCHITZ, VLADIMIR; MICHAEL, JULIAN Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 787 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
287. Putting logic-based distributed systems on stable grounds. Issue 4 (20th August 2015) Authors: AMELOOT, TOM J.; VAN DEN BUSSCHE, JAN; MARCZAK, WILLIAM R.; ALVARO, PETER; HELLERSTEIN, JOSEPH M. Journal: Theory and practice of logic programming Issue: Volume 16:Issue 4(2016) Page Start: 378 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
288. Query answering in resource-based answer set semantics*. Issue 5 (14th October 2016) Authors: COSTANTINI, STEFANIA; FORMISANO, ANDREA Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 619 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
289. Querying Knowledge via Multi-Hop English Questions. Issue 5 (September 2019) Authors: GAO, TIANTIAN; FODOR, PAUL; KIFER, MICHAEL Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 636 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
290. Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers*. Issue 1 (13th October 2017) Authors: BENDKOWSKI, MACIEJ; GRYGIEL, KATARZYNA; TARAU, PAUL Journal: Theory and practice of logic programming Issue: Volume 18:Issue 1(2018) Page Start: 97 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗