By Scientia Professor Toby Walsh

Books

Walsh T, 2021, Foreword: The world in 2062

Biere A; Heule M; van Maaren H; Walsh T, 2021, Handbook of satisfiability: Second edition, http://dx.doi.org/10.3233/FAIA336

Biere A; Heule M; van Maaren H; Walsh T, 2021, Preface first edition

Biere A; Heule M; Van Maaren H; Walsh T, 2021, Preface first edition

Biere A; Heule M; Van Maaren H; Walsh T, 2021, Preface second edition

Walsh T, 2015, Preface

Rossi F; Venable KB; Walsh T, 2011, A Short Introduction to Preferences, Springer International Publishing, http://dx.doi.org/10.1007/978-3-031-01556-4

Rossi F; Venable K; Walsh T, 2011, Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan and Claypool Publishers, CA, United States, http://dx.doi.org/10.2200/S00372ED1V01Y201107AIM014

Biere A; Heule M; Maaren HV; Walsh T, 2009, Handbook of Satisfiability: Preface

Rossi F; van Beek P; Walsh T, 2008, Chapter 4 Constraint Programming, http://dx.doi.org/10.1016/S1574-6526(07)03004-0

Rossi F; van Beek P; Walsh T, 2006, Handbook of Constraint Programming Introduction, Rossi F; VanBeek P; Walsh T, (eds.), Foundations of Artificial Intelligence, ELSEVIER SCIENCE BV, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000311250700002&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1

Walsh T, 2001, Preface

Choueiry BY; Walsh T, 2000, Preface

Book Chapters

Walsh T, 2023, 'More than Programming?', in The Future of Work and Technology, Chapman and Hall/CRC, pp. 173 - 187, http://dx.doi.org/10.1201/9781003393757-9

Botan S; Ritossa A; Suzuki M; Walsh T, 2023, 'Maximin Fair Allocation of Indivisible Items Under Cost Utilities', in , pp. 221 - 238, http://dx.doi.org/10.1007/978-3-031-43254-5_13

Walsh T, 2023, 'More than Programming?: The Impact of AI on Work and Skills', in The Future of Work and Technology: Global Trends, Challenges and Policies with an Australian Perspective, pp. 173 - 187, http://dx.doi.org/10.1201/9781003393757-9

Walsh T, 2021, 'Adventures in mathematical reasoning', in Mathematical Reasoning: The History and Impact of the DReaM Group, pp. 51 - 61, http://dx.doi.org/10.1007/978-3-030-77879-8_3

Biere A; Heule M; van Maaren H; Walsh T, 2021, 'Preface second edition', in Handbook of Satisfiability: Second Edition, pp. vii - viii

Chircop PA; Surendonk TJ; van den Briel MHL; Walsh T, 2021, 'A Branch-and-Price Framework for the Maximum Covering and Patrol Routing Problem', in Lecture Notes in Management and Industrial Engineering, Springer International Publishing, pp. 59 - 80, http://dx.doi.org/10.1007/978-3-030-60135-5_5

Gaspers S; Walsh T, 2017, 'Preface', in Theory and Applications of Satisfiability Testing – SAT 2017, Springer International Publishing, pp. V - VIII

Bessiere C; Daoudi A; Hebrard E; Katsirelos G; Lazaar N; Mechqrane Y; Narodytska N; Quimper CG; Walsh T, 2016, 'New approaches to constraint acquisition', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 51 - 76, http://dx.doi.org/10.1007/978-3-319-50137-6_3

Conitzer V; Walsh T, 2016, 'Barriers to manipulation in voting', in Handbook of Computational Social Choice, pp. 127 - 145, http://dx.doi.org/10.1017/CBO9781107446984.007

Walsh T, 2011, 'IJCAI International Joint Conference on Artificial Intelligence: Preface', in

Yaman F; Walsh TJ; Littman ML; desJardins M, 2010, 'Learning Lexicographic Preference Models', in Furnkranz J; Hullermeier E (ed.), PREFERENCE LEARNING, SPRINGER-VERLAG BERLIN, pp. 251 - 272, http://dx.doi.org/10.1007/978-3-642-14125-6_12

Walsh T; Rossi F; van Beek P, 2008, 'Constraint Programming', in Hendler J; Kitano H; Nebel B (ed.), Handbook of Knowledge Representation, edn. Foundations of Artificial Intelligence, Elsevier, Amsterdam, The Netherlands, pp. 181 - 211

Rossi F; van Beek P; Walsh T, 2006, 'Chapter 1 Introduction', in Foundations of Artificial Intelligence, pp. 3 - 12, http://dx.doi.org/10.1016/S1574-6526(06)80005-2

Gomes C; Walsh T, 2006, 'Chapter 18 Randomness and structure', in Foundations of Artificial Intelligence, pp. 639 - 664, http://dx.doi.org/10.1016/S1574-6526(06)80022-2

Gomes C; Walsh T, 2006, 'Randomness and Structure', in Rossi F; VanBeek P; Walsh T (ed.), HANDBOOK OF CONSTRAINT PROGRAMMING, edn. Foundations of Artificial Intelligence, ELSEVIER SCIENCE BV, pp. 639 - 664, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000311250700019&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1

Rossi F; van Beek P; Walsh T, 2006, 'Chapter 1 Introduction', in Handbook of Constraint Programming, Elsevier, pp. 3 - 12, http://dx.doi.org/10.1016/s1574-6526(06)80005-2

Drake L; Frisch A; Walsh T, 2002, 'Automatic Generation of Implied Clauses for SAT', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 783 - 783, http://dx.doi.org/10.1007/3-540-46135-3_78

Hnich B; Walsh T, 2002, 'Models of Injection Problems', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 781 - 781, http://dx.doi.org/10.1007/3-540-46135-3_76

Basin DA; Walsh T, 1996, 'A Calculus for and Termination of Rippling', in Automated Mathematical Induction, Springer Netherlands, pp. 147 - 180, http://dx.doi.org/10.1007/978-94-009-1675-3_5

Walsh T, 1994, 'Creative Proof Planning', in Artificial Intelligence and Creativity, Springer Netherlands, pp. 181 - 193, http://dx.doi.org/10.1007/978-94-017-0793-0_12

Gent IP; Walsh T, 1994, 'The hardest random SAT problems', in KI-94: Advances in Artificial Intelligence, Springer Nature, pp. 355 - 366, http://dx.doi.org/10.1007/3-540-58467-6_31

Giunchiglia F; Walsh T, 1991, 'Using Abstraction', in AISB91, Springer London, pp. 225 - 234, http://dx.doi.org/10.1007/978-1-4471-1852-7_20

Giunchiglia E; Walsh T, 'Satisfiability in the Year 2005', in SAT 2005, Springer Netherlands, pp. 1 - 2, http://dx.doi.org/10.1007/978-1-4020-5571-3_1

Journal articles

Aziz H; Lu X; Suzuki M; Vollen J; Walsh T, 2024, 'Fair Lotteries for Participatory Budgeting', Proceedings of the AAAI Conference on Artificial Intelligence, 38, pp. 9469 - 9476, http://dx.doi.org/10.1609/aaai.v38i9.28801

Bessiere C; Carbonnel C; Dries A; Hebrard E; Katsirelos G; Lazaar N; Narodytska N; Quimper CG; Stergiou K; Tsouros DC; Walsh T, 2024, 'Corrigendum to “Learning constraints through partial queries” [Artificial Intelligence 319 (2023) 103896](S0004370223000425)(10.1016/j.artint.2023.103896)', Artificial Intelligence, 328, http://dx.doi.org/10.1016/j.artint.2024.104075

Aziz H; Schlotter I; Walsh T, 2024, 'Computational complexity of necessary envy-freeness', Mathematical Social Sciences, 127, pp. 86 - 98, http://dx.doi.org/10.1016/j.mathsocsci.2023.08.002

Bessiere C; Carbonnel C; Dries A; Hebrard E; Katsirelos G; Lazaar N; Narodytska N; Quimper CG; Stergiou K; Tsouros DC; Walsh T, 2023, 'Learning constraints through partial queries', Artificial Intelligence, 319, http://dx.doi.org/10.1016/j.artint.2023.103896

Walsh T, 2023, 'Will AI end privacy? How do we avoid an Orwellian future', AI and Society, 38, pp. 1239 - 1240, http://dx.doi.org/10.1007/s00146-022-01433-y

George A; Walsh T, 2022, 'Can AI invent?', Nature Machine Intelligence, 4, pp. 1057 - 1060, http://dx.doi.org/10.1038/s42256-022-00582-5

George A; Walsh T, 2022, 'Artificial intelligence is breaking patent law', Nature, 605, pp. 616 - 618, http://dx.doi.org/10.1038/d41586-022-01391-x

Chircop PA; Surendonk TJ; van den Briel MHL; Walsh T, 2022, 'On routing and scheduling a fleet of resource-constrained vessels to provide ongoing continuous patrol coverage', Annals of Operations Research, 312, pp. 723 - 760, http://dx.doi.org/10.1007/s10479-021-04474-6

Aziz H; Caragiannis I; Igarashi A; Walsh T, 2022, 'Fair allocation of indivisible goods and chores', Autonomous Agents and Multi-Agent Systems, 36, http://dx.doi.org/10.1007/s10458-021-09532-8

Walsh T, 2022, 'The troubling future for facial recognition software', Communications of the ACM, 65, pp. 35 - 36, http://dx.doi.org/10.1145/3474096

van Bevern R; Komusiewicz C; Molter H; Niedermeier R; Sorge M; Walsh T, 2020, 'H-index manipulation by undoing merges', Quantitative Science Studies, 1, pp. 1529 - 1552, http://dx.doi.org/10.1162/qss_a_00093

Aziz H; Lev O; Mattei N; Rosenschein JS; Walsh T, 2019, 'Strategyproof peer selection using randomization, partitioning, and apportionment', Artificial Intelligence, 275, pp. 295 - 309, http://dx.doi.org/10.1016/j.artint.2019.06.004

Walsh T, 2019, 'Australia's AI futured', Journal and Proceedings of the Royal Society of New South Wales, 152, pp. 101 - 104

Walsh T, 2019, 'Experiments in social media', AI Magazine, 40, pp. 74 - 77, http://dx.doi.org/10.1609/aimag.v40i4.2868

Back to profile page