Monadic NIP in monotone classes of relational structures.

Samuel Braunfeld Anuj Dawar Ioannis Eleftheriadis Aris Papadopoulos

Published in: CoRR (2023)

Keyphrases

relational structures
datalog programs
relational data
association graph
machine learning
relational databases
class labels
deductive databases
natural language
expert systems
first order logic
expressive power
bayesian inference
fixpoint