Keyphrases
- quantum computation
- logic circuits
- logic synthesis
- database language
- variable selection
- relational databases
- relational data
- modal logic
- data model
- propositional variables
- multi relational
- computational properties
- quantum computing
- logical formulas
- genetic algorithm
- quantum inspired
- deontic logic
- classical logic
- multi valued
- database schema
- logic programming
- object oriented
- automated reasoning
- defeasible logic
- hidden variables
- asynchronous circuits
- relational model
- proof theory
- random variables
- channel capacity
- artificial neural networks
- bayesian networks
- database