Merging Logic and the Coinductive Selection Monad: Mixing Machine Learning Into Logical Search.

Ruslan Shevchenko, Anatoliy Doroshenko, Olena Yatsenko, Alexander Nemish

Browse the full ICTERI paper archive.