781. Topologies on residuated lattices. (8th June 2022) Authors: Wang, Wei; Zhao, Bin Journal: Journal of logic and computation Issue: Volume 32:Number 7(2022) Page Start: 1375 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
782. Towards a proof theory for Henkin quantifiers. (5th January 2021) Authors: Baaz, Matthias; Lolic, Anela Journal: Journal of logic and computation Issue: Volume 31:Number 1(2021) Page Start: 40 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
783. Towards automated reasoning in Herbrand structures. (3rd June 2019) Authors: Cohen, Liron; Rowe, Reuben N S; Zohar, Yoni Journal: Journal of logic and computation Issue: Volume 29:Number 5(2019) Page Start: 693 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
784. Towards Metric Temporal Answer Set Programming. Issue 5 (September 2020) Authors: CABALAR, PEDRO; DIÉGUEZ, MARTÍN; SCHAUB, TORSTEN; SCHUHMANN, ANNA Journal: Theory and practice of logic programming Issue: Volume 20:Issue 5(2020) Page Start: 783 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
785. Tracking computability of GPAC-generable functions. (16th December 2020) Authors: Poças, Diogo; Zucker, Jeffery Journal: Journal of logic and computation Issue: Volume 31:Number 1(2021) Page Start: 326 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
786. Tractable answer-set programming with weight constraints: bounded treewidth is not enough*. Issue 2 (17th July 2012) Authors: PICHLER, REINHARD; RÜMMELE, STEFAN; SZEIDER, STEFAN; WOLTRAN, STEFAN Journal: Theory and practice of logic programming Issue: Volume 14:Issue 2(2014) Page Start: 141 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
787. Train Scheduling with Hybrid Answer Set Programming. Issue 3 (27th May 2021) Authors: ABELS, DIRK; JORDI, JULIAN; OSTROWSKI, MAX; SCHAUB, TORSTEN; TOLETTI, AMBRA; WANKO, PHILIPP Journal: Theory and practice of logic programming Issue: Volume 21:Issue 3(2021) Page Start: 317 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
788. Transformation-Enabled Precondition Inference. Issue 6 (23rd November 2021) Authors: KAFLE, BISHOKSAN; GANGE, GRAEME; STUCKEY, PETER J.; SCHACHTE, PETER; SØNDERGAARD, HARALD Journal: Theory and practice of logic programming Issue: Volume 21:Issue 6(2021) Page Start: 700 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
789. Transforming floundering into success. Issue 2 (30th October 2012) Authors: NAISH, LEE Journal: Theory and practice of logic programming Issue: Volume 14:Issue 2(2014) Page Start: 215 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
790. Translating LPOD and CR-Prolog2 into standard answer set programs. Issue 3 (10th August 2018) Authors: LEE, JOOHYUNG; YANG, ZHUN Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 589 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗