Skip to content
conftrace_

finite model theory

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

graph neural network (2) first-order logic (2) descriptive complexity (1) local graph parameter (1) graph expressivity (1) weisfeiler-leman test (1) complexity class (1) modal logic (1) bayesian network (1)

Papers

The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic AAAI 2026 Graph Neural Networks with Local Graph Parameters NeurIPS 2021 The Finite Model Theory of Bayesian Networks: Descriptive Complexity IJCAI 2018