Embedding a logical theory of constructions in Agda.
Ana BovePeter DybjerAndrés Sicard-RamírezPublished in: PLPV (2009)
Keyphrases
- computational model
- logical theories
- machine learning
- logical properties
- clustering algorithm
- image processing
- multiscale
- theoretical basis
- knowledge representation
- general theory
- probabilistic logic
- theoretical framework
- image quality
- semi supervised
- data sets
- website
- feature selection
- artificial intelligence
- real world