Abdallah Saffidine

According to our database1, Abdallah Saffidine authored at least 48 papers between 2009 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
On Bellman's Optimality Principle for zs-POSGs.
CoRR, 2020

Knowledge-based programs as succinct policies for partially observable domains.
Artif. Intell., 2020

Positional Games and QBF: The Corrective Encoding.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

Peer Reviewing in Participatory Guarantee Systems: Modelisation and Algorithmic Aspects.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019
On the Complexity of Minimizing Median Normal Forms of Monotone Boolean Functions and Lattice Polynomials.
J. Multiple Valued Log. Soft Comput., 2019

Computer Games Workshop at IJCAI 2018.
J. Int. Comput. Games Assoc., 2019

The Packed Interval Covering Problem is NP-complete.
CoRR, 2019

Foundations of Digital Archæoludology.
CoRR, 2019

2018
How does uncertainty about other voters determine a strategic vote?
CoRR, 2018

Bounded Suboptimal Game Tree Search.
Proceedings of the Eleventh International Symposium on Combinatorial Search, 2018

Constrained Swap Dynamics over a Social Network in Distributed Resource Reallocation.
Proceedings of the Algorithmic Game Theory - 11th International Symposium, 2018

Recherche heuristique pour jeux stochastiques (à somme nulle).
Proceedings of the Journées Francophone Planification, 2018

The Complexity of Limited Belief Reasoning - The Quantifier-Free Case.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Fairness in Deceased Organ Matching.
Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 2018

Knowledge-Based Policies for Qualitative Decentralized POMDPs.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Minesweeper with Limited Moves.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Positional scoring-based allocation of indivisible goods.
Auton. Agents Multi Agent Syst., 2017

Median Based Calculus for Lattice Polynomials and Monotone Boolean Functions.
Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017

A Study of Forward Versus Backwards Endgame Solvers with Results in Chinese Checkers.
Proceedings of the Computer Games - 6th Workshop, 2017

Mechanisms for Online Organ Matching.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

The Parameterized Complexity of Positional Games.
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2016
On the complexity of connection games.
Theor. Comput. Sci., 2016

Nested Monte Carlo Search for Two-Player Games.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Condorcet winning sets.
Soc. Choice Welf., 2015

A Preliminary Selection of Problems in Heuristic Search.
Proceedings of the Eighth Annual Symposium on Combinatorial Search, 2015

Depth, balancing, and limits of the Elo model.
Proceedings of the 2015 IEEE Conference on Computational Intelligence and Games, 2015

Go Complexities.
Proceedings of the Advances in Computer Games - 14th International Conference, 2015

Draws, Zugzwangs, and PSPACE-Completeness in the Slither Connection Game.
Proceedings of the Advances in Computer Games - 14th International Conference, 2015

2014
The Game Description Language Is Turing Complete.
IEEE Trans. Comput. Intell. AI Games, 2014

A Systematic Solution to the (De-)Composition Problem in General Game Playing.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

On the Complexity of General Game Playing.
Proceedings of the Computer Games - Third Workshop on Computer Games, 2014

Solving the Inferential Frame Problem in the General Game Description Language.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Solving Games and All That. (Résoudre les jeux et le reste).
PhD thesis, 2013

Monte Carlo *-Minimax Search.
Proceedings of the IJCAI 2013, 2013

On the Complexity of Trick-Taking Card Games.
Proceedings of the IJCAI 2013, 2013

Material Symmetry to Partition Endgame Tables.
Proceedings of the Computers and Games - 8th International Conference, 2013

Developments on Product Propagation.
Proceedings of the Computers and Games - 8th International Conference, 2013

Havannah and TwixT are PSPACE-complete.
Proceedings of the Computers and Games - 8th International Conference, 2013

2012
UCD : Upper confidence bound for rooted directed acyclic graphs.
Knowl. Based Syst., 2012

Minimal Proof Search for Modal Logic K Model Checking.
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Multiple-Outcome Proof Number Search.
Proceedings of the ECAI 2012, 2012

Fast Heuristic Search for RTS Game Combat Scenarios.
Proceedings of the Eighth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2012

Strategic voting and the logic of knowledge.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Alpha-Beta Pruning for Games with Simultaneous Moves.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
Choosing Collectively Optimal Sets of Alternatives Based on the Condorcet Criterion.
Proceedings of the IJCAI 2011, 2011

Solving breakthrough with Race Patterns and Job-Level Proof Number Search.
Proceedings of the Advances in Computer Games - 13th International Conference, 2011

2010
Score Bounded Monte-Carlo Tree Search.
Proceedings of the Computers and Games - 7th International Conference, 2010

2009
Utilisation de la recherche arborescente Monte-Carlo au Hex.
Rev. d'Intelligence Artif., 2009


  Loading...