Back to
Lecturer

Dr Abdallah Saffidine

Engineering
Computer Science and Engineering
  • Books | 2018
    2018, Preface
    Books | 2013
    Saffidine A, 2013, Solving Games and All That, Cazenave T, (ed.)
  • Book Chapters | 2023
    Driss B; Arjonilla J; Wang H; Saffidine A; Cazenave T, 2023, 'Deep Reinforcement Learning for 5 × 5 Multiplayer Go', in Applications of Evolutionary Computation, Springer Nature Switzerland, pp. 753 - 764, http://dx.doi.org/10.1007/978-3-031-30229-9_48
    Book Chapters | 2019
    2019, 'Preface', in , pp. v - vii, http://dx.doi.org/10.4000/books.pcjb.316
    Book Chapters | 2014
    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
    Book Chapters | 2014
    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
  • Journal articles | 2021
    2021, 'Heuristic Search Value Iteration for Zero-Sum Stochastic Games', IEEE Transactions on Games, 13, pp. 239 - 248, http://dx.doi.org/10.1109/TG.2020.3005214
    Journal articles | 2021
    2021, 'Heuristic search for one-to-many shortest path queries', Annals of Mathematics and Artificial Intelligence, 89, pp. 1175 - 1214, http://dx.doi.org/10.1007/s10472-021-09775-x
    Journal articles | 2021
    2021, 'Safe multi-agent pathfinding with time uncertainty', Journal of Artificial Intelligence Research, 70, pp. 923 - 954, http://dx.doi.org/10.1613/JAIR.1.12397
    Journal articles | 2020
    2020, 'Knowledge-based programs as succinct policies for partially observable domains', Artificial Intelligence, 288, http://dx.doi.org/10.1016/j.artint.2020.103365
    Journal articles | 2020
    2020, 'The ACG 2019 Conference', ICGA JOURNAL, 42, pp. 291 - 294, http://dx.doi.org/10.3233/ICG-200171
    Journal articles | 2019
    Blair A; Saffidine A, 2019, 'AI surpasses humans at six-player poker', Science, 365, pp. 864 - 865, http://dx.doi.org/10.1126/science.aay7774
    Journal articles | 2019
    2019, 'Computer Games Workshop at IJCAI 2018', ICGA JOURNAL, 41, pp. 108 - 109, http://dx.doi.org/10.3233/ICG-190105
    Journal articles | 2019
    2019, 'Foundations of Digital Archæoludology', , http://arxiv.org/abs/1905.13516v1
    Journal articles | 2019
    2019, 'On the complexity of minimizing median normal forms of monotone Boolean functions and lattice polynomials', Journal of Multiple-Valued Logic and Soft Computing, 33, pp. 197 - 218
    Journal articles | 2019
    2019, 'The Packed Interval Covering Problem is NP-complete', , http://arxiv.org/abs/1906.03676v1
    Journal articles | 2018
    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
    Journal articles | 2017
    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, 31, pp. 628 - 655, http://dx.doi.org/10.1007/s10458-016-9340-x
    Journal articles | 2016
    Bonnet É; Jamain F; Saffidine A, 2016, 'On the complexity of connection games', Theoretical Computer Science, 644, pp. 2 - 28, http://dx.doi.org/10.1016/j.tcs.2016.06.033
    Journal articles | 2016
    2016, 'On the complexity of connection games.', Theor. Comput. Sci., 644, pp. 2 - 28, http://dx.doi.org/10.1016/j.tcs.2016.06.033
    Journal articles | 2015
    2015, 'Condorcet winning sets', Social Choice and Welfare, 44, pp. 493 - 517, http://dx.doi.org/10.1007/s00355-014-0853-4
    Journal articles | 2015
    2015, 'Depth, balancing, and limits of the Elo model.', CoRR, abs/1511.02006
    Journal articles | 2014
    Saffidine A, 2014, 'The game description language is Turing complete', IEEE Transactions on Computational Intelligence and AI in Games, 6, pp. 320 - 324, http://dx.doi.org/10.1109/TCIAIG.2014.2354417
    Journal articles | 2013
    2013, 'Strategic voting and the logic of knowledge', Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2013, abs/1310.6436, pp. 196 - 205
    Journal articles | 2012
    Saffidine A; Cazenave T; Méhat J, 2012, 'UCD: Upper confidence bound for rooted directed acyclic graphs', Knowledge-Based Systems, 34, pp. 26 - 33, http://dx.doi.org/10.1016/j.knosys.2011.11.014
    Journal articles | 2011
    Saffidine A, 2011, 'MOCCOS wins the Phantom-Go tournament', ICGA Journal, 34, pp. 35 - 37, http://dx.doi.org/10.3233/ICG-2011-34111
    Journal articles | 2009
    Cazenave T; Saffidine A, 2009, 'Utilisation de la recherche arborescente Monte-Carlo au Hex', Revue d'Intelligence Artificielle, 23, pp. 183 - 202, http://dx.doi.org/10.3166/RIA.23.183-202
  • Working Papers | 2020
    2020, On Bellman's Optimality Principle for zs-POSGs, http://dx.doi.org, http://arxiv.org/abs/2006.16395v2
  • Preprints | 2023
    2023, Implicit State and Goals in QBF Encodings for Positional Games (extended version), , http://arxiv.org/abs/2301.07345v1
    Preprints | 2023
    2023, Towards Tackling MaxSAT by Combining Nested Monte Carlo with Local Search, , http://arxiv.org/abs/2302.13225v1
    Conference Papers | 2022
    2022, 'QBF Programming with the Modeling Language Bule', in Leibniz International Proceedings in Informatics, LIPIcs, http://dx.doi.org/10.4230/LIPIcs.SAT.2022.31
    Preprints | 2022
    2022, HSVI can solve zero-sum Partially Observable Stochastic Games, , http://arxiv.org/abs/2210.14640v1
    Conference Proceedings (Editor of) | 2020
    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
    Conference Papers | 2020
    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
    Conference Papers | 2020
    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
    Preprints | 2020
    2020, On Bellman's Optimality Principle for zs-POSGs, , http://dx.doi.org/10.48550/arxiv.2006.16395
    Preprints | 2020
    2020, Positional Games and QBF: The Corrective Encoding, , http://dx.doi.org/10.48550/arxiv.2005.05098
    Preprints | 2019
    2019, Foundations of Digital Archæoludology, , http://dx.doi.org/10.48550/arxiv.1905.13516
    Preprints | 2019
    2019, The Packed Interval Covering Problem is NP-complete, , http://dx.doi.org/10.48550/arxiv.1906.03676
    Conference Proceedings (Editor of) | 2018
    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
    Conference Proceedings (Editor of) | 2018
    Cazenave T; Winands MHM; Saffidine A, (eds.), 2018, 'Computer Games', Springer International Publishing, http://dx.doi.org/10.1007/978-3-319-75931-9
    Conference Papers | 2018
    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
    Conference Papers | 2018
    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
    Conference Papers | 2018
    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
    Conference Papers | 2018
    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
    Conference Papers | 2018
    2018, 'Knowledge-based policies for qualitative decentralized POMDPs', in 32nd AAAI Conference on Artificial Intelligence, AAAI 2018, pp. 6270 - 6277
    Conference Papers | 2018
    2018, 'Recherche heuristique pour jeux stochastiques (à somme nulle).', in Buffet O; Dutech A; Thomas V (eds.), JFPDA, HAL, https://hal.inria.fr/JFPDA2018/
    Conference Papers | 2018
    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
    Conference Papers | 2017
    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
    Conference Papers | 2017
    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
    Conference Papers | 2017
    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
    Conference Papers | 2017
    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
    Conference Papers | 2017
    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
    Preprints | 2017
    2017, The Parameterized Complexity of Positional Games, , http://dx.doi.org/10.48550/arxiv.1704.08536
    Conference Papers | 2016
    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
    Conference Papers | 2015
    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
    Conference Papers | 2015
    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
    Conference Papers | 2015
    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
    Conference Papers | 2015
    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
    Preprints | 2015
    2015, Depth, balancing, and limits of the Elo model, , http://dx.doi.org/10.48550/arxiv.1511.02006
    Conference Papers | 2014
    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
    Conference Papers | 2014
    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
    Conference Papers | 2014
    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
    Conference Papers | 2014
    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
    Conference Papers | 2014
    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
    Conference Papers | 2014
    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
    Conference Papers | 2014
    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
    Conference Papers | 2014
    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
    Conference Papers | 2013
    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
    Conference Papers | 2013
    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
    Conference Papers | 2013
    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
    Conference Papers | 2013
    Lanctot M; Saffidine A; Veness J; Archibald C; Winands MH M, 2013, 'Monte Carlo *-Minimax Search', in IJCAI International Joint Conference on Artificial Intelligence, pp. 580 - 586
    Conference Papers | 2013
    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
    Conference Papers | 2012
    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
    Conference Papers | 2012
    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
    Conference Papers | 2012
    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
    Conference Papers | 2012
    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
    Conference Papers | 2012
    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
    Conference Papers | 2012
    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
    Conference Papers | 2012
    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
    Conference Papers | 2011
    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
    Conference Papers | 2011
    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
    Conference Papers | 2010
    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