Ildar Baimuratov

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 8

Top Topics

Dispute Resolution

Diagrammatic Reasoning

Formal Semantics

Top Venues

Description Logics

Publications

Ildar Baimuratov
Diagrammatic Reasoning for ALC Visualization with Logic Graphs. WWW (2024)
Ildar Baimuratov, Elena Lisanyuk, Dmitry Prokudin
Dispute Resolution with OWL DL and Reasoning. Description Logics (2023)
Christof Bless, Ildar Baimuratov, Oliver Karras
SciKGTeX - A LaTeX Package to Semantically Annotate Contributions in Scientific Publications. CoRR (2023)
Christof Bless, Ildar Baimuratov, Oliver Karras
SciKGTeX - A LATEX Package to Semantically Annotate Contributions in Scientific Publications. JCDL (2023)
Vasiliy Kuryshev, Ildar Baimuratov, Vladislav Shmatkov, Dmitry Mouromtsev
Generating Visualizations of Ontologies in the Logic Graphs Language. FRUCT (2022)
Baifan Zhou, Yulia Svetashova, Tim Pychynski, Ildar Baimuratov, Ahmet Soylu, Evgeny Kharlamov
SemFE: Facilitating ML Pipeline Development with Semantics. CIKM (2020)
Ngoc Than Nguyen, Ildar Baimuratov
Logic Graphs: Complete, Semantic-Oriented and Easy to Learn Visualization Method for OWL DL Language. MICSECS (2020)
Dmitry Mouromtsev, Ildar Baimuratov
Logic Graphs: A complete visualization method for logical languages based on Ch. S. Peirce's existential graphs. MICSECS (2018)