On the Existential Fragments of Local First-Order Logics with Data.
Benedikt BolligArnaud SangnierOlivier StietelPublished in: GandALF (2022)
Keyphrases
- data structure
- raw data
- synthetic data
- data sets
- original data
- high dimensional data
- high quality
- database
- data points
- data collection
- learning algorithm
- training data
- experimental data
- data processing
- statistical analysis
- modal logic
- sensor data
- missing data
- data mining techniques
- small number
- data analysis
- website
- data mining