On the Satisfiability of Local First-Order Logics with Data.

Benedikt Bollig Arnaud Sangnier Olivier Stietel

Published in: CoRR (2023)

Keyphrases

data sets
original data
missing data
data analysis
data collection
small number
training data
synthetic data
image data
database
experimental data
clustering algorithm
knowledge discovery
data points
data mining techniques
input data
data sources
relational databases
computational complexity
sensor data
knowledge base