By Scientia Professor Toby Walsh

Journal articles

Pini MS; Rossi F; Venable B; Walsh T, 2009, 'Aggregating partially ordered preferences: fairness and startegy proofness', Journal of Logic and Computation, 19, pp. 475 - 502, http://dx.doi.org/10.1093/logcom/exn012

Miguel I; Frisch A; Hnich B; Kiziltan Z; Walsh T, 2009, 'Filtering Algorithms for the MultiSet Ordering Constraint', Artificial Intelligence, 173 (2009), pp. 299 - 328, http://dx.doi.org/10.1016/j.artint.2008.11.001

Bessiere C; Hebrard E; Hnich B; Kiziltan Z; Walsh T, 2009, 'Range and Roots: Two Common patterns for specifying and propagating, counting and occurence constraints', Artificial Intelligence, 173, pp. 1054 - 1078, http://dx.doi.org/10.1016/j.artint.2009.03.001

Bessiere C; Stergiou K; Walsh T, 2008, 'Domain filtering consistencies for non-binary constraints', Artificial Intelligence, 172, pp. 800 - 822, http://dx.doi.org/10.1016/j.artint.2007.10.016

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

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

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

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 - 105, 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

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

Vidler A; Walsh T, 2025, 'Decoding OTC Government Bond Market Liquidity: An ABM Model for Market Dynamics', in 2025 IEEE Symposium on Computational Intelligence for Financial Engineering and Economics Cifer 2025, http://dx.doi.org/10.1109/CiFer64978.2025.10975734

Aziz H; Chan H; Lederer P; Narang S; Walsh T, 2025, 'Distance Preservation Games', in Ijcai International Joint Conference on Artificial Intelligence, pp. 3735 - 3743, http://dx.doi.org/10.24963/ijcai.2025/415

Walsh T, 2025, 'Equitable Mechanism Design for Facility Location', in Ijcai International Joint Conference on Artificial Intelligence, pp. 275 - 283, http://dx.doi.org/10.24963/ijcai.2025/32

Aziz H; Chan H; Sha X; Walsh T; Xia L, 2025, 'Group Fairness in Multi-period Mobile Facility Location Problems', in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems Aamas, pp. 2414 - 2416

Kasyap H; Atmaca UI; Iezzi M; Walsh T; Maple C, 2024, 'Mitigating Bias: Model Pruning for Enhanced Model Fairness and Efficiency', in Frontiers in Artificial Intelligence and Applications, pp. 995 - 1002, http://dx.doi.org/10.3233/FAIA240589

Walsh T, 2024, 'Generative AI: why all the fuss?', in Proceedings of the Genetic and Evolutionary Computation Conference, ACM, pp. 3 - 3, 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

Back to profile page