Synthesis for Prefix First-Order Logic on Data Words.

Julien Grange Mathieu Lehaut

Published in: FORTE (2024)

Keyphrases

first order logic
data structure
expressive power
data sources
probability distribution
theorem proving
database
bayesian networks
data model
inference rules
theorem prover
propositional logic
database queries