On the likelihood of normalisation in combinatory logic.
Maciej BendkowskiKatarzyna GrygielMarek ZaioncPublished in: CoRR (2016)
Keyphrases
- modal logic
- maximum likelihood
- logic programming
- classical logic
- asynchronous circuits
- multi valued
- information retrieval
- epistemic logic
- automated reasoning
- computational properties
- sound and complete axiomatization
- data sets
- delay insensitive
- likelihood ratio
- text categorization
- artificial intelligence
- neural network
- databases