Eliminating the unit constant in the Lambek calculus with brackets.

Stepan L. Kuznetsov

Published in: CoRR (2017)

Keyphrases

machine learning
real time
bayesian networks
expert systems
information technology
hidden markov models
first order logic
temporal reasoning