Asymptotic Properties of Combinatory Logic.
Maciej BendkowskiKatarzyna GrygielMarek ZaioncPublished in: TAMC (2015)
Keyphrases
- asymptotic properties
- fixed point
- classical logic
- modal logic
- multi valued
- temporal difference learning algorithms
- predicate logic
- neural network
- logic programming
- expert systems
- machine learning
- probability theory
- automated reasoning
- probabilistic logic
- high quality
- formal theory
- asynchronous circuits
- linear logic
- proof theory
- three dimensional