Quantifying Over Trees in Monadic Second-Order Logic.

Massimo Benerecetti Laura Bozzelli Fabio Mogavero Adriano Peron

Published in: LICS (2023)

Keyphrases

data exchange
monadic second order logic
query answering
data complexity
tree automata
expressive power
regular expressions
first order logic
decision trees
query language
finite state
finite automata
pattern matching
databases
knowledge base
artificial intelligence
machine learning