All Stories

  1. Database Repairing with Soft Functional Dependencies

    Article • ACM Transactions on Database Systems, March 2024, ACM (Association for Computing Machinery)

    Benny Kimelfeld, Martin Grohe

  2. Selecting Walk Schemes for Database Embedding

    Article • October 2023, ACM (Association for Computing Machinery)

    Martin Grohe, Benny Kimelfeld, Yuval Lubarsky

  3. Canonisation and Definability for Graphs of Bounded Rank Width

    Article • ACM Transactions on Computational Logic, January 2023, ACM (Association for Computing Machinery)

    Martin Grohe

  4. Recursive database querying with continuous sampling

    Article • Journal of the ACM, November 2022, ACM (Association for Computing Machinery)

    Martin Grohe, Peter Lindner

  5. Independence in Infinite Probabilistic Databases

    Article • Journal of the ACM, August 2022, ACM (Association for Computing Machinery)

    Martin Grohe, Peter Lindner

  6. On the Parameterized Complexity of Learning First-Order Logic

    Article • June 2022, ACM (Association for Computing Machinery)

    Martin Grohe

  7. The Logic of Graph Neural Networks

    Article • June 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Martin Grohe

  8. Tuple-Independent Representations of Infinite Probabilistic Databases

    Article • June 2021, ACM (Association for Computing Machinery)

    Martin Grohe, Peter Lindner

  9. Isomorphism, canonization, and definability for graphs of bounded rank width

    Article • Communications of the ACM, May 2021, ACM (Association for Computing Machinery)

    Martin Grohe

  10. An Improved Isomorphism Test for Bounded-tree-width Graphs

    Article • ACM Transactions on Algorithms, June 2020, ACM (Association for Computing Machinery)

    Martin Grohe

  11. Generative Datalog with Continuous Distributions

    Article • June 2020, ACM (Association for Computing Machinery)

    Martin Grohe, Peter Lindner

  12. word2vec, node2vec, graph2vec, X2vec: Towards a Theory of Vector Embeddings of Structured Data

    Article • June 2020, ACM (Association for Computing Machinery)

    Martin Grohe

  13. Counting Bounded Tree Depth Homomorphisms

    Article • May 2020, ACM (Association for Computing Machinery)

    Martin Grohe

  14. Probabilistic Databases with an Infinite Open-World Assumption

    Article • June 2019, ACM (Association for Computing Machinery)

    Martin Grohe

  15. Deciding First-Order Properties of Nowhere Dense Graphs

    Article • Journal of the ACM, June 2017, ACM (Association for Computing Machinery)

    Martin Grohe

  16. PEBBLE GAMES AND LINEAR EQUATIONS

    Article • Journal of Symbolic Logic, July 2015, Cambridge University Press

    Martin Grohe

  17. Computing with Tangles

    Article • June 2015, ACM (Association for Computing Machinery)

    Martin Grohe

  18. Constraint Solving via Fractional Edge Covers

    Article • ACM Transactions on Algorithms, October 2014, ACM (Association for Computing Machinery)

    Martin Grohe