Keyphrases
- quantum computation
- logic circuits
- logic synthesis
- database language
- relational data
- relational learning
- relational databases
- quantum computing
- predicate logic
- data model
- modal logic
- quantum inspired
- classical logic
- relational structures
- logic programming
- low power
- automated reasoning
- multi valued
- statistical relational learning
- defeasible logic
- database
- proof theory
- natural deduction
- computational properties
- epistemic logic
- digital circuits
- information extraction
- database systems
- knowledge base
- databases