801. Unfolding for CHR programs. Issue 3 (8th October 2013) Authors: GABBRIELLI, MAURIZIO; MEO, MARIA CHIARA; TACCHELLA, PAOLO; WIKLICKY, HERBERT Journal: Theory and practice of logic programming Issue: Volume 15:Issue 3(2015) Page Start: 264 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
802. Unified correspondence as a proof-theoretic tool. (5th August 2016) Authors: Greco, Giuseppe; Ma, Minghui; Palmigiano, Alessandra; Tzimoulis, Apostolos; Zhao, Zhiguang Journal: Journal of logic and computation Issue: Volume 28:Number 7(2018) Page Start: 1367 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
803. Uniform interpolation for propositional and modal team logics. (7th May 2019) Authors: D'Agostino, Giovanna Journal: Journal of logic and computation Issue: Volume 29:Number 5(2019) Page Start: 785 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
804. Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics. (9th April 2021) Authors: Girlando, Marianna; Negri, Sara; Olivetti, Nicola Journal: Journal of logic and computation Issue: Volume 31:Number 3(2021) Page Start: 947 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
805. Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge. Issue 5 (September 2019) Authors: SHARMA, ARPIT Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 1021 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
806. Using linear constraints for logic program termination analysis. Issue 3 (31st March 2016) Authors: CALAUTTI, MARCO; GRECO, SERGIO; MOLINARO, CRISTIAN; TRUBITSYNA, IRINA Journal: Theory and practice of logic programming Issue: Volume 16:Issue 3(2016) Page Start: 353 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
807. Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages. Issue 2 (15th February 2019) Authors: WIELEMAKER, JAN; RIGUZZI, FABRIZIO; KOWALSKI, ROBERT A.; LAGER, TORBJÖRN; SADRI, FARIBA; CALEJO, MIGUEL Editors: Schulz, Claudia; Ellmauthaler, Stefan Journal: Theory and practice of logic programming Issue: Volume 19:Issue 2(2019) Page Start: 229 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
808. Using Tabled Logic Programming to Solve the Petrobras Planning Problem. Issue 4 (21st July 2014) Authors: BARTÁK, ROMAN; ZHOU, NENG-FA; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 697 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
809. Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs. Issue 5 (September 2021) Authors: BESIN, VIKTOR; HECHER, MARKUS; WOLTRAN, STEFAN Journal: Theory and practice of logic programming Issue: Volume 21:Issue 5(2021) Page Start: 575 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
810. Verification logic. (14th August 2017) Authors: Aguilera, Juan Pablo; Fernández-Duque, David Journal: Journal of logic and computation Issue: Volume 27:Number 8(2017) Page Start: 2451 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗