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

Benedikt Bollig Arnaud Sangnier Olivier Stietel

Published in: Log. Methods Comput. Sci. (2024)

Keyphrases

data sets
data analysis
data structure
synthetic data
data collection
statistical analysis
data quality
spatial data
data points
data processing
knowledge discovery
raw data
experimental data
end users
data sources
computational complexity
search algorithm
data mining