SZX-Calculus: Scalable Graphical Quantum Reasoning.
Titouan CaretteDominic HorsmanSimon PerdrixPublished in: MFCS (2019)
Keyphrases
- graphical representation
- number restrictions
- proof procedure
- knowledge base
- highly scalable
- model based reasoning
- description logics
- meta level
- reasoning tasks
- quantum computing
- proof theory
- reasoning systems
- analogical reasoning
- knowledge representation
- reasoning mechanisms
- quantum computation
- qualitative spatial
- computational properties
- automated theorem proving
- cardinal directions
- uncertain information
- web scale
- model based diagnosis
- first order logic
- data model