Elements of Finite Model Theory

• Recursive Querying of Neural Networks via Weighted Structures

  2026 Proceedings of the ACM on Management of Data article Computer Science Logic, Reasoning, and Knowledge

  0

  citations
• Simulating Logspace-Recursion with Logarithmic Quantifier Depth

  2023 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Advanced Graph Theory Research

  1

  citations
• A First-order Logic with Frames

  2023 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

  2

  citations
• Model-guided synthesis of inductive lemmas for FOL with least fixpoints

  2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  11

  citations
• Canonisation and Definability for Graphs of Bounded Rank Width

  2022 ACM Transactions on Computational Logic article Computer Science Advanced Graph Theory Research Open access

  7

  citations
• Generative Datalog with Continuous Distributions

  2022 Journal of the ACM article Computer Science Advanced Database Systems and Queries Open access

  5

  citations
• A Finite-Model-Theoretic View on Propositional Proof Complexity

  2022 Logical Methods in Computer Science article Computer Science Complexity and Algorithms in Graphs Open access

  5

  citations
• The Logic of Graph Neural Networks

  2021 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Advanced Graph Neural Networks Open access

  50

  citations

8 results