31. A Syntactic Operator for Forgetting that Satisfies Strong Persistence. Issue 5 (September 2019) Authors: BERTHOLD, MATTI; GONÇALVES, RICARDO; KNORR, MATTHIAS; LEITE, JOÃO Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 1038 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
32. A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming. Issue 3 (10th August 2018) Authors: BARYANNIS, GEORGE; TACHMAZIDIS, ILIAS; BATSAKIS, SOTIRIS; ANTONIOU, GRIGORIS; ALVIANO, MARIO; SELLIS, TIMOS; TSAI, PEI-WEI Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 355 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
33. A Transformation-based implementation for CLP with qualification and proximity*. Issue 1 (25th April 2012) Authors: CABALLERO, R.; RODRÍGUEZ-ARTALEJO, M.; ROMERO-DÍAZ, C. A. Journal: Theory and practice of logic programming Issue: Volume 14:Issue 1(2014) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
34. A Transformational Approach to Resource Analysis with Typed-norms Inference. Issue 3 (5th May 2020) Authors: ALBERT, ELVIRA; GENAIM, SAMIR; GUTIÉRREZ, RAÚL; MARTIN-MARTIN, ENRIQUE Journal: Theory and practice of logic programming Issue: Volume 20:Issue 3(2020) Page Start: 310 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
35. About Epistemic Negation and World Views in Epistemic Logic Programs. Issue 5 (September 2019) Authors: COSTANTINI, STEFANIA Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 790 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
36. Abstract Diagnosis for tccp using a Linear Temporal Logic. Issue 4 (21st July 2014) Authors: COMINI, MARCO; TITOLO, LAURA; VILLANUEVA, ALICIA; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 787 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
37. Abstract gringo. Issue 4 (3rd September 2015) Authors: GEBSER, MARTIN; HARRISON, AMELIA; KAMINSKI, ROLAND; LIFSCHITZ, VLADIMIR; SCHAUB, TORSTEN Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 449 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
38. Abstract interpretation of temporal concurrent constraint programs. Issue 3 (10th February 2014) Authors: FALASCHI, MORENO; OLARTE, CARLOS; PALAMIDESSI, CATUSCIA Journal: Theory and practice of logic programming Issue: Volume 15:Issue 3(2015) Page Start: 312 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
39. Abstract Solvers for Computing Cautious Consequences of ASP programs. Issue 5 (September 2019) Authors: AMENDOLA, GIOVANNI; DODARO, CARMINE; MARATEA, MARCO Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 740 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
40. AC-KBO revisited*†. Issue 2 (8th June 2015) Authors: YAMADA, AKIHISA; WINKLER, SARAH; HIROKAWA, NAO; MIDDELDORP, AART Journal: Theory and practice of logic programming Issue: Volume 16:Issue 2(2016) Page Start: 163 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗