Approximate Relational Reasoning for Quantum Programs.
Peng YanHanru JiangNengkun YuPublished in: CAV (3) (2024)
Keyphrases
- quantum computation
- belief updating
- reasoning systems
- relational databases
- entity relationship
- quantum inspired
- relational data
- computer programs
- automated reasoning
- structured representations
- quantum computing
- statistical relational learning
- reasoning tasks
- exact solution
- probabilistic reasoning
- knowledge base
- neural network
- qualitative reasoning
- fixpoint
- spatial reasoning
- stable models
- uncertain information
- meta level
- model based reasoning
- integrity constraints
- knowledge representation
- expert systems