1. Theory and applications of satisfiability testing -- SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings /: 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings. (2017) Editors: Gaspers, Serge; Walsh, Toby Other Names: SAT (Conference), 20th Record Type: Book Extent: 1 online resource (xiii, 476 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Algorithmic decision theory : 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings /: 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings. (2015) Editors: Walsh, Toby Other Names: ADT (Conference), 4th Record Type: Book Extent: 1 online resource (xii, 594 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Machines behaving badly : the morality of AI /: the morality of AI. ([2022]) Authors: Walsh, Toby Record Type: Book Extent: 1 online resource (158 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Machines that think : the future of artificial intelligence /: the future of artificial intelligence. (2018) Authors: Walsh, Toby Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Machines behaving badly : the morality of AI /: the morality of AI. (2022) Authors: Walsh, Toby Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Handbook of constraint programming. (2006) Other Names: Rossi, Francesca, 1962-; Van Beek, Peter; Walsh, Toby Record Type: Book Extent: 1 online resource (978 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗