Michael Benedikt
University of Oxford
H-index: 39
Europe-United Kingdom
Top articles of Michael Benedikt
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Decidability of Graph Neural Networks via Logical Characterizations | arXiv preprint arXiv:2404.18151 | Michael Benedikt Chia-Hsuan Lu Boris Motik Tony Tan | 2024/4/28 |
Synthesizing nested relational queries from implicit specifications | Michael Benedikt Cécilia Pradic Christoph Wernhard | 2023/6/18 | |
The complexity of Presburger arithmetic with power or powers | arXiv preprint arXiv:2305.03037 | Michael Benedikt Dmitry Chistikov Alessio Mansutti | 2023/5/4 |
On monotonic determinacy and rewritability for recursive queries and views | ACM Transactions on Computational Logic | Michael Benedikt Stanislav Kikot Piotr Ostropolski-Nalewaja Miguel Romero | 2023/3/17 |
PDQ 2.0: Flexible Infrastructure for Integrating Reasoning and Query Planning | ACM SIGMOD Record | Michael Benedikt Fergus Cooper Stefano Germano Gabor Gyorkei Efthymia Tsamoura | 2023/1/25 |
Towards Unbiased Exploration in Partial Label Learning | arXiv preprint arXiv:2307.00465 | Zsolt Zombori Agapi Rissaki Kristóf Szabó Wolfgang Gatterbauer Michael Benedikt | 2023/7/2 |
Embedded finite models beyond research quantifier collapse | Michael Benedikt Ehud Hrushovski | 2023 | |
Embedded finite models beyond restricted quantifier collapse | Michael Benedikt Ehud Hrushovski | 2023/6/26 | |
THE JOURNAL OF SYMBOLIC LOGIC | Steve Awodey Sylvy Anscombe Veronica Becher Lev Beklemishev Michael Benedikt | 2023 | |
Tighter bounds for query answering with Guarded TGDs | arXiv preprint arXiv:2212.11362 | Antoine Amarilli Michael Benedikt | 2022/12/21 |
Rewriting the infinite chase | arXiv preprint arXiv:2212.08522 | Michael Benedikt Maxime Buron Stefano Germano Kevin Kappelmann Boris Motik | 2022/12/16 |
The Past and Future of Embedded Finite Model Theory | Michael Benedikt | 2022/10/12 | |
Datalog Rewriting for Guarded TGDs | CEUR Workshop Proceedings | Michael Benedikt Maxime Buron Stefano Germano Kevin Kappelmann Boris Motik | 2022/8/31 |
2022 ACM PODS Alberto O. Mendelzon Test-of-Time Award | Michael Bender Michael Benedikt Sudeepa Roy | 2022/6/12 | |
Balancing expressiveness and inexpressiveness in view design | ACM Transactions on Database Systems (TODS) | Michael Benedikt Pierre Bourhis Louis Jachiet Efthymia Tsamoura | 2021/11/15 |
TraNCE: Transforming nested collections efficiently | Proceedings of the VLDB Endowment (PVLDB) | Jaclyn Smith Michael Benedikt Brandon Moore Milos Nikolic | 2021/10/28 |
Scalable analysis of multi-modal biomedical data | GigaScience | Jaclyn Smith Yao Shi Michael Benedikt Milos Nikolic | 2021/9 |
Inference from visible information and background knowledge | ACM Transactions on Computational Logic (TOCL) | Michael Benedikt Pierre Bourhis Balder Ten Cate Gabrieled Puppis Michael Vanden Boom | 2021/6/21 |
Generating collection transformations from proofs | Proceedings of the ACM on Programming Languages | Michael Benedikt Pierre Pradic | 2021/1/4 |
Nonstandard analysis in selective universes | Michael Benedikt | 2020/1/30 |