301. Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types*. Issue 4 (21st July 2014) Authors: SERRANO, A.; LOPEZ-GARCIA, P.; HERMENEGILDO, M. V.; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 739 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
302. Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation. Issue 1 (30th January 2021) Authors: KARIMI, ARASH; ZHANG, HENG; YOU, JIA-HUAI Journal: Theory and practice of logic programming Issue: Volume 21:Issue 1(2021) Page Start: 4 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
303. Rethinking Defeasible Reasoning: A Scalable Approach. Issue 4 (24th July 2020) Authors: MAHER, MICHAEL J.; TACHMAZIDIS, ILIAS; ANTONIOU, GRIGORIS; WADE, STEPHEN; CHENG, LONG Journal: Theory and practice of logic programming Issue: Volume 20:Issue 4(2020) Page Start: 552 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
304. Revisiting Explicit Negation in Answer Set Programming. Issue 5 (September 2019) Authors: AGUADO, FELICIDAD; CABALAR, PEDRO; FANDINNO, JORGE; PEARCE, DAVID; PÉREZ, GILBERTO; VIDAL, CONCEPCIÓN Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 908 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
305. Rewriting and narrowing for constructor systems with call-time choice semantics1. Issue 2 (30th October 2012) Authors: LÓPEZ-FRAGUAS, FRANCISCO J.; MARTIN-MARTIN, ENRIQUE; RODRÍGUEZ-HORTALÁ, JUAN; SÁNCHEZ-HERNÁNDEZ, JAIME Journal: Theory and practice of logic programming Issue: Volume 14:Issue 2(2014) Page Start: 165 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
306. Rewriting recursive aggregates in answer set programming: back to monotonicity. Issue 4 (3rd September 2015) Authors: ALVIANO, MARIO; FABER, WOLFGANG; GEBSER, MARTIN Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 559 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
307. 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) ↗
308. 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) ↗
309. Selp: A Single-Shot Epistemic Logic Program Solver. Issue 4 (26th July 2020) Authors: BICHLER, MANUEL; MORAK, MICHAEL; WOLTRAN, STEFAN Journal: Theory and practice of logic programming Issue: Volume 20:Issue 4(2020) Page Start: 435 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
310. Semantic code browsing*. Issue 5 (14th October 2016) Authors: GARCÍA-CONTRERAS, ISABEL; MORALES, JOSÉ F.; HERMENEGILDO, MANUEL V. Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 721 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗