By Scientia Professor Toby Walsh

Journal articles

Rossi F; Venable B; Walsh T, 2008, 'Preferences in constraint satisfaction and optimization', AI Magazine, 29, pp. 58 - 68

Walsh T, 2007, 'Representing and reasoning with preferences', AI Magazine, 28, pp. 59 - 69

Walsh TF; Reese GM; Hetmaniuk UL, 2007, 'Explicit a posteriori error estimates for eigenvalue analysis of heterogeneous elastic structures', COMPUTER METHODS IN APPLIED MECHANICS AND ENGINEERING, 196, pp. 3614 - 3623, http://dx.doi.org/10.1016/j.cma.2006.10.036

Narodytska N; Walsh T, 2007, 'Constraint and variable-ordering heuristics for compiling configuration problems', , pp. 78 - 81

Bessiere C; Hnich B; Walsh T; Hebrard E, 2007, 'The complexity of reasoning with global constraints', Constraints, 12, pp. 239 - 259, http://dx.doi.org/10.1007/s10601-006-9007-3

Bessiere C; Hebrard E; Hnich B; Kiziltan Z; Walsh T, 2006, 'Filtering algorithms for the NVALUE constraint', Constraints, 11, pp. 271 - 293

Domshlak C; Prestwich S; Rossi F; Venable K; Walsh T, 2006, 'Hard and soft constraints for reasoning about qualitative conditional preferences', Journal of Heuristics, 12, pp. 263 - 285

Frisch A; Hnich B; Kiziltan Z; Miguel I; Walsh T, 2006, 'Propagation algorithms for lexicographic ordering constraints', Artificial Intelligence, 170, pp. 803 - 834

Tarim S; Manandhar S; Walsh T, 2006, 'Stochastic constraint programming: A scenario-based approach', Constraints, 11, pp. 53 - 80

Takenaga Y; Walsh T, 2006, 'TETRAVEX is NP-complete', Information Processing Letters, 99, pp. 171 - 174

Walsh T, 2005, 'Aims and scope', AI Communications, 18, pp. 1

Giunchiglia E; Walsh T, 2005, 'Satisfiability in the Year 2005', Journal of Automated Reasoning, 35, pp. 1 - 2

van Beek P; Walsh T, 2004, 'Principles of Constraint Programming and Constraint Processing: A Review', AI Magazine, 25, pp. 105 - 106, http://dx.doi.org/10.1609/aimag.v25i4.1790

Hnich B; Smith BM; Walsh T, 2004, 'Dual modelling of permutation and injection problems', Journal of Artificial Intelligence Research, 21, pp. 357 - 391, http://dx.doi.org/10.1613/jair.1351

Hnich B; Kiziltan Z; Miguel I; Walsh T, 2004, 'Hybrid modelling for robust solving', Annals of Operations Research, 130, pp. 19 - 39, http://dx.doi.org/10.1023/B:ANOR.0000032568.51115.0d

Bacchus F; Chen X; Van Beek P; Walsh T, 2002, 'Binary vs. non-binary constraints', Artificial Intelligence, 140, pp. 1 - 37, http://dx.doi.org/10.1016/S0004-3702(02)00210-2

Gent IP; Walsh T, 2002, 'Satisfiability in the year 2000', Journal of Automated Reasoning, 28, pp. 99, http://dx.doi.org/10.1023/A:1015051815026

Gent IP; Macintyre E; Prosser P; Smith BM; Walsh T, 2001, 'Random constraint satisfaction: Flaws and structure', Constraints, 6, pp. 345 - 372, http://dx.doi.org/10.1023/A:1011454308633

Gent I; Stergiou K; Walsh T, 2000, 'Decomposable constraints', Artificial Intelligence, 123, pp. 133 - 156, http://dx.doi.org/10.1016/S0004-3702(00)00051-5

Colton S; Bundy A; Walsh T, 2000, 'On the notion of interestingness in automated mathematical discovery', International Journal of Human Computer Studies, 53, pp. 351 - 375, http://dx.doi.org/10.1006/ijhc.2000.0394

Gent IP; Walsh T, 2000, 'Satisfiability in the year 2000', Journal of Automated Reasoning, 24, pp. 1 - 3, http://dx.doi.org/10.1023/a:1006338702529

Gent IP; Walsh T, 1999, 'Paul R. Cohen's Empirical Methods for Artificial Intelligence', Artificial Intelligence, 113, pp. 285 - 290, http://dx.doi.org/10.1016/s0004-3702(99)00056-9

Frank J; Gent IP; Walsh T, 1998, 'Asymptotic and finite size parameters for phase transitions: Hamiltonian circuit as a case study', Information Processing Letters, 65, pp. 241 - 245, http://dx.doi.org/10.1016/s0020-0190(97)00222-6

Gent IP; Walsh T, 1998, 'Analysis of heuristics for number partitioning', Computational Intelligence, 14, pp. 430 - 451, http://dx.doi.org/10.1111/0824-7935.00069

Giunchiglia F; Villafiorita A; Walsh T, 1997, 'Theories of abstraction', AI Communications, 10, pp. 167 - 176, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000072878000003&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a

Bundy A; Giunchiglia F; Villafiorita A; Walsh T, 1997, 'Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem', Journal of Automated Reasoning, 19, pp. 319 - 346, http://dx.doi.org/10.1023/A:1005877613942

Basin DA; Walsh T, 1996, 'A calculus for and termination of rippling', Journal of Automated Reasoning, 16, pp. 147 - 180, http://dx.doi.org/10.1007/BF00244462

Walsh T, 1996, 'A divergence critic for inductive proof', Journal of Artificial Intelligence Research, 4, pp. 209 - 235, http://dx.doi.org/10.1613/jair.275

Bundy A; Giunchiglia F; Sebastiani R; Walsh T, 1996, 'Calculating criticalities', Artificial Intelligence, 88, pp. 39 - 67, http://dx.doi.org/10.1016/s0004-3702(96)00019-7

Gent IP; Walsh T, 1996, 'The satisfiability constraint gap', Artificial Intelligence, 81, pp. 59 - 80, http://dx.doi.org/10.1016/0004-3702(95)00047-x

Gent IP; Walsh T, 1996, 'The TSP phase transition', Artificial Intelligence, 88, pp. 349 - 358, http://dx.doi.org/10.1016/s0004-3702(96)00030-6

Gent IP; Walsh T, 1994, 'Easy problems are sometimes hard', Artificial Intelligence, 70, pp. 335 - 345, http://dx.doi.org/10.1016/0004-3702(94)90109-0

Giunchiglia F; Walsh T, 1993, 'The inevitability of inconsistent abstract spaces', Journal of Automated Reasoning, 11, pp. 23 - 41, http://dx.doi.org/10.1007/BF00881899

Walsh T, 1993, 'ECAI’92: A methodological malaise?', AI Communications, 6, pp. 59 - 61, http://dx.doi.org/10.3233/AIC-1993-6105

Gent IP; Walsh T, 1993, 'Empirical analysis of search in GSAT', Journal of Artificial Intelligence Research, 1, pp. 47 - 59, http://dx.doi.org/10.1613/jair.7

Giunchiglia F; Walsh T, 1992, 'A theory of abstraction', Artificial Intelligence, 57, pp. 323 - 389, http://dx.doi.org/10.1016/0004-3702(92)90021-O

BASIN D; WALSH T, 1992, 'DIFFERENCE MATCHING', LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 607, pp. 295 - 309, https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:A1992KV19500023&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1

Walsh T; Nunes A; Bundy A, 1992, 'The use of proof plans to sum series', Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 607 LNAI, pp. 325 - 339, http://dx.doi.org/10.1007/3-540-55602-8_175

WALSH TR, 1982, 'THE TOWERS OF HANOI REVISITED - MOVING THE RINGS BY COUNTING THE MOVES', INFORMATION PROCESSING LETTERS, 15, pp. 64 - 67, http://dx.doi.org/10.1016/0020-0190(82)90108-9

Conference Papers

Walsh T, 2024, 'Generative AI: why all the fuss?', in Proceedings of the Genetic and Evolutionary Computation Conference, ACM, presented at GECCO '24: Genetic and Evolutionary Computation Conference, http://dx.doi.org/10.1145/3638529.3663650

Liu S; Lu X; Suzuki M; Walsh T, 2024, 'Mixed Fair Division: A Survey', in Proceedings of the AAAI Conference on Artificial Intelligence, pp. 22641 - 22649, http://dx.doi.org/10.1609/aaai.v38i20.30274

Lam A; Aziz H; Li B; Ramezani F; Walsh T, 2024, 'Proportional Fairness in Obnoxious Facility Location', in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, pp. 1075 - 1083

Aziz H; Suksompong W; Sun Z; Walsh T, 2023, 'Fairness Concepts for Indivisible Items with Externalities', in Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023, pp. 5472 - 5480

Aziz H; Lam A; Li B; Ramezani F; Walsh T, 2023, 'Proportional Fairness in Obnoxious Facility Location', in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, pp. 2646 - 2648

Walsh T, 2022, 'Strategy Proof Mechanisms for Facility Location with Capacity Limits', in IJCAI International Joint Conference on Artificial Intelligence, Vienna, pp. 527 - 533, presented at Thirty-First International Joint Conference on Artificial Intelligence, Vienna, 23 July 2022 - 29 July 2022, http://dx.doi.org/10.24963/ijcai.2022/75

Aziz H; Lam A; Suzuki M; Walsh T, 2022, 'Random Rank: The One and Only Strategyproof and Proportionally Fair Randomized Facility Location Mechanism', in Advances in Neural Information Processing Systems

Sun Z; Todo T; Walsh T, 2021, 'Fair Pairwise Exchange among Groups', in IJCAI International Joint Conference on Artificial Intelligence, pp. 419 - 425

Tan M; Dai Z; Ren Y; Walsh T; Aleksandrov M, 2021, 'Minimal-envy Conference Paper Assignment: Formulation and a Fast Iterative Algorithm', in Proceedings of 2021 5th Asian Conference on Artificial Intelligence Technology, ACAIT 2021, pp. 667 - 674, http://dx.doi.org/10.1109/ACAIT53529.2021.9731163

Walsh T, 2021, 'Strategy Proof Mechanisms for Facility Location at Limited Locations', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 113 - 124, http://dx.doi.org/10.1007/978-3-030-89188-6_9

Markham A; Powles J; Walsh T; Washington AL, 2020, 'Foreword', in AIES 2020 - Proceedings of the AAAI/ACM Conference on AI, Ethics, and Society, pp. III

Back to profile page