Barış Sertkaya
Aus International Center for Computational Logic
Dr.-Ing. Barış Sertkaya
Ehemaliges Mitglied
- Ehemals Wissenschaftlicher Mitarbeiter in Forschungsgruppe Automatentheorie
Neueste Publikationen
Komplette Publikationsliste anzeigen
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
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
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 Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 09-04, 2009. LTCS-Report
Details Download
Rafael Peñaloza, Barış Sertkaya
Axiom Pinpointing is Hard
In Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler, eds., Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009
Details Download
Barış Sertkaya
OntoComP System Description
In Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler, eds., Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009
Details Download
Franz Baader, Barış Sertkaya
Usability Issues in Description Logic Knowledge Base Completion
In Sébastien Ferré and Sebastian Rudolph, eds., Proceedings of the 7th International Conference on Formal Concept Analysis, (ICFCA 2009), volume 5548 of Lecture Notes in Artificial Ingelligence, 1-21, 2009. Springer
Details Download
Barış Sertkaya
Towards the Complexity of Recognizing Pseudo-intents
In Frithjof Dau and Sebastian Rudolph, eds., Proceedings of the 17th International Conference on Conceptual Structures, (ICCS 2009), volume 5662, 284-292, 2009
Details Download