Keyphrases
- quantum computation
- logic circuits
- logic synthesis
- quantum computing
- kernel function
- logic programming
- predicate logic
- classical logic
- sparse kernel
- neural network
- multi valued
- component analysis
- kernel matrix
- modal logic
- information retrieval
- convolution kernel
- data sets
- deontic logic
- mutual subspace method
- digital circuits
- kernel regression
- computational properties
- kernel density estimation
- reproducing kernel hilbert space
- automated reasoning
- kernel methods
- evolutionary algorithm