Up a level |
Number of items: 2.
Konev, Boris ORCID: 0000-0002-6507-0494 and Kutsia, Temur
(2016)
Anti-Unification of Concepts in Description Logic EL.
In: 15th International Conference on Principles of Knowledge Representation and Reasoning, 2016-4-25 - 2016-4-29, Cape Town.
Lisitsa, Alexei and Vernitski, Alexei
(2017)
Automated Reasoning for Knot Semigroups and $$\pi $$ π -orbifold Groups of Knots.
.