Graphical reasoning in compact closed categories for quantum computation.
Lucas DixonRoss DuncanPublished in: Ann. Math. Artif. Intell. (2009)
Keyphrases
- quantum computation
- graphical representation
- knowledge representation
- reasoning systems
- reasoning tasks
- reasoning process
- automated reasoning
- spatial reasoning
- qualitative reasoning
- logical reasoning
- resource bounded
- model based reasoning
- analogical reasoning
- knowledge representation and reasoning
- website
- rule based reasoning
- formal models
- consistency checking
- case based reasoning
- probabilistic logic
- neural network
- steady state
- hierarchical structure
- queueing networks