Query languages for neural networks

DOI10.4230/LIPICS.ICDT.2025.9MaRDI QIDQ7292775zbMATH OpenFDO

Authors Martin Grohe, Christoph Standke, Juno Steegmans, Jan Van den Bussche

Publication date 8 July 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.ICDT.2025.9

Mathematics Subject Classification ID

Database theory (68P15)

Cites work

• A unified logical framework for explanations in classifier systems
• Approximation by superpositions of a sigmoidal function
• Deep learning
• Elements of finite model theory.
• Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions
• Expressive power of SQL.
• Finite model theory and its applications.
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 2107521 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• Learning concepts described by weight aggregation logic
• Metafinite model theory
• On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases
• Reachability and connectivity queries in constraint databases

This page was built for publication: Query languages for neural networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7292775)