Scheduled Maintenance Notice

Please note that Researcher Profiles will be undergoing scheduled maintenance on Wednesday 7th Oct, from 8:00am to 9:00am. During this time, the Researcher Profiles system will be unavailable. We apologise for any inconvenience and appreciate your understanding.

Select Publications

By Scientia Professor Toby Walsh

Journal articles

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

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

BASIN D; WALSH T, 1992, 'DIFFERENCE MATCHING', LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 607, pp. 295 - 309

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


Back to profile page

ORCID as entered in ROS

orcid_icon https://orcid.org/0000-0003-2998-8668

UNSW Sydney NSW 2052 Australia Telephone +61 2 93851000
Authorised by Deputy Vice-Chancellor (Research)
UNSW CRICOS Provider Code: 00098G ABN: 57 195 873 179

Join the conversation