Dr.-Ing. Barış Sertkaya

Former member

Personal homepage

Former Research Associate in Research Group Automata Theory

Publications

Newest Publications

Sergei Obiedkov, Barış Sertkaya
Lattice-Based Approaches for Enumerating Stable Extensions in Abstract Argumentation Frameworks
In Madalina Croitoru, Domingo López-Rodríguez, Gerd Stumme, eds., The Third International Joint Conference on Conceptual Knowledge Structures (CONCEPTS 2026), LNCS, to appear. Springer
Details

Sergei Obiedkov, Barış Sertkaya
Computing Extensions of Abstract Argumentation Frameworks by Enumerating Closed Sets
In Marie-Laure Mugnier, Franz Baader, eds., Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning, KR 2026, Lisbon, Portugal, to appear
Details Download

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

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, 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

Felix Distel, Barış Sertkaya
On the complexity of enumerating pseudo-intents
Discrete Applied Mathematics, 159(6):450-466, 2011
Details

Rafael Peñaloza, Barış Sertkaya
Complexity of Axiom Pinpointing in the DL-Lite Family
In Volker Haarslev and David Toman and Grant Weddell, eds., Proceedings of the 2010 International Workshop on Description Logics (DL2010), volume 573 of CEUR-WS, 2010
Details Download

Rafael Peñaloza, Barış Sertkaya
On the Complexity of Axiom Pinpointing in the EL Family of Description Logics
In Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski, eds., Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), 2010. AAAI Press
Details Download

Rafael Peñaloza, Barış Sertkaya
Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics
In Helder Coelho and Rudi Studer and Michael Wooldridge, eds., Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), volume 215 of Frontiers in Artificial Intelligence and Applications, 29-34, 2010. IOS Press
Details Download

View full publication list