Parameterized Synthesis for Fragments of First-Order Logic Over Data Words.

Béatrice Bérard Benedikt Bollig Mathieu Lehaut Nathalie Sznajder

Published in: FoSSaCS (2020)

Keyphrases

first order logic
propositional logic
expressive power
data sources
probability distribution
relational databases
theorem proving
probabilistic reasoning
representation language