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

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

Published in: CoRR (2019)

Keyphrases

first order logic
database
expressive power
search algorithm
np hard
data sources
propositional logic
probabilistic reasoning
database systems
data management
background knowledge
inductive logic programming
highly expressive