Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities.
Carlo AngiuliKuen-Bang Hou (Favonia)Robert HarperPublished in: CSL (2018)
Keyphrases
- knowledge base
- commonsense reasoning
- theoretical framework
- general theory
- reasoning systems
- deductive reasoning
- proof theory
- quantum mechanics
- formal models
- evidential reasoning
- digital images
- mathematical programming
- imprecise probabilities
- bayesian networks
- cognitive maps
- knowledge representation
- reasoning processes
- computational models
- formal theory
- reasoning tasks
- spatial reasoning
- bdi agents
- consistency checking
- automated reasoning
- neural network
- logical framework
- reasoning process