3 papers
cs.LO2025
Repairing General Game Descriptions (extended version)
Yifan He, Munyque Mittelmann, Aniello Murano +2
The Game Description Language (GDL) is a widely used formalism for specifying the rules of general games. Writing correct GDL descriptions can be challenging, especially for non-ex…
cs.CC2025
Polynomial Prenexing of QBFs with Non-Monotone Boolean Operators
Abdallah Saffidine, Andreas Herzig
It is well-known that every quantified boolean formula (QBF) can be transformed into a prenex QBF whose only boolean operators are negation, conjunction, and disjunction. It is als…
cs.AI2024
Enhancing Reinforcement Learning Through Guided Search
Jérôme Arjonilla, Abdallah Saffidine, Tristan Cazenave
With the aim of improving performance in Markov Decision Problem in an Off-Policy setting, we suggest taking inspiration from what is done in Offline Reinforcement Learning (RL). I…