Login / Signup
Boris Kulik
ORCID
Publication Activity (10 Years)
Years Active: 2012-2021
Publications (10 Years): 1
Top Topics
Logical Inference
Pairwise
Benchmark Datasets
Higher Order
Top Venues
Comput. Informatics
RCAI
</>
Publications
</>
Boris Kulik
,
Alexander Fridman
Methods for Finding Consequences with Specified Properties.
RCAI
(2021)
Boris Kulik
,
Alexander Fridman
,
Alexander Zuenko
Algebraic Approach to Logical Inference Implementation.
Comput. Informatics
31 (6) (2012)