131. Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems. Issue 4 (30th July 2022) Authors: TARZARIOL, ALICE; SCHEKOTIHIN, KONSTANTIN; GEBSER, MARTIN; LAW, MARK Journal: Theory and practice of logic programming Issue: Volume 22:Issue 4(2022) Page Start: 606 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
132. Efficient TBox Reasoning with Value Restrictions using the ${\cal F}{{\cal L}_0}$ wer Reasoner. Issue 2 (15th March 2022) Authors: BAADER, FRANZ; KOOPMANN, PATRICK; MICHEL, FRIEDRICH; TURHAN, ANNI-YASMIN; ZARRIESS, BENJAMIN Journal: Theory and practice of logic programming Issue: Volume 22:Issue 2(2022) Page Start: 162 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
133. Efficiently Coupling the I-DLV Grounder with ASP Solvers. Issue 2 (4th March 2020) Authors: CALIMERI, FRANCESCO; DODARO, CARMINE; FUSCÀ, DAVIDE; PERRI, SIMONA; ZANGARI, JESSICA Journal: Theory and practice of logic programming Issue: Volume 20:Issue 2(2020) Page Start: 205 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
134. Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language $p{\cal BC}$+. Issue 3 (23rd May 2021) Authors: WANG, YI; LEE, JOOHYUNG Journal: Theory and practice of logic programming Issue: Volume 21:Issue 3(2021) Page Start: 348 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
135. Enablers and inhibitors in causal justifications of logic programs*. Issue 1 (3rd May 2016) Authors: CABALAR, PEDRO; FANDINNO, JORGE Journal: Theory and practice of logic programming Issue: Volume 17:Issue 1(2017) Page Start: 49 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
136. Enabling reasoning with LegalRuleML. Issue 1 (14th September 2018) Authors: LAM, HO-PUN; HASHMI, MUSTAFA Journal: Theory and practice of logic programming Issue: Volume 19:Issue 1(2019) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
137. Enhancing Magic Sets with an Application to Ontological Reasoning. Issue 5 (September 2019) Authors: ALVIANO, MARIO; LEONE, NICOLA; VELTRI, PIERFRANCESCO; ZANGARI, JESSICA Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 654 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
138. Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP. Issue 5 (September 2019) Authors: ARIAS, JOAQUÍN; CARRO, MANUEL Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 1107 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
139. Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R. Issue 4 (21st July 2014) Authors: GALL, DANIEL; FRÜHWIRTH, THOM; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 525 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
140. Experimenting with robotic intra-logistics domains. Issue 3 (10th August 2018) Authors: GEBSER, MARTIN; OBERMEIER, PHILIPP; OTTO, THOMAS; SCHAUB, TORSTEN; SABUNCU, ORKUNT; NGUYEN, VAN; SON, TRAN CAO Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 502 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗