Turing's Red Flag (pdf).
Toby Walsh.
Communications of the ACM, forthcoming, 2016.
Two Desirable Fairness Concepts for Allocation of Indivisible Objects (pdf).
Haris Aziz, Serge Gaspers, Simon Mackenzie and
Toby Walsh.
ACM SIGecom Exchanges, 14(2): 16-21, 2016.
Fair assignment of indivisible objects under ordinal preferences (pdf).
Haris Aziz, Serge Gaspers, Simon Mackenzie, Toby Walsh.
Artificial Intelligence, 227: 71-92, 2015.
Candy Crush's Puzzling Mathematics (pdf).
Toby Walsh.
American Scientist, 102(6): 40-43 , 2014.
Complexity of and Algorithms for the Manipulation of Borda, Nanson's
and Baldwin's Voting Rules (pdf).
Jessica Davies, George Katsirelos,
Nina Narodytska, Toby Walsh and Lirong Xia.
Artificial Intelligence, 217, 20-42, 2014.
Multiset variable representations and constraint propagation
(pdf).
Y.C. Law, J.M.H Lee, T. Walsh and M.H.C. Woo.
Constraints, 18 (3), 307-343, 2013.
AI @ NICA
(pdf).
N. Barnes, P. Baumgartner, T. Caetano, H. Durrant-Whyte, G. Klein, P. Sanderson, A. Sattar, P. Stuckey, S. Thiebaux, P. Van Hentenryck, and T. Walsh.
AI Magazine, 33 (3), 115-127, 2012.
Winner determination in voting trees with incomplete preferences and weighted votes
(pdf).
Jerome Lang, Maria Silvia Pini, Francesca Rossi, Domenico
Salvagnin, K. Brent Venable
and Toby Walsh.
Autonomous Agents and Multi-Agent Systems, 25 (1), 130-157, 2012.
Is computational complexity a barrier to manipulation?
(pdf).
Toby Walsh.
Annals of Mathematics and Artificial Intelligence, 62(1-2), 7-26, 2011.
New algorithms for max restricted path consistency (pdf).
Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou, and Toby Walsh.
Constraints, 16(4), 372-406, 2011.
Where Are the Hard Manipulation Problems? (pdf).
Toby Walsh.
Journal of Artificial Intelligence Research, 42, 1-39, 2011.
The weighted GRAMMAR constraint (pdf).
George Katsirelos, Nina Narodytska
and Toby Walsh.
Annals of Operations Research, 184, 179-207, 2011.
Symmetry-breaking Answer Set Solving (pdf).
Christian Drescher, Oana Tifrea
and Toby Walsh.
AI Communications, 24 (2), 177-194, 2011.
Incompleteness and incomparability in preference aggregation: Complexity results
(pdf).
Maria Silvia Pini, Francesca Rossi, K. Brent Venable
and Toby Walsh.
Artificial Intelligence, 175 (7-8), 1272-1289, 2011.
Manipulation complexity and gender neutrality in stable marriage procedures
(pdf).
Maria Silvia Pini, Francesca Rossi, K. Brent Venable
and Toby Walsh.
Autonomous Agents and Multi-Agent Systems, 22 (1), 183-199, January 2011.
A Translational Approach to
Constraint Answer Set Solving (pdf).
Christian Drescher
and Toby Walsh.
Theory and Practice of Logic Programming, 10 (4-6), 465-480, July 2010.
Elicitation Strategies for Soft Constraint Problems with Missing Preferences: Properties, Algorithms and Experimental Studies (pdf).
Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable
and Toby Walsh.
Artificial Intelligence, 174 (3-4), 270-294, March 2010.
Range and Roots: Two common patterns for specifying and propagating counting and occurrence constraints
(pdf).
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan
and Toby Walsh.
Artificial Intelligence, 173 (11), 299-328, July 2009.
Aggregating partially ordered preferences
(pdf
legal ps
letter ps).
Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable
and Toby Walsh.
Journal of Logic and Computation, 19 (3): 475-502, June 2009.
Filtering algorithms for the multiset ordering constraint
(pdf
legal ps
letter ps).
Alan Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel
and Toby Walsh.
Artificial Intelligence, 173 (2), 299-328, 2009.
Domain filtering consistencies for non-binary constraints
(pdf
legal ps
letter ps).
Christian Bessiere, Kostas Stergiou
and Toby Walsh.
Artificial Intelligence, 172 (6-7), 800-822, 2008.
Preferences in Constraint Satisfaction and Optimization
(pdf
legal ps
letter ps).
Francesca Rossi, Brent Venable and Toby Walsh.
AI Magazine, 29 (4), 58-68, 2008.
The Complexity of Global Constraints
(pdf
legal ps
letter ps).
Christian Bessiere, Emmanuel Hebrard,
Brahim Hnich, and Toby Walsh.
Constraints, 12 (2), 239-259, 2007.
Representing and Reasoning with Preferences
(pdf
legal ps
letter ps).
Toby Walsh.
AI Magazine, 28 (4), 59-69, 2007.
Filtering algorithms for the NVALUE constraint
(pdf
legal ps
letter ps).
Christian Bessiere, Emmanuel Hebrard,
Brahim Hnich, Zeynep Kiziltan, and Toby Walsh.
Constraints, 11 (4), 271-293, 2006.
Note that Figure 4 in the printed journal version
contains an arrow which is accidently reversed.
This is corrected in the versions here.
TETRAVEX is NP-complete
(pdf
legal ps
letter ps).
Yasuhiko Takenaga and Toby Walsh.
Information Processing Letters, 99 (5), 171-174, 2006.
Propagation algorithms for lexicographic ordering constraint.
(pdf
legal ps
letter ps).
Alan Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel and Toby Walsh.
Artificial Intelligence, 170 (10), 803-908, 2006.
Hard and soft constraints for reasoning about
qualitative conditional preferences.
(pdf
legal ps
letter ps).
Carmel Domshlak, Steve Prestwich, Francesca Rossi, Kristen Brent
Venable and Toby Walsh.
Journal of Heuristics, 12 (4-5), 263-285, 2006.
Stochastic Constraint Programming: A Scenario-Based Approach.
(pdf
legal ps
letter ps).
S. Armagan Tarim, Suresh Manandhar, and Toby Walsh.
Constraints, 11 (1), 53-81, 2006.
Aggregating preferences cannot be fair.
(pdf
legal ps
letter ps).
Francesca Rossi, Kristen Brent Venable, Toby Walsh.
Intelligenza Artificiale, 2 (1), 30-38, 2005.
Hybrid Modelling for Robust Solving. (pdf
legal ps
letter ps).
Brahim Hnich, Zeynep Kiziltan, Ian Miguel and Toby Walsh.
Annals of Operations Research, 130 (1-4), 19-39, 2004.
Dual Modelling of Permutation and Injection Problems. (pdf
legal ps
letter ps).
Brahim Hnich, Barabara Smith and Toby Walsh.
Journal of Artificial Intelligence Research, 21, 357-391, 2004.
Binary vs Non-Binary Constraints.
(pdf
legal ps
letter ps).
Fahiem Bacchus, Xinguang Chen, Peter van Beek
and Toby Walsh. Artificial Intelligence,
140 (1-2), 1-37, 2002.
Random Constraint Satisfaction: Flaws and Structure.
(pdf
legal ps
letter ps).
Ian Gent, Ewan MacIntyre, Patrick Prosser, Barbara Smith and Toby Walsh.
Constraints,
6 (4), 345-372, 2001.
Decomposable Constraints
(pdf
legal ps
letter ps).
Ian Gent, Kostas Stergiou and Toby Walsh. Artificial Intelligence,
123 (1-2), 133-156, 2000.
On the Notion of Interestingness in Automated Mathematical Discovery.
Simon Colton, Alan Bundy and Toby Walsh. International Journal of Human-Computer Studies,
53 (3), 351-375, 2000.
Analysis of Heuristics for Number Partitioning
.
Ian Gent and Toby Walsh. Computational Intelligence,
14 (3), 430-451, 1998.
Asymptotic and Finite Size Parameters for Phase
Transitions: Hamiltonian Circuit as a Case Study.
Jeremy Frank, Ian Gent, and Toby Walsh.
Information Processing Letters, 65 (5), 241-245, 1998.
Abstract proof checking: an example motivated
by an incompleteness theorem.
Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita
and Toby Walsh.
Journal of Automated Reasoning, 19 (3), 319-346, 1997.
A Calculus for and Termination
of Rippling.
David Basin and Toby Walsh.
Journal of Automated Reasoning. 16 (1-2), 147-180, 1996.
Calculating Criticalities.
Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani
and Toby Walsh.
Artificial Intelligence, 88 (1-2), 39-67, 1996.
The TSP Phase Transition.
Ian Gent and Toby Walsh.
Artificial Intelligence, 88 (1-2), 349-358, 1996.
The Satisfiability Constraint Gap.
Ian Gent and Toby Walsh.
Artificial Intelligence, 81 (1-2), 1996.
A Divergence Critic for Inductive Proof.
Toby Walsh.
Journal of Artificial Intelligence Research, 4, 209-235, 1996.
Easy Problems are Sometimes Hard.
Ian Gent and Toby Walsh.
Artificial Intelligence, 70, 335-345, 1994.
Analogical Proof Planning.
Toby Walsh.
Chapter in T. Dartnall (editor), Artificial Intelligence and
Creativity, Kluwer, 1994.
An Empirical Analysis of Search in GSAT.
Ian Gent and Toby Walsh,
Journal of Artificial Intelligence Research,
Vol. 1, September 1993.
The Inevitability of Inconsistent Abstract
Spaces.
Fausto Giunchiglia and Toby Walsh
Journal of Automated Reasoning, 11 (1), 23-42, 1993.
A Theory of Abstraction.
Fausto Giunchiglia and Toby Walsh
Artificial Intelligence,
56 (2-3), pages 323-390, 1992.