Article citations

Download citation

Automated search for several alternative logical inferences in a mivar knowledge base

Anton Kotsenko, Anastasiia Bazanova, Radmir Kim, Aleksandr Andreev, Dmitry Aladin, David Todua, Aleksei Marushchenko and Oleg Varlamov

E3S Web Conf., 515 (2024) 03017

DOI: https://doi.org/10.1051/e3sconf/202451503017

Back to the article