Inanç Seylan
First name(s): Inanç
Last name(s): Seylan

Publications of Inanç Seylan
2012
Carsten Lutz, Inanç Seylan and Frank Wolter, An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic $mathcal{EL}$ (With Appendix), in: Proceedings of the 13nd International Joint Conference on Principles of Knowledge Representation and Reasoning ({KR2012}), 2012
2011
Enrico Franconi, Yazmin Angélica Ibáñez-Garc'{i}a and Inanç Seylan, Query Answering with DBoxes is Hard (2011), in: Electr. Notes Theor. Comput. Sci., 278(71-84)
2009