Extension of Combinatory Logic to a Theory of Combinatory Representation.
Trudy WeibelPublished in: Theor. Comput. Sci. (1992)
Keyphrases
- formal theory
- multi valued
- proof theoretic
- data sets
- proof theory
- theoretical framework
- truth maintenance systems
- computer algebra
- image representation
- theoretical basis
- logical framework
- general theory
- set theory
- asynchronous circuits
- commonsense reasoning
- predicate calculus
- binary decision diagrams
- bayesian networks
- genetic algorithm
- neural network