Impredicative Encodings of Inductive-Inductive Data in Cedille.
Andrew MarmadukeLarry DiehlAaron StumpPublished in: TFP (2023)
Keyphrases
- data sets
- data collection
- database
- data analysis
- data processing
- synthetic data
- inductive learning
- sensor data
- image data
- input data
- complex data
- inductive logic programming
- raw data
- application domains
- machine learning
- training data
- probability distribution
- data sources
- relational databases
- knowledge representation
- experimental data
- data acquisition
- missing values
- original data
- big data
- prior knowledge
- data structure