Dr Abdallah Saffidine

Cazenave T; Winands M; Saffidine A, 2018, Preface

Saffidine A, 2013, Solving Games and All That, Cazenave T, (ed.)

Cazenave T; Saffidine A; Sturtevant N, 2019, 'Preface', in , pp. v - vii, http://dx.doi.org/10.4000/books.pcjb.316

Bonnet É; Saffidine A, 2014, 'On the Complexity of General Game Playing', in Communications in Computer and Information Science, Springer International Publishing, pp. 90 - 104, http://dx.doi.org/10.1007/978-3-319-14923-3_7

Saffidine A; Cazenave T, 2014, 'Developments on Product Propagation', in Computers and Games, Springer International Publishing, pp. 100 - 109, http://dx.doi.org/10.1007/978-3-319-09165-5_9

Buffet O; Dibangoye J; Saffidine A; Thomas V, 2021, 'Heuristic Search Value Iteration for Zero-Sum Stochastic Games', IEEE Transactions on Games, vol. 13, pp. 239 - 248, http://dx.doi.org/10.1109/TG.2020.3005214

Shahar T; Shekhar S; Atzmon D; Saffidine A; Juba B; Stern R, 2021, 'Safe multi-agent pathfinding with time uncertainty', Journal of Artificial Intelligence Research, vol. 70, pp. 923 - 954, http://dx.doi.org/10.1613/JAIR.1.12397

Stern R; Goldenberg M; Saffidine A; Felner A, 2021, 'Heuristic search for one-to-many shortest path queries', Annals of Mathematics and Artificial Intelligence, vol. 89, pp. 1175 - 1214, http://dx.doi.org/10.1007/s10472-021-09775-x

Cazenave T; van den Herik J; Saffidine A; Wu I-C, 2020, 'The ACG 2019 Conference', ICGA JOURNAL, vol. 42, pp. 291 - 294, http://dx.doi.org/10.3233/ICG-200171

Zanuttini B; Lang J; Saffidine A; Schwarzentruber F, 2020, 'Knowledge-based programs as succinct policies for partially observable domains', Artificial Intelligence, vol. 288, http://dx.doi.org/10.1016/j.artint.2020.103365

Blair A; Saffidine A, 2019, 'AI surpasses humans at six-player poker', Science, vol. 365, pp. 864 - 865, http://dx.doi.org/10.1126/science.aay7774

Browne C; Soemers DJNJ; Piette É; Stephenson M; Conrad M; Crist W; Depaulis T; Duggan E; Horn F; Kelk S; Lucas SM; Neto JP; Parlett D; Saffidine A; Schädler U; Silva JN; Voogt AD; Winands MHM, 2019, 'Foundations of Digital Archæoludology', , http://arxiv.org/abs/1905.13516v1

Cazenave T; Saffidine A; Sturtevant N, 2019, 'Computer Games Workshop at IJCAI 2018', ICGA JOURNAL, vol. 41, pp. 108 - 109, http://dx.doi.org/10.3233/ICG-190105

Couceiro M; Mercuriali P; Péchoux R; Saffidine A, 2019, 'On the complexity of minimizing median normal forms of monotone Boolean functions and lattice polynomials', Journal of Multiple-Valued Logic and Soft Computing, vol. 33, pp. 197 - 218

Saffidine A; Cong SL; Pinchinat S; Schwarzentruber F, 2019, 'The Packed Interval Covering Problem is NP-complete', , http://arxiv.org/abs/1906.03676v1

Bakhtiari Z; Ditmarsch HV; Saffidine A, 2018, 'How does uncertainty about other voters determine a strategic vote?', Studies in Logic 12 (3): 32-56, 2019 (ISSN 1674-3202 || CN 44-1649/C), http://arxiv.org/abs/1809.10489v2

Baumeister D; Bouveret S; Lang J; Nguyen NT; Nguyen TT; Rothe J; Saffidine A, 2017, 'Positional scoring-based allocation of indivisible goods', Autonomous Agents and Multi-Agent Systems, vol. 31, pp. 628 - 655, http://dx.doi.org/10.1007/s10458-016-9340-x

Bonnet É; Jamain F; Saffidine A, 2016, 'On the complexity of connection games', Theoretical Computer Science, vol. 644, pp. 2 - 28, http://dx.doi.org/10.1016/j.tcs.2016.06.033

Bonnet É; Jamain F; Saffidine A, 2016, 'On the complexity of connection games.', Theor. Comput. Sci., vol. 644, pp. 2 - 28, http://dx.doi.org/10.1016/j.tcs.2016.06.033

Cauwet M-L; Teytaud O; Liang H-M; Yen S-J; Lin H-H; Wu I-C; Cazenave T; Saffidine A, 2015, 'Depth, balancing, and limits of the Elo model.', CoRR, vol. abs/1511.02006

Elkind E; Lang J; Saffidine A, 2015, 'Condorcet winning sets', Social Choice and Welfare, vol. 44, pp. 493 - 517, http://dx.doi.org/10.1007/s00355-014-0853-4

Saffidine A, 2014, 'The game description language is Turing complete', IEEE Transactions on Computational Intelligence and AI in Games, vol. 6, pp. 320 - 324, http://dx.doi.org/10.1109/TCIAIG.2014.2354417

Van Ditmarsch H; Lang J; Saffidine A, 2013, 'Strategic voting and the logic of knowledge', Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2013, vol. abs/1310.6436, pp. 196 - 205

Saffidine A; Cazenave T; Méhat J, 2012, 'UCD: Upper confidence bound for rooted directed acyclic graphs', Knowledge-Based Systems, vol. 34, pp. 26 - 33, http://dx.doi.org/10.1016/j.knosys.2011.11.014

Saffidine A, 2011, 'MOCCOS wins the Phantom-Go tournament', ICGA Journal, vol. 34, pp. 35 - 37, http://dx.doi.org/10.3233/ICG-2011-34111

Cazenave T; Saffidine A, 2009, 'Utilisation de la recherche arborescente Monte-Carlo au Hex', Revue d'Intelligence Artificielle, vol. 23, pp. 183 - 202, http://dx.doi.org/10.3166/RIA.23.183-202

Buffet O; Dibangoye J; Delage A; Saffidine A; Thomas V, 2020, On Bellman's Optimality Principle for zs-POSGs, http://dx.doi.org, http://arxiv.org/abs/2006.16395v1

Barrot N; Lemeilleur S; Paget N; Saffidine A, 2020, 'Peer reviewing in participatory guarantee systems: Modelisation and algorithmic aspects', in Seghrouchni AEF; Sukthankar G; An B; Yorke-Smith N (eds.), Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, International Foundation for Autonomous Agents and Multiagent Systems, pp. 114 - 122, https://dl.acm.org/doi/proceedings/10.5555/3398761

Buffet O; Dibangoye J; Delage A; Saffidine A; Thomas V, 2020, On Bellman's Optimality Principle for zs-POSGs, http://dx.doi.org/10.48550/arxiv.2006.16395

Cazenave T; Herik HJVD; Saffidine A; Wu I-C, (eds.), 2020, 'Advances in Computer Games - 16th International Conference, ACG 2019, Macao, China, August 11-13, 2019, Revised Selected Papers', Springer, Vol. 12516

Mayer-Eichberger V; Saffidine A, 2020, 'Positional Games and QBF: The Corrective Encoding', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 447 - 463, http://dx.doi.org/10.1007/978-3-030-51825-7_31

Mayer-Eichberger V; Saffidine A, 2020, Positional Games and QBF: The Corrective Encoding, http://dx.doi.org/10.48550/arxiv.2005.05098

Saffidine A; Cong SL; Pinchinat S; Schwarzentruber F, 2019, The Packed Interval Covering Problem is NP-complete, http://dx.doi.org/10.48550/arxiv.1906.03676

2018, 'Computer Games', Springer International Publishing, http://dx.doi.org/10.1007/978-3-319-75931-9

Atzmon D; Stern R; Saffidine A, 2018, 'Bounded suboptimal game tree search', in Bulitko V; Storandt S (ed.), Proceedings of the 11th International Symposium on Combinatorial Search, SoCS 2018, AAAI Press, pp. 10 - 18, http://www.aaai.org/Library/SOCS/socs18contents.php

Buffet O; Dibangoye JS; Saffidine A; Thomas V, 2018, 'Recherche heuristique pour jeux stochastiques (à somme nulle).', in Buffet O; Dutech A; Thomas V (eds.), JFPDA, HAL, https://hal.inria.fr/JFPDA2018/

Cazenave T; Winands MHM; Saffidine A, (eds.), 2018, 'Computer Games - 6th Workshop, CGW 2017, Held in Conjunction with the 26th International Conference on Artificial Intelligence, IJCAI 2017, Melbourne, VIC, Australia, August, 20, 2017, Revised Selected Papers', Springer, Vol. 818

Chen Y; Saffidine A; Schwering C, 2018, 'The Complexity of Limited Belief Reasoning – The Quantifier-Free Case', in Lang J (ed.), Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI), International Joint Conferences on Artificial Intelligence, Stockholm, pp. 1774 - 1780, presented at Twenty-Seventh International Joint Conference on Artificial Intelligence, Stockholm, 13 July 2018 - 19 July 2018, http://dx.doi.org/10.24963/ijcai.2018/245

Mattei N; Saffidine A; Walsh T, 2018, 'Fairness in Deceased Organ Matching', in AIES 2018 - Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, pp. 236 - 242, http://dx.doi.org/10.1145/3278721.3278749

Saffidine A; Schwarzentruber F; Zanuttini B, 2018, 'Knowledge-based policies for qualitative decentralized POMDPs', in 32nd AAAI Conference on Artificial Intelligence, AAAI 2018, pp. 6270 - 6277

Saffidine A; Wilczynski A, 2018, 'Constrained swap dynamics over a social network in distributed resource reallocation', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 213 - 225, http://dx.doi.org/10.1007/978-3-319-99660-8_19

Sturtevant NR; Saffidine A, 2018, 'A Study of Forward Versus Backwards Endgame Solvers with Results in Chinese Checkers', in Communications in Computer and Information Science, pp. 121 - 136, http://dx.doi.org/10.1007/978-3-319-75931-9_9

Bonnet E; Gaspers S; Lambilliotte A; Rümmele S; Saffidine A, 2017, 'The Parameterized Complexity of Positional Games', in Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Warsaw, Poland, pp. 90:1 - 90:14, presented at ICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming, Warsaw, Poland, 10 July 2017 - 14 July 2017, http://dx.doi.org/10.4230/LIPIcs.ICALP.2017.90

Bonnet É; Gaspers S; Lambilliotte A; Rümmele S; Saffidine A, 2017, 'The Parameterized Complexity of Positional Games.', in Chatzigiannakis I; Indyk P; Kuhn F; Muscholl A (eds.), ICALP, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 90:1 - 90:1, http://www.dagstuhl.de/dagpub/978-3-95977-041-5

Bonnet É; Gaspers S; Lambilliotte A; Rümmele S; Saffidine A, 2017, The Parameterized Complexity of Positional Games, http://dx.doi.org/10.48550/arxiv.1704.08536

Couceiro M; Mercuriali P; Péchoux R; Saffidine A, 2017, 'Median Based Calculus for Lattice Polynomials and Monotone Boolean Functions', in Proceedings of The International Symposium on Multiple-Valued Logic, pp. 37 - 42, http://dx.doi.org/10.1109/ISMVL.2017.18

Gaspers S; Rümmele S; Saffidine A; Tran K, 2017, 'Minesweeper with limited moves', in McIlraith SA; Weinberger KQ (eds.), 32nd AAAI Conference on Artificial Intelligence, AAAI 2018, Association for the Advancement of Artificial Intelligence, New Orleans, Louisiana, USA, pp. 860 - 867, presented at Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA, 02 February 2017 - 07 February 2017, https://www.aaai.org/ocs/index.php/AAAI/AAAI18/schedConf/presentations

Mattei N; Saffidine A; Walsh T, 2017, 'Mechanisms for online Organ matching', in IJCAI International Joint Conference on Artificial Intelligence, pp. 345 - 351, http://dx.doi.org/10.24963/ijcai.2017/49

Cazenave T; Saffidine A; Schofield M; Thielscher M, 2016, 'Nested monte carlo search for two-player games', in 30th AAAI Conference on Artificial Intelligence, AAAI 2016, pp. 687 - 693

Bonnet É; Jamain F; Saffidine A, 2015, 'Draws, zugzwangs, and PSPACE-completeness in the slither connection game', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 160 - 176, http://dx.doi.org/10.1007/978-3-319-27992-3_15

Cauwet M-L; Teytaud O; Liang H-M; Yen S-J; Lin H-H; Wu I-C; Cazenave T; Saffidine A, 2015, Depth, balancing, and limits of the Elo model, http://dx.doi.org/10.48550/arxiv.1511.02006

Cauwet ML; Teytaud O; Cazenave T; Saffidine A; Liang HM; Yen SJ; Lin HH; Wu IC, 2015, 'Depth, balancing, and limits of the Elo model', in 2015 IEEE Conference on Computational Intelligence and Games, CIG 2015 - Proceedings, pp. 376 - 382, http://dx.doi.org/10.1109/CIG.2015.7317964

López CL; Saffidine A, 2015, 'A preliminary selection of problems in heuristic search', in Proceedings of the 8th Annual Symposium on Combinatorial Search, SoCS 2015, pp. 186 - 190

Saffidine A; Teytaud O; Yen SJ, 2015, 'Go complexities', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 76 - 88, http://dx.doi.org/10.1007/978-3-319-27992-3_8

Bonnet E; Jamain F; Saffidine A, 2014, 'Havannah and TwixT are PSPACE-complete', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 175 - 186, http://dx.doi.org/10.1007/978-3-319-09165-5-15

Bonnet E; Jamain F; Saffidine A, 2014, 'Havannah and TwixT are PSPACE-complete', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 175 - 186, http://dx.doi.org/10.1007/978-3-319-09165-5_15

Bonnet É; Saffidine A, 2014, 'On the complexity of general game playing', in Communications in Computer and Information Science, pp. 90 - 104, http://dx.doi.org/10.1007/978-3-319-14923-3

Cerexhe T; Rajaratnam D; Saffidine A; Thielscher M, 2014, 'A Systematic Solution to the (De-)Composition Problem in General Game Playing', in Schaub T (ed.), ECAI 2014 - 21st European Conference on Artificial Intelligence, IOS Press, Prague, Czech Republic, pp. 195 - 200, presented at 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, 18 August 2014 - 22 August 2014, http://dx.doi.org/10.3233/978-1-61499-419-0-195

Romero J; Saffidine A; Thielscher M, 2014, 'Solving the inferential frame problem in the general Game Description Language', in Proceedings of the National Conference on Artificial Intelligence, pp. 515 - 521

Saffidine A; Cazenave T, 2014, 'Developments on product propagation', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 100 - 109, http://dx.doi.org/10.1007/978-3-319-09165-5_9

Saffidine A; Jouandeau N; Buron C; Cazenave T, 2014, 'Material symmetry to partition endgame tables', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 187 - 198, http://dx.doi.org/10.1007/978-3-319-09165-5-16

Saffidine A; Jouandeau N; Buron C; Cazenave T, 2014, 'Material symmetry to partition endgame tables', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 187 - 198, http://dx.doi.org/10.1007/978-3-319-09165-5_16

Bonnet E; Jamain F; Saffidine A, 2013, 'On the complexity of trick-taking card games', in IJCAI International Joint Conference on Artificial Intelligence, pp. 482 - 488

Ditmarsch HV; Lang J; Saffidine A, 2013, 'Strategic Voting and the Logic of Knowledge', in Strategic Voting and the Logic of Knowledge, http://arxiv.org/abs/1310.6436v1

Ditmarsch HV; Lang J; Saffidine A, 2013, 'Strategic voting and the logic of knowledge.', in Schipper BC (ed.), TARK, presented at Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, January 7-9, 2013, http://www.tark.org/proceedings/tark_jan7_13/index.html

Lanctot M; Saffidine A; Veness J; Archibald C; Winands MHM, 2013, 'Monte Carlo *-Minimax Search', in IJCAI International Joint Conference on Artificial Intelligence, pp. 580 - 586

Schofield MJ; Saffidine A, 2013, 'High speed forward chaining for general game playing', in High speed forward chaining for general game playing, The IJCAI-13 Workshop on General Game Playing

Buro M; Finnsson H; Saffidine A, 2012, 'Alpha-Beta Pruning for Games with Simultaneous Moves', in Twenty-Sixth AAAI Conference on Artificial Intelligence, Toronto, presented at Twenty-Sixth AAAI Conference on Artificial Intelligence, Toronto, https://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/5181

Churchill D; Saffidine A; Buro M, 2012, 'Fast heuristic search for RTS game combat scenarios', in Proceedings of the 8th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2012, pp. 112 - 117

Saffidine A, 2012, 'Minimal Proof Search for Modal Logic K Model Checking.', in Cerro LFD; Herzig A; Mengin J (eds.), JELIA, Springer, pp. 346 - 358, presented at Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, https://doi.org/10.1007/978-3-642-33353-8

Saffidine A, 2012, 'Minimal proof search for modal logic K model checking', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 346 - 358, http://dx.doi.org/10.1007/978-3-642-33353-8_27

Saffidine A; Cazenave T, 2012, 'Multiple-outcome proof number search', in Frontiers in Artificial Intelligence and Applications, pp. 708 - 713, http://dx.doi.org/10.3233/978-1-61499-098-7-708

Saffidine A; Finnsson H; Buro M, 2012, 'Alpha-beta pruning for games with simultaneous moves', in Proceedings of the National Conference on Artificial Intelligence, pp. 556 - 562

Saffidine A; Jouandeau N; Cazenave T, 2012, 'Solving breakthrough with race patterns and job-level proof number search', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 196 - 207, http://dx.doi.org/10.1007/978-3-642-31866-5_17

Cazenave T; Saffidine A, 2011, 'Score bounded Monte-Carlo tree search', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 93 - 104, http://dx.doi.org/10.1007/978-3-642-17928-0_9

Elkind E; Lang J; Saffidine A, 2011, 'Choosing collectively optimal sets of alternatives based on the condorcet criterion', in IJCAI International Joint Conference on Artificial Intelligence, pp. 186 - 191, http://dx.doi.org/10.5591/978-1-57735-516-8/IJCAI11-042

Saffidine A; Cazenave T; Méhat J, 2010, 'UCD: Upper confidence bound for rooted Directed Acyclic Graphs', in Proceedings - International Conference on Technologies and Applications of Artificial Intelligence, TAAI 2010, pp. 467 - 473, http://dx.doi.org/10.1109/TAAI.2010.79