Login / Signup
Evgeny Kolmakov
ORCID
Publication Activity (10 Years)
Years Active: 2014-2020
Publications (10 Years): 2
Top Topics
Classification Algorithm
Answer Sets
Transitive Closure
Formal Concept Analysis
Top Venues
FCA4AI@ECAI
Arch. Math. Log.
J. Symb. Log.
</>
Publications
</>
Evgeny Kolmakov
Local reflection, definable elements and 1-provability.
Arch. Math. Log.
59 (7-8) (2020)
Evgeny Kolmakov
,
Lev Beklemishev
Axiomatization of Provable n-Provability.
J. Symb. Log.
84 (2) (2019)
Evgeny Kolmakov
Metric Generalization and Modification of Classification Algorithms Based on Formal Concept Analysis.
FCA4AI@ECAI
(2014)