3 papers
cs.LG2026
Towards Understanding the Expressive Power of GNNs with Global Readout
Maurice Funk, Daumantas Kojelis
We study the expressive power of message-passing aggregate-combine-readout graph neural networks (ACR-GNNs). Particularly, we focus on the first-order (FO) properties expressible b…
cs.LO2024
On Homogeneous Model of Fluted Languages
Daumantas Kojelis
We study the fluted fragment of first-order logic which is often viewed as a multi-variable non-guarded extension to various systems of description logics lacking role-inverses. In…
cs.LO2024
The Adjacent Fragment and Quine's Limits of Decision
Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann
We introduce the adjacent fragment AF of first-order logic, obtained by restricting the sequences of variables occurring as arguments in atomic formulas. The adjacent fragment gene…