Organisation
Organigramme
Membres
Axes de de recherche :
ASAP
BioComp
DecA
OpTeam
Plateformes :
RECORD
Genotoul Bioinfo
Sigenae
Production
Publications
Logiciels
Faits marquants
Thèses & postdocs
Séminaire & Actualités
Offres d'emplois
Contact
Intranet
Light
Dark
Automatic
Generating Explainable Counterfactual Policies through Temporal Logic Queries
Arnaud Lequen, Clément Legrand-Lixon, Léo Saulières
juillet 2026
HAL
PDF
Citation
DOI
Type (tous)
Article de conférence
Publication
Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning