Publications of Sergei Obiedkov

Journal Articles

Sergei Obiedkov, Baris Sertkaya
PAC Learning of Concept Inclusions for Ontology-Mediated Query Answering
International Journal of Approximate Reasoning, 186:109523, November 2025
Details Download

Daniel Borchmann, Tom Hanika, Sergei Obiedkov
Probably approximately correct learning of Horn envelopes from queries
Discrete Applied Mathematics, 273:30–42, February 2020
Details Download

Ramil Yarullin, Sergei Obiedkov
From equivalence queries to PAC learning: The case of implication theories
International Journal of Approximate Reasoning, 127:1–16, December 2020
Details Download

Proceedings Articles

Sergei Obiedkov, Barış Sertkaya
AFCA: Searching for Complete Extensions via Enumeration of a Closure System
In Iosif Apostolakis, Andrei Popesci, Johannes P. Wallner, eds., Solver and Benchmark Descriptions of ICCMA 2025: Sixth International Competition on Computational Models of Argumentation, 11–12, 2026
Details Download

Lucas Carr, Nicholas Leisegang, Thomas Meyer, Sergei Obiedkov
Rational Inference in Formal Concept Analysis
In Peggy Cellier, Bernhard Ganter, Rokia Missaoui, eds., Conceptual Knowledge Structures. CONCEPTS 2025, volume 15941 of Lecture Notes in Artificial Intelligence, 325–341, September 2025. Springer
Details Download

Sergei Obiedkov, Barış Sertkaya
PAC Learning of Concept Inclusions for Ontology-Mediated Query Answering (Extended Abstract)
In Lidia Tendera, Yazmin Ibanez Garcia, Patrick Koopmann, eds., DL 2025: 38th International Workshop on Description Logics, volume 4091, September 2025. CEUR Workshop Proceedings
Details Download

Sergei Obiedkov, Sebastian Rudolph
When Horn is All You Need
In Peggy Cellier, Bernhard Ganter, Rokia Missaoui, eds., Conceptual Knowledge Structures. CONCEPTS 2025, volume 15941 of Lecture Notes in Artificial Intelligence, 309–324, September 2025. Springer
Details Download

Bernhard Ganter, Tom Hanika, Johannes Hirth, Sergei Obiedkov
Collaborative Hybrid Human AI Learning through Conceptual Exploration
In Petter Ericson, Nina Khairova, Marina De Vos, eds., HHAI-WS 2024: Workshops at the Third International Conference on Hybrid Human-Artificial Intelligence (HHAI 2024), volume 3825, 1–8, June 2024. CEUR Workshop Proceedings
Details Download

Daniil Kosakin, Sergei Obiedkov, Ekaterina Rakhilina, Ivan Smirnov, Anastasia Vyrenkova, Ekaterina Zalivina
Russian Learner Corpus: Towards Error-Cause Annotation for L2 Russian
In Nicoletta Calzolari, Min-Yen Kan, Veronique Hoste, Alessandro Lenci, Sakriani Sakti, Nianwen Xue, eds., Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024), 14240-14258, May 2024. ELRA and ICCL
Details Download

Sergei Obiedkov, Barış Sertkaya
Probably Approximately Correct Ontology Completion with pacco (Extended Abstract)
In Laura Giordano, Jean Christoph Jung, Ana Ozaki, eds., DL 2024: 37th International Workshop on Description Logics, volume 3739, June 2024. CEUR Workshop Proceedings
Details Download

Sergei Obiedkov, Barış Sertkaya
Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis
In Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz, eds., Logics in Artificial Intelligence. JELIA 2023, volume 14281 of LNAI, 176-191, September 2023. Springer
Details Download

Saurabh Bansal, Sriram Kailasam, Sergei Obiedkov
Approximate Computation of Exact Association Rules
In Agnès Braud, Aleksey Buzmakov, Tom Hanika, Florence Le Ber, eds., Formal Concept Analysis. ICFCA 2021, volume 12733 of Lecture Notes in Computer Science, 107-122, June 2021. Springer
Details Download

Edited Proceedings

Inma P. Cabrera, Sébastien Ferré, Sergei Obiedkov
Selected papers from the First International Joint Conference on Conceptual Knowledge Structures. International Journal of Approximate Reasoning
Volume 175, December 2024. Elsevier
Details Download

Inma P. Cabrera, Sébastien Ferré, Sergei Obiedkov
Conceptual Knowledge Structures
Volume 14914 of Lecture Notes in Computer Science, September 2024. Springer
Details

Technical Reports

Nikita Remnev, Sergei Obiedkov, Ekaterina Rakhilina, Ivan Smirnov, Anastasia Vyrenkova
A Language Model for Grammatical Error Correction in L2 Russian
Technical Report, arXiv.org, volume arXiv:2307.01609, 2023
Details Download