Synthesis for prefix first-order logic on data words.

Julien Grange Mathieu Lehaut

Published in: CoRR (2024)

Keyphrases

first order logic
data sources
data structure
inference rules
database
probability distribution
background knowledge
expressive power
markov networks
labeled data
inductive logic programming
probabilistic reasoning
probabilistic graphical models
constraint databases