Login / Signup
Ildar Baimuratov
ORCID
Publication Activity (10 Years)
Years Active: 2018-2024
Publications (10 Years): 8
Top Topics
Dispute Resolution
Owl Dl
Diagrammatic Reasoning
Formal Semantics
Top Venues
MICSECS
Description Logics
CoRR
CIKM
</>
Publications
</>