home
personal
research
publications
activities
teaching
people

 

Books | Journals | Conferences | Workshops | Reports |

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. Thie©baux, 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.