Equational Reasoning as a Tool for Data Analysis
| Contribuinte(s) |
R. Dutter |
|---|---|
| Data(s) |
01/01/2002
|
| Resumo |
A combination of deductive reasoning, clustering, and inductive learning is given as an example of a hybrid system for exploratory data analysis. Visualization is replaced by a dialogue with the data. |
| Identificador | |
| Publicador |
Austrian Statistical Society |
| Palavras-Chave | #Automated deduction #Clustering #230101 Mathematical Logic, Set Theory, Lattices And Combinatorics |
| Tipo |
Journal Article |
