EW-Tableaux, Le-Tableaux, Tree-Like Tableaux and the Abelian Sandpile Model.
Thomas SeligJason P. SmithEinar SteingrímssonPublished in: Electron. J. Comb. (2018)
Keyphrases
- functional dependencies
- computational model
- genetic algorithm
- probabilistic model
- theoretical framework
- neural network
- objective function
- cost function
- management system
- simulation model
- hierarchical structure
- experimental data
- decision procedures
- database
- automated reasoning
- modal logic
- tree structure
- mathematical model
- logic programming
- em algorithm
- logic programs
- similarity measure
- machine learning