DAL - A Logic for Data Analysis.
Luis Fariñas del CerroEwa OrlowskaPublished in: Theor. Comput. Sci. (1985)
Keyphrases
- data analysis
- modal logic
- asynchronous circuits
- data collection
- biological data
- business intelligence
- classical logic
- database
- data mining
- knowledge discovery
- deontic logic
- probabilistic logic
- artificial intelligence
- high dimensional data
- multi valued
- automated reasoning
- cluster analysis
- big data
- data visualization
- intelligent data analysis
- sound and complete axiomatization
- rough set theory
- model checking
- logic programming
- data processing
- data mining techniques
- multi agent systems
- search engine
- machine learning