781. Topological facets of the logic of subset spaces (with emphasis on canonical models). (7th January 2016) Authors: Heinemann, Bernhard Journal: Journal of logic and computation Issue: Volume 29:Number 7(2019) Page Start: 1099 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
782. Topological semantics of conservativity and interpretability logics. (30th July 2021) Authors: Iwata, Sohei; Kurahashi, Taishi Journal: Journal of logic and computation Issue: Volume 31:Number 7(2021) Page Start: 1716 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
783. 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) ↗
784. 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) ↗
785. 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) ↗
786. 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) ↗
787. 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) ↗
788. 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) ↗
789. 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) ↗
790. 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) ↗