By Scientia Professor Toby Walsh

Conference Papers

Bessiere C; Hebrard E; Ménard MA; Quimper CG; Walsh T, 2014, 'Buffered resource constraint: Algorithms and complexity', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 318 - 333, http://dx.doi.org/10.1007/978-3-319-07046-9_23

Bessiere C; Coletta R; Hebrard E; Katsirelos G; Lazaar N; Narodytska N; Quimper CG; Walsh T, 2014, 'Constraint acquisition via partial queries', in Dixiemes Journees Francophones de Programmation par Contraintes, JFPC 2014, pp. 275 - 282

Narodytska N; Loreggia A; Rossi F; Venable KB; Walsh T, 2014, 'Controlling elections by replacing candidates: Theoretical and experimental results', in AAAI Workshop - Technical Report, pp. 61 - 66

Aziz H; Gaspers S; Mackenzie S; Walsh T, 2014, 'Fair assignment of indivisible objects under ordinal preferences', in Bazzan ALC; Huhns MN; Lomuscio A; Scerri P (eds.), 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014, Elsevier, pp. 1305 - 1312, http://dx.doi.org/10.1016/j.artint.2015.06.002

Aziz H; Gaspers S; Mackenzie S; Mattei N; Stursberg P; Walsh T, 2014, 'Fixing a balanced knockout tournament', in Proceedings of the National Conference on Artificial Intelligence, pp. 552 - 558

Aziz H; Walsh T, 2014, 'Justified representation in Approval-Based committee voting', in AAAI Workshop - Technical Report, pp. 20 - 25

Gaspers S; Naroditskiy V; Narodytska N; Walsh T, 2014, 'Possible and necessary winner problem in social polls', in 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014, pp. 613 - 620

Bessiere C; Hebrard E; Katsirelos G; Kiziltan Z; Narodytska N; Walsh T, 2014, 'Reasoning about constraint models', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 795 - 808, http://dx.doi.org/10.1007/978-3-319-13560-1_63

Artigues C; Hebrard E; Mayer-Eichberger V; Siala M; Walsh T, 2014, 'SAT and hybrid models of the car sequencing problem', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 268 - 283, http://dx.doi.org/10.1007/978-3-319-07046-9_19

Bessiere C; Hebrard E; Katsirelos G; Kiziltan Z; Picard-Cantin E; Quimper CG; Walsh T, 2014, 'The balance constraint family', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 174 - 189, http://dx.doi.org/10.1007/978-3-319-10428-7_15

Narodytska N; Walsh T, 2014, 'The computational impact of partial votes on strategic voting', in Frontiers in Artificial Intelligence and Applications, pp. 657 - 662, http://dx.doi.org/10.3233/978-1-61499-419-0-657

Walsh T, 2014, 'The PeerRank method for peer assessment', in Frontiers in Artificial Intelligence and Applications, pp. 909 - 914, http://dx.doi.org/10.3233/978-1-61499-419-0-909

Gaspers S; Naroditskiy V; Narodytska N; Walsh T, 2014, 'Possible and necessary winner problem in social polls.', in Bazzan ALC; Huhns MN; Lomuscio A; Scerri P (eds.), AAMAS, IFAAMAS/ACM, pp. 613 - 620, http://dl.acm.org/citation.cfm?id=2615731

Chircop PA; Surendonk TJ ; van den Briel MHL; Walsh T, 2013, 'A column generation approach for the scheduling of patrol boats to provide complete patrol coverage', in Piantadosi J; Anderssen RS; Boland J (eds.), Proceedings 20th International Congress on Modelling and Simulation (MODSIM2013), Modelling and Simulation Society of Australia and New Zealand, Adelaide, Australia, pp. 1110 - 1116, presented at 20th International Congress on Modelling and Simulation, Adelaide, Australia, 01 December 2013 - 06 December 2013, http://www.mssanz.org.au/modsim2013/

Bessiere C; Kiziltan Z; Rappini A; Walsh T, 2013, 'A framework for combining set variable representations', in Proceedings of the 10th Symposium on Abstraction, Reformulation, and Approximation, SARA 2013, pp. 25 - 33

Narodytska N; Walsh T, 2013, 'An adaptive model restarts heuristic', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 369 - 377, http://dx.doi.org/10.1007/978-3-642-38171-3_28

Bessiere C; Coletta R; Hebrard E; Katsirelos G; Lazaar N; Narodytska N; Quimper CG; Walsh T, 2013, 'Constraint acquisition via partial queries', in IJCAI International Joint Conference on Artificial Intelligence, pp. 475 - 481

Chu G; Gaspers S; Narodytska N; Schutt A; Walsh T, 2013, 'On the complexity of global scheduling constraints under structural restrictions', in IJCAI International Joint Conference on Artificial Intelligence, pp. 503 - 509

Kalinowski T; Narodytska N; Walsh T; Xia L, 2013, 'Strategic behavior when allocating indivisible goods sequentially', in Proceedings of the 27th AAAI Conference on Artificial Intelligence, AAAI 2013, pp. 452 - 458

Narodytska N; Petit T; Siala M; Walsh T, 2013, 'Three generalizations of the FOCUS constraint', in IJCAI International Joint Conference on Artificial Intelligence, pp. 630 - 636

Narodytska N; Walsh T, 2013, 'Breaking symmetry with different orderings', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 545 - 561, http://dx.doi.org/10.1007/978-3-642-40627-0_41

Kalinowski T; Narodytska N; Walsh T, 2013, 'A social welfare optimal sequential allocation procedure', in IJCAI International Joint Conference on Artificial Intelligence, pp. 227 - 233, presented at Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, 03 August 2013 - 09 April 2013, http://dblp.uni-trier.de/db/conf/ijcai/ijcai2013.html#KalinowskiNW13

Bessiere C; Carbonnel C; Hebrard E; Katsirelos G; Walsh T, 2013, 'Detecting and exploiting subproblem tractability', in Rossi F (ed.), Proceedings of the 23rd International Joint Conference on Artificial Intelligence, AAAI Press/International Joint Conferences on Artificial Intelligence, Beijing, China, pp. 468 - 474, presented at 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China, 03 August 2013 - 09 August 2013, http://ijcai.org/papers13/Papers/IJCAI13-077.pdf

Aziz H; Gaspers S; Mattei N; Narodytska N; Walsh T, 2013, 'Ties matter: Complexity of manipulation when tie-breaking with a random vote', in desJardins, M; Littman M (ed.), Proceedings of the 27th AAAI Conference on Artificial Intelligence, AAAI 2013, Bellevue, Washington, USA, pp. 74 - 80, presented at 27th AAAI Conference on Artificial Intelligence, AAAI 2013, Bellevue, Washington, USA, 14 July 2013 - 18 July 2013, http://dblp.uni-trier.de/db/conf/aaai/aaai2013.html#AzizGMNW13

Narodytska N; Walsh T, 2013, 'Manipulating Two Stage Voting Rules', in Gini M; Shehory O; Ito T; Jonker C (eds.), 12th International Conference on Autonomous Agents and Multiagent System (AAMAS 2013), Saint Paul, Minnesota, USA, pp. 423 - 430, presented at 12th International Conference on Autonomous Agents and Multiagent System (AAMAS 2013), Saint Paul, Minnesota, USA, 06 May 2013 - 10 May 2013

Aleksandrov M; Barahona P; Kilby P; Walsh T, 2013, 'Heuristics and policies for online pickup and delivery problems', in AAAI Workshop - Technical Report, pp. 2 - 7

Mattei N; Walsh T, 2013, 'PrefLib: A library for preferences http://www.preflib.org', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 259 - 270, http://dx.doi.org/10.1007/978-3-642-41575-3_20

Grandi U; Loreggia A; Rossi F; Venable KB; Walsh T, 2013, 'Restricted manipulation in iterative voting: Condorcet efficiency and borda score', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 181 - 192, http://dx.doi.org/10.1007/978-3-642-41575-3_14

Gaspers S; Kalinowski T; Narodytska N; Walsh T, 2013, 'Coalitional manipulation for Schulze's rule.', in Gini ML; Shehory O; Ito T; Jonker CM (eds.), AAMAS, IFAAMAS, pp. 431 - 438, http://dl.acm.org/citation.cfm?id=2484920

Salvagnin D; Walsh T, 2012, 'A hybrid MIP/CP approach for multi-activity shift scheduling', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 633 - 646, http://dx.doi.org/10.1007/978-3-642-33558-7_46

Harabor D; Kilby P; Walsh T; Antsfeld L, 2012, 'TRANSIT Routing on Video Game Maps', in Proceedings of the Eighth Artificial Intelligence and Interactive Digital Entertainment International Conference, AAAI Press, Menlo Park, California, pp. 2 - 7, presented at The Eighth Annual AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, Stanford University, Palo Alto, California, 08 October 2012 - 12 October 2012, http://www.aaai.org/ocs/index.php/AIIDE/AIIDE12/paper/view/5459

Drescher C; Walsh T, 2012, 'Answer Set Solving with Lazy Nogood Generation', in Technical Communications of the 28th International Conference on Logic Programming (ICLP'12), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, pp. 188 - 200, presented at 28th International Conference on Logic Programming, Budapest, Hungary, 04 September 2012 - 08 September 2012, http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.188

Davies J; Narodytska N; Walsh T, 2012, 'Eliminating the Weakest Link: Making Manipulation Intractable?', in Proceedings of the 26th AAAI Conference on Artificial Intelligence, AAAI 2012, pp. 1333 - 1339

Walsh T; Xia L, 2012, 'Lot-based voting rules', in 11th International Conference on Autonomous Agents and Multiagent Systems 2012, AAMAS 2012: Innovative Applications Track, pp. 344 - 351

Walsh T, 2012, 'Symmetry Breaking Constraints: Recent Results', in Proceedings of the 26th AAAI Conference on Artificial Intelligence, AAAI 2012, pp. 2192 - 2198

Brafman R; Pilotto E; Rossi F; Salvagnin D; Venable KB; Walsh T, 2011, 'The next best solution', in Proceedings of the National Conference on Artificial Intelligence, pp. 1537 - 1540

Walsh T, 2011, 'Online Cake Cutting', in Algorithmic Decision Theory. Proceedings Second International Conference, ADT 2011, Springer Verlag, Berlin, Germany, pp. 292 - 305, presented at Algorithmic Decision Theory. Second International Conference, ADT 2011, Piscataway, NJ, USA, 26 October 2011 - 28 October 2011, http://dx.doi.org/10.1007/978-3-642-24873-3_22

Drescher C; Eiter T; Fink M; Krennwallner T; Walsh T, 2011, 'Symmetry Breaking for Distributed Multi-Context Systems', in Delgrande JP; Faber W (ed.), Logic Programming and Nonmonotonic Reasoning, Springer, Corunna, pp. 26 - 39, presented at 12th International Conference on Logic Programming and Nonmonotonic Reasoning, Corunna, 15 September 2011 - 19 September 2011, http://dx.doi.org/10.1007/978-3-642-20895-9

Law YC; Lee JHM; Woo MHC; Walsh T, 2011, 'A Comparison of Lex Bounds for Multiset Variables in Constraint Programming', in Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011, pp. 61 - 67

Davies J; Katsirelos G; Narodytska N; Walsh T, 2011, 'Complexity of and Algorithms for Borda Manipulation', in Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011, pp. 657 - 662

Drescher C; Walsh T, 2011, 'Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation', in Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011, pp. 1772 - 1773

Conitzer V; Walsh T; Xia L, 2011, 'Dominating Manipulations in Voting with Partial Information', in Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011, pp. 638 - 643

Narodytska N; Walsh T; Xia L, 2011, 'Manipulation of Nanson's and Baldwin's Rules', in Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011, pp. 713 - 718

Brafman R; Pilotto E; Rossi F; Salvagnin D; Venable KB; Walsh T, 2011, 'The Next Best Solution', in Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011, pp. 1537 - 1540

Law YC; Lee JHM; Woo MHC; Walsh T, 2011, 'A comparison of lex bounds for multiset variables in constraint programming', in AAAI-11 / IAAI-11 - Proceedings of the 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AI Access Foundation, El Segundo, CA, United States, pp. 61 - 67, presented at 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11, San Francisco, CA, United States, 07 August 2011 - 11 August 2011

Davis J; Katsirelos G; Narodytska N; Walsh T, 2011, 'Complexity of and Algorithms for Borda Manipulation', in 25th AAAI conference on artificial intelligence, AAAI-11, AAAI, San Francisco USA, presented at 25th AAAI conference on Artificial Intelligence, AAAI-11, San Francisco USA, 07 August 2011 - 11 August 2011, http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3613

Drescher C; Walsh T, 2011, 'Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation', in AAAI-11 / IAAI-11 - Proceedings of the 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AI Access Foundation, El Segundo, CA, United States, pp. 1772 - 1773, presented at 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11, San Francisco, CA, United States, 07 August 2011 - 11 August 2011

Conitzer V; Walsh T; Xia L, 2011, 'Dominating manipulations in voting with partial information', in AAAI-11 / IAAI-11 - Proceedings of the 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AI Access Foundation, El Segundo, CA, United States, pp. 638 - 643, presented at 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11, San Francisco, CA, United States, 07 August 2011 - 11 August 2011

Narodytska N; Walsh T; Xia L, 2011, 'Manipulation of Nanson's and Baldwin's Rules', in 25th AAAI conference on artificial intelligence, AAAI-11, AAAI, San Francisco USA, presented at 25th AAAI conference on Artificial Intelligence, AAAI-11, San Francisco USA, 07 August 2011 - 11 August 2011, http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3612

Bessiere C; Katsirelos G; Narodytska N; Quimper C; Walsh T, 2011, 'Propagating Conjunctions of AllDifferent Constraints.', in 24th AAAI conference on artificial intelligence, AAAI-10, AAAI Press, San Francisco USA, pp. 27 - 32, presented at 25th AAAI conference on Artificial Intelligence, AAAI-11, San Francisco USA, 07 August 2011 - 11 August 2011, http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1815

Back to profile page