Публикации
Статья
On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic
2021
1193-1202
Статья
On the Minimal Fragment of S5 Modal Logic
2021
7-12
Статья
On Machine Learning Powered Theorem Prover for Propositional Fragment of Minimal Logic
2020
135-142
Статья
On Some Systems of Propositional Minimal Logic with Loop Detection
2019
110-115
Патент
Error Determination from Logs
Конференция
ON A COMPACTNESS THEOREM FOR FUZZY LOGIC