Finite and Algorithmic Model Theory (Dagstuhl Seminar 22051).
Albert AtseriasChristoph BerkholzKousha EtessamiJoanna OchremiakPublished in: Dagstuhl Reports (2022)
Keyphrases
- social networks
- computational model
- formal model
- theoretical framework
- experimental data
- high level
- mathematical model
- management system
- theoretical analysis
- mathematical models
- probabilistic model
- data mining
- cost function
- objective function
- statistical model
- first order logic
- clustering algorithm
- conceptual framework
- data sets