


default search action
Michael Benedikt
Person information
- affiliation: University of Oxford, UK
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j68]Michael Benedikt, Cécilia Pradic, Christoph Wernhard:
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory. Log. Methods Comput. Sci. 20(3) (2024) - [j67]Michael Benedikt
, Egor V. Kostylev, Tony Tan:
Two Variable Logic with Ultimately Periodic Counting. SIAM J. Comput. 53(4): 884-968 (2024) - [j66]Michael Benedikt
, Maxime Buron
, Stefano Germano
, Kevin Kappelmann
, Boris Motik
:
Rewriting the Infinite Chase for Guarded TGDs. ACM Trans. Database Syst. 49(4): 14:1-14:44 (2024) - [c91]Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan:
Decidability of Graph Neural Networks via Logical Characterizations. ICALP 2024: 127:1-127:20 - [c90]Michael Benedikt, Stanislav Kikot, Johannes Marti, Piotr Ostropolski-Nalewaja:
Monotone Rewritability and the Analysis of Queries, Views, and Rules. KR 2024 - [i35]Sam Adam-Day, Michael Benedikt, Ismail Ilkan Ceylan, Ben Finkelshtein:
Graph neural network outputs are almost surely asymptotically constant. CoRR abs/2403.03880 (2024) - [i34]Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan:
Decidability of Graph Neural Networks via Logical Characterizations. CoRR abs/2404.18151 (2024) - [i33]Michael Benedikt, Anthony Widjaja Lin, Di-De Yen:
Revisiting the Expressiveness Landscape of Data Graph Queries. CoRR abs/2406.17871 (2024) - [i32]Michael Benedikt, Stanislav Kikot, Johannes Marti, Piotr Ostropolski-Nalewaja:
Monotone Rewritability and the Analysis of Queries, Views, and Rules. CoRR abs/2407.14907 (2024) - 2023
- [j65]Michael Benedikt
, Stanislav Kikot
, Piotr Ostropolski-Nalewaja
, Miguel Romero
:
On Monotonic Determinacy and Rewritability for Recursive Queries and Views. ACM Trans. Comput. Log. 24(2): 16:1-16:62 (2023) - [c89]Michael Benedikt, Dmitry Chistikov, Alessio Mansutti
:
The Complexity of Presburger Arithmetic with Power or Powers. ICALP 2023: 112:1-112:18 - [c88]Michael Benedikt, Ehud Hrushovski:
Embedded Finite Models beyond Restricted Quantifier Collapse. LICS 2023: 1-13 - [c87]Michael Benedikt, Cécilia Pradic, Christoph Wernhard:
Synthesizing Nested Relational Queries from Implicit Specifications. PODS 2023: 33-45 - [i31]Michael Benedikt, Ehud Hrushovski:
Embedded Finite Models beyond Restricted Quantifier Collapse. CoRR abs/2304.09231 (2023) - [i30]Michael Benedikt, Dmitry Chistikov, Alessio Mansutti
:
The complexity of Presburger arithmetic with power or powers. CoRR abs/2305.03037 (2023) - [i29]Zsolt Zombori, Agapi Rissaki, Kristóf Szabó, Wolfgang Gatterbauer, Michael Benedikt:
Towards Unbiased Exploration in Partial Label Learning. CoRR abs/2307.00465 (2023) - 2022
- [j64]Antoine Amarilli, Michael Benedikt:
When Can We Answer Queries Using Result-Bounded Data Interfaces? Log. Methods Comput. Sci. 18(2) (2022) - [j63]Michael Benedikt, Maxime Buron, Stefano Germano
, Kevin Kappelmann
, Boris Motik:
Rewriting the Infinite Chase. Proc. VLDB Endow. 15(11): 3045-3057 (2022) - [j62]Michael Benedikt, Fergus R. Cooper, Stefano Germano
, Gabor Gyorkei, Efthymia Tsamoura, Brandon Moore, Camilo Ortiz:
PDQ 2.0: Flexible Infrastructure for Integrating Reasoning and Query Planning. SIGMOD Rec. 51(4): 36-41 (2022) - [c86]Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik:
Datalog Rewriting for Guarded TGDs. Datalog 2022: 104-113 - [c85]Michael Bender, Michael Benedikt, Sudeepa Roy:
2022 ACM PODS Alberto O. Mendelzon Test-of-Time Award. PODS 2022: 103-104 - [c84]Michael Benedikt:
The Past and Future of Embedded Finite Model Theory. RP 2022: 37-46 - [i28]Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom:
Query Answering with Transitive and Linear-Ordered Data. CoRR abs/2202.08555 (2022) - [i27]Michael Benedikt, Cécilia Pradic, Christoph Wernhard:
Synthesizing Nested Relational Queries from Implicit Specifications. CoRR abs/2209.08299 (2022) - [i26]Michael Benedikt, Cécilia Pradic, Christoph Wernhard:
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory. CoRR abs/2212.03085 (2022) - [i25]Michael Benedikt, Maxime Buron, Stefano Germano
, Kevin Kappelmann, Boris Motik:
Rewriting the Infinite Chase. CoRR abs/2212.08522 (2022) - [i24]Antoine Amarilli, Michael Benedikt:
Tighter bounds for query answering with Guarded TGDs. CoRR abs/2212.11362 (2022) - 2021
- [j61]Michael Benedikt, Cécilia Pradic:
Generating collection transformations from proofs. Proc. ACM Program. Lang. 5(POPL): 1-28 (2021) - [j60]Jaclyn Smith, Michael Benedikt, Brandon Moore, Milos Nikolic:
TraNCE: Transforming Nested Collections Efficiently. Proc. VLDB Endow. 14(12): 2727-2730 (2021) - [j59]Michael Benedikt, Pierre Bourhis, Balder ten Cate
, Gabriele Puppis
, Michael Vanden Boom:
Inference from Visible Information and Background Knowledge. ACM Trans. Comput. Log. 22(2): 13:1-13:69 (2021) - [j58]Michael Benedikt, Pierre Bourhis, Louis Jachiet, Efthymia Tsamoura:
Balancing Expressiveness and Inexpressiveness in View Design. ACM Trans. Database Syst. 46(4): 15:1-15:40 (2021) - 2020
- [j57]Jaclyn Smith, Michael Benedikt, Milos Nikolic, Amir Shaikhha:
Scalable Querying of Nested Data. Proc. VLDB Endow. 14(3): 445-457 (2020) - [j56]Michael Benedikt, Pierre Bourhis, Georg Gottlob, Pierre Senellart:
Monadic Datalog, Tree Validity, and Limited Access Containment. ACM Trans. Comput. Log. 21(1): 6:1-6:45 (2020) - [j55]Antoine Amarilli
, Michael Benedikt:
Finite Open-world Query Answering with Number Restrictions. ACM Trans. Comput. Log. 21(4): 27:1-27:73 (2020) - [c83]Michael Benedikt, Egor V. Kostylev
, Tony Tan
:
Two Variable Logic with Ultimately Periodic Counting. ICALP 2020: 112:1-112:16 - [c82]Michael Benedikt, Pierre Bourhis, Louis Jachiet, Efthymia Tsamoura:
Balancing Expressiveness and Inexpressiveness in View Design. KR 2020: 109-118 - [c81]Michael Benedikt, Stanislav Kikot, Piotr Ostropolski-Nalewaja
, Miguel Romero:
On Monotonic Determinacy and Rewritability for Recursive Queries and Views. PODS 2020: 131-148 - [i23]Antoine Amarilli, Michael Benedikt:
Finite Open-World Query Answering with Number Restrictions. CoRR abs/2003.02521 (2020) - [i22]Michael Benedikt, Stanislav Kikot, Piotr Ostropolski-Nalewaja, Miguel Romero:
On monotonic determinacy and rewritability for recursive queries and views. CoRR abs/2003.05898 (2020) - [i21]Vince Bárány, Michael Benedikt, Balder ten Cate:
Some Model Theory of Guarded Negation. CoRR abs/2005.06299 (2020) - [i20]Michael Benedikt, Cécilia Pradic:
Generating collection queries from proofs. CoRR abs/2005.06503 (2020) - [i19]Michael Benedikt, Pierre Bourhis, Louis Jachiet, Efthymia Tsamoura:
Balancing expressiveness and inexpressiveness in view design. CoRR abs/2006.00875 (2020) - [i18]Michael Benedikt, Egor V. Kostylev, Tony Tan:
Two variable logic with ultimately periodic counting. CoRR abs/2006.01193 (2020) - [i17]Jaclyn Smith, Michael Benedikt, Milos Nikolic, Amir Shaikhha:
Scalable Querying of Nested Data. CoRR abs/2011.06381 (2020)
2010 – 2019
- 2019
- [j54]Michael Benedikt, Pierre Bourhis, Michael Vanden Boom:
Definability and Interpolation within Decidable Fixpoint Logics. Log. Methods Comput. Sci. 15(3) (2019) - [j53]Michael Benedikt:
Guest Editorial: Special Issue on Database Theory. Theory Comput. Syst. 63(7): 1572 (2019) - [c80]Michael Benedikt, Pierre Bourhis, Louis Jachiet, Michaël Thomazo:
Reasoning about Disclosure in Data Integration in the Presence of Source Constraints. IJCAI 2019: 1551-1557 - [i16]Michael Benedikt, Pierre Bourhis, Louis Jachiet, Michaël Thomazo:
Reasoning about disclosure in data integration in the presence of source constraints. CoRR abs/1906.00624 (2019) - [i15]Michael Benedikt, Kristian Kersting, Phokion G. Kolaitis, Daniel Neider
:
Logic and Learning (Dagstuhl Seminar 19361). Dagstuhl Reports 9(9): 1-22 (2019) - 2018
- [j52]Michael Benedikt, Bernardo Cuenca Grau, Egor V. Kostylev
:
Logical foundations of information disclosure in ontology-based data integration. Artif. Intell. 262: 52-95 (2018) - [j51]Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom:
Query Answering with Transitive and Linear-Ordered Data. J. Artif. Intell. Res. 63: 191-264 (2018) - [j50]Vince Bárány, Michael Benedikt, Balder ten Cate:
Some Model Theory of Guarded Negation. J. Symb. Log. 83(4): 1307-1344 (2018) - [j49]Michael Benedikt:
Logic-based Perspectives on Query Reformulationover Restricted Interfaces. SIGMOD Rec. 47(2): 5-16 (2018) - [c79]Michael Benedikt, Boris Motik, Efthymia Tsamoura:
Goal-Driven Query Answering for Existential Rules With Equality. AAAI 2018: 1761-1770 - [c78]Ben Spencer, Michael Benedikt, Pierre Senellart
:
Form Filling Based on Constraint Solving. ICWE 2018: 95-113 - [c77]Michael Benedikt:
How Can Reasoners Simplify Database Querying (And Why Haven't They Done It Yet)? PODS 2018: 1-15 - [c76]Antoine Amarilli, Michael Benedikt:
When Can We Answer Queries Using Result-Bounded Data Interfaces? PODS 2018: 281-293 - [i14]Antoine Amarilli, Michael Benedikt:
When Can We Answer Queries Using Result-Bounded Data Interfaces? CoRR abs/1810.07822 (2018) - 2017
- [j48]Michael Benedikt, Joost Engelfriet, Sebastian Maneth:
Determinacy and rewriting of functional top-down and MSO tree transformations. J. Comput. Syst. Sci. 85: 57-73 (2017) - [c75]Michael Benedikt, Bernardo Cuenca Grau, Egor V. Kostylev:
Source Information Disclosure in Ontology-Based Data Integration. AAAI 2017: 1056-1062 - [c74]Michael Benedikt, Pierre Bourhis, Michael Vanden Boom:
Characterizing Definability in Decidable Fixpoint Logics. ICALP 2017: 107:1-107:14 - [c73]Michael Benedikt, Egor V. Kostylev
, Fabio Mogavero
, Efthymia Tsamoura:
Reformulating Queries: Theory and Practice. IJCAI 2017: 837-843 - [c72]Ben Spencer, Michael Benedikt, Anders Møller
, Franck van Breugel:
ArtForm: a tool for exploring the codebase of form-based websites. ISSTA 2017: 380-383 - [c71]Michael Benedikt, Timothy Duff
, Aditya Sharad, James Worrell
:
Polynomial automata: Zeroness and applications. LICS 2017: 1-12 - [c70]Michael Benedikt, George Konstantinidis
, Giansalvatore Mecca, Boris Motik, Paolo Papotti
, Donatello Santoro, Efthymia Tsamoura:
Benchmarking the Chase. PODS 2017: 37-52 - [e2]Michael Benedikt, Giorgio Orsi:
20th International Conference on Database Theory, ICDT 2017, March 21-24, 2017, Venice, Italy. LIPIcs 68, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-024-8 [contents] - [i13]Michael Benedikt, Pierre Bourhis, Michael Vanden Boom:
Characterizing Definability in Decidable Fixpoint Logics. CoRR abs/1705.01823 (2017) - [i12]Antoine Amarilli, Michael Benedikt:
When Can We Answer Queries Using Result-Bounded Data Interfaces? CoRR abs/1706.07936 (2017) - [i11]Michael Benedikt, Boris Motik, Efthymia Tsamoura:
Goal-Driven Query Answering for Existential Rules with Equality. CoRR abs/1711.05227 (2017) - 2016
- [b1]Michael Benedikt, Julien Leblay
, Balder ten Cate, Efthymia Tsamoura:
Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation. Synthesis Lectures on Data Management, Morgan & Claypool Publishers 2016, ISBN 978-3-031-00728-6 - [j47]Gonzalo I. Diaz, Marcelo Arenas, Michael Benedikt:
SPARQLByE: Querying RDF data by example. Proc. VLDB Endow. 9(13): 1533-1536 (2016) - [j46]Michael Benedikt
, Balder ten Cate, Michael Vanden Boom:
Effective Interpolation and Preservation in Guarded Logics. ACM Trans. Comput. Log. 17(2): 8 (2016) - [j45]Michael Benedikt, Clemens Ley:
Limiting Until in Ordered Tree Query Languages. ACM Trans. Comput. Log. 17(2): 14 (2016) - [j44]Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski
, Rastislav Lenhardt, Filip Mazowiecki, James Worrell
:
Complexity of Two-Variable Logic on Finite Trees. ACM Trans. Comput. Log. 17(4): 32 (2016) - [j43]Michael Benedikt, Balder ten Cate, Efthymia Tsamoura:
Generating Plans from Proofs. ACM Trans. Database Syst. 40(4): 22:1-22:45 (2016) - [c69]Michael Benedikt, Rodrigo Lopez-Serrano, Efthymia Tsamoura:
Biological Web Services: Integration, Optimization, and Reasoning. BAI@IJCAI 2016: 21-27 - [c68]Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom:
Query Answering with Transitive and Linear-Ordered Data. IJCAI 2016: 893-899 - [c67]Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis
:
Querying Visible and Invisible Information. LICS 2016: 297-306 - [c66]Michael Benedikt, Pierre Bourhis, Michael Vanden Boom:
A Step Up in Expressiveness of Decidable Fixpoint Logics. LICS 2016: 817-826 - [i10]Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom:
Query Answering with Transitive and Linear-Ordered Data. CoRR abs/1607.00813 (2016) - 2015
- [j42]Michael Benedikt
, Gabriele Puppis
, Huy Vu:
The complexity of higher-order queries. Inf. Comput. 244: 172-202 (2015) - [j41]Michael Benedikt, Julien Leblay, Efthymia Tsamoura:
Querying with Access Patterns and Integrity Constraints. Proc. VLDB Endow. 8(6): 690-701 (2015) - [j40]Michael Benedikt
, Pierre Bourhis, Clemens Ley:
Analysis of Schemas with Access Restrictions. ACM Trans. Database Syst. 40(1): 5:1-5:46 (2015) - [c65]Antoine Amarilli, Michael Benedikt:
Combining Existential Rules and Description Logics. IJCAI 2015: 2691-2697 - [c64]Michael Benedikt
, Balder ten Cate, Thomas Colcombet, Michael Vanden Boom:
The Complexity of Boundedness for Guarded Logics. LICS 2015: 293-304 - [c63]Antoine Amarilli, Michael Benedikt
:
Finite Open-World Query Answering with Number Restrictions. LICS 2015: 305-316 - [c62]Michael Benedikt
, Balder ten Cate, Michael Vanden Boom:
Interpolation with Decidable Fixpoint Logics. LICS 2015: 378-389 - [i9]Antoine Amarilli, Michael Benedikt:
Combining Existential Rules and Description Logics (Extended Version). CoRR abs/1505.00326 (2015) - [i8]Antoine Amarilli, Michael Benedikt:
Finite Open-World Query Answering with Number Restrictions (Extended Version). CoRR abs/1505.04216 (2015) - [i7]Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis:
Querying Visible and Invisible Tables in the Presence of Integrity Constraints. CoRR abs/1509.01683 (2015) - 2014
- [j39]Michael Benedikt, Julien Leblay, Efthymia Tsamoura:
PDQ: Proof-driven Query Answering over Web-based Data. Proc. VLDB Endow. 7(13): 1553-1556 (2014) - [j38]Michael Benedikt
, Gabriele Puppis
, Cristian Riveros
:
The per-character cost of repairing word languages. Theor. Comput. Sci. 539: 38-67 (2014) - [c61]Michael Benedikt:
Logical Approaches to Query Optimization over Web-Based Sources. AMW 2014 - [c60]Michael Benedikt
, Balder ten Cate, Michael Vanden Boom:
Effective interpolation and preservation in guarded logics. CSL-LICS 2014: 13:1-13:10 - [c59]Michael Benedikt, Ronald Fagin, Wim Martens:
The ICDT 2014 Test of Time Award. ICDT 2014: 257 - [c58]Michael Benedikt
, Balder ten Cate, Efthymia Tsamoura:
Generating low-cost plans from proofs. PODS 2014: 200-211 - [i6]Michael Benedikt, Rastislav Lenhardt, James Worrell:
Model Checking Markov Chains Against Unambiguous Buchi Automata. CoRR abs/1405.4560 (2014) - [i5]Michael Benedikt, Carsten Lutz, Balder ten Cate:
Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331). Dagstuhl Reports 4(8): 1-20 (2014) - 2013
- [j37]Michael Benedikt
, Rastislav Lenhardt, James Worrell
:
Two Variable vs. Linear Temporal Logic in Model Checking and Games. Log. Methods Comput. Sci. 9(2) (2013) - [j36]Michael Benedikt
, Gabriele Puppis
, Cristian Riveros
:
Bounded repairability of word languages. J. Comput. Syst. Sci. 79(8): 1302-1321 (2013) - [j35]Luying Chen, Stefano Ortona, Giorgio Orsi, Michael Benedikt:
ROSeAnn: Reconciling Opinions of Semantic Annotators. Proc. VLDB Endow. 6(12): 1238-1241 (2013) - [j34]Luying Chen, Stefano Ortona, Giorgio Orsi, Michael Benedikt:
Aggregating Semantic Annotators. Proc. VLDB Endow. 6(13): 1486-1497 (2013) - [j33]Michael Benedikt
, Dan Olteanu:
Report on the first workshop on innovative querying of streams. SIGMOD Rec. 42(2): 59-63 (2013) - [c57]Saguy Benaim, Michael Benedikt
, Witold Charatonik, Emanuel Kieronski
, Rastislav Lenhardt, Filip Mazowiecki, James Worrell
:
Complexity of Two-Variable Logic on Finite Trees. ICALP (2) 2013: 74-88 - [c56]Vince Bárány, Michael Benedikt
, Pierre Bourhis:
Access patterns and integrity constraints revisited. ICDT 2013: 213-224 - [c55]Michael Benedikt
, Stefan Göller, Stefan Kiefer, Andrzej S. Murawski:
Bisimilarity of Pushdown Automata is Nonelementary. LICS 2013: 488-498 - [c54]Vince Bárány, Michael Benedikt
, Balder ten Cate:
Rewriting Guarded Negation Queries. MFCS 2013: 98-110 - [c53]Michael Benedikt
, Joost Engelfriet, Sebastian Maneth:
Determinacy and Rewriting of Top-Down and MSO Tree Transformations. MFCS 2013: 146-158 - [c52]Michael Benedikt, Tova Milo, Dirk Van Gucht:
The ACM PODS Alberto O. Mendelzon test-of-time award 2013. PODS 2013: 61-62 - [c51]Michael Benedikt
, Rastislav Lenhardt, James Worrell
:
LTL Model Checking of Interval Markov Chains. TACAS 2013: 32-46 - [i4]Saguy Benaim, Michael Benedikt, Rastislav Lenhardt, James Worrell:
Controlling the Depth, Size, and Number of Subtrees for Two-variable Logic on Trees. CoRR abs/1304.6925 (2013) - 2012
- [j32]Michael Benedikt, Pierre Bourhis, Clemens Ley:
Querying Schemas With Access Restrictions. Proc. VLDB Endow. 5(7): 634-645 (2012) - [j31]Michael Benedikt:
Report on PODS 2012. SIGACT News 43(3): 85-86 (2012) - [c50]Luying Chen, Michael Benedikt
, Evgeny Kharlamov:
QUASAR: querying annotation, structure, and reasoning. EDBT 2012: 618-621 - [c49]Michael Benedikt, Pierre Bourhis, Pierre Senellart
:
Monadic Datalog Containment. ICALP (2) 2012: 79-91 - [c48]Michael Benedikt
, Rastislav Lenhardt, James Worrell
:
Verification of Two-Variable Logic Revisited. QEST 2012: 114-123 - [c47]Michael Benedikt, Huy Vu:
HigherOrder Functions and Structured Datatypes. WebDB 2012: 43-48 - [c46]Michael Benedikt
, Tim Furche, Andreas Savvides, Pierre Senellart
:
ProFoUnd: program-analysis-based form understanding. WWW (Companion Volume) 2012: 313-316 - [e1]Michael Benedikt, Markus Krötzsch, Maurizio Lenzerini:
Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2012, Scottsdale, AZ, USA, May 20-24, 2012. ACM 2012, ISBN 978-1-4503-1248-6 [contents] - [i3]Michael Benedikt, Pierre Bourhis, Clemens Ley:
Querying Schemas With Access Restrictions. CoRR abs/1203.6403 (2012) - [i2]