Manuscrits
-
Antoine Amarilli,
Wolfgang Gatterbauer,
Neha Makhija,
Mikaël Monet.
Resilience for Regular Path Queries: Towards a Complexity Classification.
[pdf sur arXiv]
-
Antoine Amarilli,
Mikaël Monet,
Dan Suciu.
The Non-Cancelling Intersections Conjecture.
[pdf sur arXiv]
-
Antoine Amarilli,
Marcelo Arenas,
YooJung Choi,
Mikaël Monet,
Guy Van den Broeck,
Benjie Wang.
A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata.
[pdf on arXiv]
Journaux
-
Marcelo Arenas,
Pablo Barceló,
Leopoldo Bertossi,
Mikaël Monet.
On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results.
JMLR 2023.
[pdf sur arXiv], [version conférence]
-
Marcelo Arenas,
Pablo Barceló,
Mikaël Monet.
The Complexity of Counting Problems over Incomplete Databases.
TOCL 2021.
[pdf sur arXiv], [version conférence]
-
Antoine Amarilli,
Florent Capelli,
Mikaël Monet,
Pierre Senellart.
Connecting Knowledge Compilation Classes and Width Parameters.
ToCS 2020.
[pdf sur arXiv], [version conférence]
-
Antoine Amarilli,
Pierre Bourhis,
Mikaël Monet,
Pierre Senellart.
Evaluating Datalog via Tree Automata and Cycluits.
ToCS 2019.
[pdf sur arXiv], [version conférence]
Conférences
-
Pratik Karmakar,
Mikaël Monet,
Pierre Senellart,
Stéphane Bressan.
Expected Shapley-Like Scores of Boolean Functions: Complexity and Applications to Probabilistic Databases.
PODS 2024.
[pdf sur arXiv]
-
Antoine Amarilli,
Pierre Bourhis,
Florent Capelli,
Mikaël Monet.
Ranked Enumeration for MSO on Trees via Knowledge Compilation.
ICDT 2024.
[pdf sur arXiv]
-
Antoine Amarilli,
Mikaël Monet.
Enumerating Regular Languages in Constant Delay.
STACS 2023.
[pdf sur arXiv]
-
Antoine Amarilli,
Mikaël Monet.
Weighted Counting of Matchings in Unbounded-Treewidth Graph Families.
MFCS 2022.
[pdf sur arXiv]
-
Daniel Deutch,
Nave Frost,
Benny Kimelfeld,
Mikaël Monet.
Computing the Shapley Value of Facts in Query Answering.
SIGMOD 2022.
[pdf sur arXiv]
-
Marcelo Arenas,
Pablo Barceló,
Leopoldo Bertossi,
Mikaël Monet.
The Tractability of SHAP-Score-Based Explanations over Deterministic and Decomposable Boolean Circuits.
AAAI 2021.
[pdf sur arXiv], [version journal]
-
Pablo Barceló,
Mikaël Monet,
Jorge Pérez,
Bernardo Subercaseaux.
Model Interpretability through the Lens of Computational Complexity.
NeurIPS 2020.
[pdf sur arXiv]
-
Marcelo Arenas,
Pablo Barceló,
Mikaël Monet.
Counting Problems over Incomplete Databases.
PODS 2020.
[pdf sur arXiv], [version journal]
-
Pablo Barceló,
Egor Kostylev,
Mikaël Monet, Jorge Pérez,
Juan Reutter,
Juan-Pablo Silva.
The Logical Expressiveness of Graph Neural Networks.
ICLR 2020.
[pdf sur OpenReview], [workshop version]
-
Mikaël Monet.
Solving a Special Case of the Intensional vs Extensional Conjecture in Probabilistic Databases.
PODS 2020.
[pdf sur arXiv]
-
Antoine Amarilli,
Mikaël Monet,
Pierre Senellart.
Connecting Width and Structure in Knowledge Compilation.
ICDT 2018.
[pdf sur arXiv], [version journal]
-
Antoine Amarilli,
Mikaël Monet,
Pierre Senellart.
Conjunctive Queries on Probabilistic Graphs: Combined Complexity.
PODS 2017.
[pdf sur arXiv]
-
Antoine Amarilli,
Pierre Bourhis,
Mikaël Monet,
Pierre Senellart.
Combined Tractability of Query Evaluation via Tree Automata and Cycluits.
ICDT 2017.
[pdf sur arXiv], [version journal]
-
Antoine Amarilli,
Silviu Maniu,
Mikaël Monet.
Challenges for Efficient Query Evaluation on Structured Probabilistic Data.
SUM 2016.
[pdf sur arXiv]
Workshops