1. A labelled sequent calculus for BBI: proof theory and proof search. (9th June 2015) Authors: Hóu, Zhé; Goré, Rajeev; Tiu, Alwen Journal: Journal of logic and computation Issue: Volume 28:Number 4(2018) Page Start: 809 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. GRAVITAS: A model checking based planning and goal reasoning framework for autonomous systems. (January 2021) Authors: Bride, Hadrien; Dong, Jin Song; Green, Ryan; Hóu, Zhé; Mahony, Brendan; Oxenham, Martin Journal: Engineering applications of artificial intelligence Issue: Volume 97(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Silas: A high-performance machine learning foundation for logical reasoning and verification. (15th August 2021) Authors: Bride, Hadrien; Cai, Cheng-Hao; Dong, Jie; Dong, Jin Song; Hóu, Zhé; Mirjalili, Seyedali; Sun, Jing Journal: Expert systems with applications Issue: Volume 176(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗