181. Inspecting Maude variants with GLINTS*. Issue 5 (24th August 2017) Authors: ALPUENTE, M.; ESCOBAR, S.; SAPIÑA, J.; CUENCA-ORTEGA, A. Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 689 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
182. Interactive Text Graph Mining with a Prolog-Based Dialog Engine. Issue 2 (7th March 2021) Authors: TARAU, PAUL; BLANCO, EDUARDO Journal: Theory and practice of logic programming Issue: Volume 21:Issue 2(2021) Page Start: 244 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
183. Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. Issue 2 (11th May 2018) Authors: LOPEZ-GARCIA, P.; DARMAWAN, L.; KLEMEN, M.; LIQAT, U.; BUENO, F.; HERMENEGILDO, M. V. Journal: Theory and practice of logic programming Issue: Volume 18:Issue 2(2018) Page Start: 167 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
184. Introducing Computer Science to High School Students Through Logic Programming. Issue 2 (14th November 2018) Authors: YUEN, TIMOTHY T.; REYES, MARITZA; ZHANG, YUANLIN Editors: Schulz, Claudia; Ellmauthaler, Stefan Journal: Theory and practice of logic programming Issue: Volume 19:Issue 2(2019) Page Start: 204 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
185. Introduction to the 30th International Conference on Logic Programming Special Issue. Issue 4 (21st July 2014) Authors: LEUSCHEL, MICHAEL; SCHRIJVERS, TOM; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 401 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
186. Introduction to the 31st International Conference on Logic Programming special issue. Issue 4 (3rd September 2015) Authors: EITER, THOMAS; TONI, FRANCESCA Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 413 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
187. Introduction to the 32nd International Conference on Logic Programming Special Issue. Issue 5 (14th October 2016) Authors: CARRO, MANUEL; KING, ANDY Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 509 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
188. Introduction to the 33rd international conference on logic programming special issue. Issue 5 (6th October 2017) Authors: ROCHA, RICARDO; SON, TRAN CAO Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 684 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
189. Introduction to the 34-th international conference on logic programming special issue. Issue 3 (10th August 2018) Authors: DAL PALÙ, ALESSANDRO; TARAU, PAUL Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 296 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
190. Introduction to the 35th International Conference on Logic Programming Special Issue. Issue 5 (September 2019) Authors: ERDEM, ESRA; FORMISANO, ANDREA; VIDAL, GERMÁN; YANG, FANGKAI Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 630 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗