A logic for n-dimensional hierarchical refinement.
Alexandre MadeiraManuel A. MartinsLuís Soares BarbosaPublished in: Refine@FM (2015)
Keyphrases
- multi dimensional
- asynchronous circuits
- classical logic
- hierarchical clustering
- modal logic
- hierarchical model
- sound and complete axiomatization
- dynamic logic
- hierarchical classification
- coarse to fine
- multi agent
- multiresolution
- real time
- bayesian networks
- query refinement
- defeasible logic
- set theory
- hierarchical structures
- digital circuits
- deontic logic
- database systems
- knowledge base
- artificial intelligence