20 found
Order:
  1.  86
    The effective and ethical development of artificial intelligence: An opportunity to improve our wellbeing.James Maclaurin, Toby Walsh, Neil Levy, Genevieve Bell, Fiona Wood, Anthony Elliott & Iven Mareels - 2019 - Melbourne VIC, Australia: Australian Council of Learned Academies.
    This project has been supported by the Australian Government through the Australian Research Council (project number CS170100008); the Department of Industry, Innovation and Science; and the Department of Prime Minister and Cabinet. ACOLA collaborates with the Australian Academy of Health and Medical Sciences and the New Zealand Royal Society Te Apārangi to deliver the interdisciplinary Horizon Scanning reports to government. The aims of the project which produced this report are: 1. Examine the transformative role that artificial intelligence may play in (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  2. A theory of abstraction.Fausto Giunchiglia & Toby Walsh - 1992 - Artificial Intelligence 57 (2-3):323-389.
  3. Easy problems are sometimes hard.Ian P. Gent & Toby Walsh - 1994 - Artificial Intelligence 70 (1-2):335-345.
  4.  2
    Fair assignment of indivisible objects under ordinal preferences.Haris Aziz, Serge Gaspers, Simon Mackenzie & Toby Walsh - 2015 - Artificial Intelligence 227 (C):71-92.
  5.  4
    Strategyproof peer selection using randomization, partitioning, and apportionment.Haris Aziz, Omer Lev, Nicholas Mattei, Jeffrey S. Rosenschein & Toby Walsh - 2019 - Artificial Intelligence 275 (C):295-309.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. The TSP phase transition.Ian P. Gent & Toby Walsh - 1996 - Artificial Intelligence 88 (1-2):349-358.
  7. H-index manipulation by merging articles: Models, theory, and experiments.René van Bevern, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge & Toby Walsh - 2016 - Artificial Intelligence 240 (C):19-35.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  2
    Fixing balanced knockout and double elimination tournaments.Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Paul Stursberg & Toby Walsh - 2018 - Artificial Intelligence 262 (C):1-14.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Propagation algorithms for lexicographic ordering constraints.Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel & Toby Walsh - 2006 - Artificial Intelligence 170 (10):803-834.
  10.  3
    Binary vs. non-binary constraints☆☆This paper includes results that first appeared in [1,4,23]. This research has been supported in part by the Canadian Government through their NSERC and IRIS programs, and by the EPSRC Advanced Research Fellowship program. [REVIEW]Fahiem Bacchus, Xinguang Chen, Peter van Beek & Toby Walsh - 2002 - Artificial Intelligence 140 (1-2):1-37.
  11.  1
    Elicitation strategies for soft constraint problems with missing preferences: Properties, algorithms and experimental studies.Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable & Toby Walsh - 2010 - Artificial Intelligence 174 (3-4):270-294.
  12.  2
    Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules.Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh & Lirong Xia - 2014 - Artificial Intelligence 217 (C):20-42.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Range and Roots: Two common patterns for specifying and propagating counting and occurrence constraints.Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan & Toby Walsh - 2009 - Artificial Intelligence 173 (11):1054-1078.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Filtering algorithms for the multiset ordering constraint.Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel & Toby Walsh - 2009 - Artificial Intelligence 173 (2):299-328.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  21
    Theory and Applications of Satisfiability Testing: 8th International Conference, Sat 2005, St Andrews, Uk, June 19-23, 2005: Proceedings. [REVIEW]Fahiem Bacchus & Toby Walsh (eds.) - 2005 - Springer.
    This book constitutes the refereed proceedings of the 8th International Conference on Theory and Applications of Satisfiability Testing, SAT 2005, held in St Andrews, Scotland in June 2005. The 26 revised full papers presented together with 16 revised short papers presented as posters during the technical programme were carefully selected from 73 submissions. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered including proof systems, search techniques, probabilistic analysis of algorithms and their properties, problem (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  16. Decomposable constraints☆☆Supported by EPSRC award GR/L/24014. The authors wish to thank other members of the APES research group.Ian Gent, Kostas Stergiou & Toby Walsh - 2000 - Artificial Intelligence 123 (1-2):133-156.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  1
    The satisfiability constraint gap.Ian P. Gent & Toby Walsh - 1996 - Artificial Intelligence 81 (1-2):59-80.
  18.  2
    Paul R. Cohen's Empirical Methods for Artificial Intelligence.Ian P. Gent & Toby Walsh - 1999 - Artificial Intelligence 113 (1-2):285-290.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  1
    Domain filtering consistencies for non-binary constraints.Christian Bessiere, Kostas Stergiou & Toby Walsh - 2008 - Artificial Intelligence 172 (6-7):800-822.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  1
    Will AI end privacy? How do we avoid an Orwellian future.Toby Walsh - forthcoming - AI and Society:1-2.