Fortin, Marie

1 publications

IJCAI 2023 Reverse Engineering of Temporal Queries Mediated by LTL Ontologies Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev