Ismail Ilkan Ceylan : Publications
Book chapters
-
[1]
A Tutorial on Query Answering and Reasoning over Probabilistic Knowledge Bases
İsmail İlkan Ceylan and Thomas Lukasiewicz
In Claudia d'Amato and Martin Theobald, editors, Reasoning Web. Learning‚ Uncertainty‚ Streaming‚ and Scalability — 14th International Summer School 2018‚ Esch−sur−Alzette‚ Luxembourg‚ September 22−26‚ 2018‚ Tutorial Lectures. Vol. 11078 of Lecture Notes in Computer Science. Pages 35–77. Springer. August, 2018.
Details about A Tutorial on Query Answering and Reasoning over Probabilistic Knowledge Bases | BibTeX data for A Tutorial on Query Answering and Reasoning over Probabilistic Knowledge Bases | Link to A Tutorial on Query Answering and Reasoning over Probabilistic Knowledge Bases
Journal papers
-
[1]
The Bayesian Ontology Language BEL
İsmail İlkan Ceylan and Rafael Peñaloza
In Journal of Automated Reasoning. Vol. 58. No. 1. Pages 67–95. 2017.
Details about The Bayesian Ontology Language BEL | BibTeX data for The Bayesian Ontology Language BEL | Link to The Bayesian Ontology Language BEL
Conference papers
-
[1]
Explanations for Negative Query Answers under Existential Rules
İsmail İlkan Ceylan‚ Thomas Lukasiewicz‚ Enrico Malizia‚ Cristian Molinaro and Andrius Vaicenavičius
In Diego Calvanese and Esra Erdem, editors, Proceedings of 17th International Conference on Principles of Knowledge Representation and Reasoning‚ KR 2020‚ Rhodes‚ Greece‚ September 12−18‚ 2020. AAAI Press. September, 2020.
Details about Explanations for Negative Query Answers under Existential Rules | BibTeX data for Explanations for Negative Query Answers under Existential Rules
-
[2]
On the Approximability of Weighted Model Integration on DNF Structures
Ralph Abboud‚ İsmail İlkan Ceylan and Radoslav Dimitrov
In Diego Calvanese and Esra Erdem, editors, Proceedings of 17th International Conference on Principles of Knowledge Representation and Reasoning‚ KR 2020‚ September 12−18‚ Rhodes‚ Greece. AAAI Press. 2020.
Details about On the Approximability of Weighted Model Integration on DNF Structures | BibTeX data for On the Approximability of Weighted Model Integration on DNF Structures | Download (pdf) of On the Approximability of Weighted Model Integration on DNF Structures
-
[3]
Neural Networks for Approximate DNF Counting: An Abridged Report
Ralph Abboud‚ İsmail İlkan Ceylan and Thomas Lukasiewicz
In Lingfei Wu‚ Jian Tang‚ Yinglong Xia and Charu Aggarwal, editors, Proceedings of the 1st International Workshop on Deep Learning on Graphs: Methodologies and Applications‚ DLGMA 2020‚ New York‚ New York‚ USA‚ February 8‚ 2020. February, 2020.
Details about Neural Networks for Approximate DNF Counting: An Abridged Report | BibTeX data for Neural Networks for Approximate DNF Counting: An Abridged Report | Download (pdf) of Neural Networks for Approximate DNF Counting: An Abridged Report
-
[4]
A Dichotomy for Homomorphism−Closed Queries on Probabilistic Graphs
Antoine Amarilli and İsmail İlkan Ceylan
In Carsten Lutz, editor, Proceedings of the 23rd International Conference on Database Theory‚ ICDT 2020‚ Copenhagen‚ Denmark‚ 30th March−2nd April‚ 2020. Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik. 2020.
Best Paper Prize
Details about A Dichotomy for Homomorphism−Closed Queries on Probabilistic Graphs | BibTeX data for A Dichotomy for Homomorphism−Closed Queries on Probabilistic Graphs | Download (pdf) of A Dichotomy for Homomorphism−Closed Queries on Probabilistic Graphs
-
[5]
Explanations for Ontology−Mediated Query Answering in Description Logics
İsmail İlkan Ceylan‚ Thomas Lukasiewicz‚ Enrico Malizia and Andrius Vaicenavičius
In Giuseppe De Giacomo, editor, Proceedings of the 24th European Conference on Artificial Intelligence‚ ECAI 2020‚ Santiago de Compostela‚ Spain‚ June 8–12‚ 2020. IOS Press. June, 2020.
Details about Explanations for Ontology−Mediated Query Answering in Description Logics | BibTeX data for Explanations for Ontology−Mediated Query Answering in Description Logics
-
[6]
Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting
Ralph Abboud‚ İsmail İlkan Ceylan and Thomas Lukasiewicz
In Vincent Conitzer and Fei Sha, editors, Proceedings of the 34th AAAI Conference on Artificial Intelligence‚ AAAI 2020‚ New York‚ New York‚ USA‚ February 7–12‚ 2020. AAAI Press. February, 2020.
Details about Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting | BibTeX data for Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting | Link to Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting
-
[7]
Ontology−Mediated Query Answering over Log−Linear Probabilistic Data (Abstract)
Stefan Borgwardt‚ İsmail İlkan Ceylan and Thomas Lukasiewicz
In Mantas Simkus and Grant E. Weddell, editors, Proceedings of the 32nd International Workshop on Description Logics‚ DL 2019‚ Oslo‚ Norway‚ June 18−21‚ 2019. Vol. 2373 of CEUR Workshop Proceedings. CEUR−WS.org. June, 2019.
Details about Ontology−Mediated Query Answering over Log−Linear Probabilistic Data (Abstract) | BibTeX data for Ontology−Mediated Query Answering over Log−Linear Probabilistic Data (Abstract) | Download (pdf) of Ontology−Mediated Query Answering over Log−Linear Probabilistic Data (Abstract)
-
[8]
Explanations for Query Answers under Existential Rules
İsmail İlkan Ceylan‚ Thomas Lukasiewicz‚ Enrico Malizia and Andrius Vaicenavičius
In Sarit Kraus, editor, Proceedings of the 28th International Joint Conference on Artificial Intelligence‚ IJCAI 2019‚ Macao‚ China‚ August 10−16‚ 2019. Pages 1639–1646. IJCAI/AAAI Press. August, 2019.
Details about Explanations for Query Answers under Existential Rules | BibTeX data for Explanations for Query Answers under Existential Rules | Download (pdf) of Explanations for Query Answers under Existential Rules | Link to Explanations for Query Answers under Existential Rules
-
[9]
Ontology−Mediated Query Answering over Log−Linear Probabilistic Data
Stefan Borgwardt‚ İsmail İlkan Ceylan and Thomas Lukasiewicz
In Pascal Van Hentenryck and Zhi−Hua Zhou, editors, Proceedings of the 33rd National Conference on Artificial Intelligence‚ AAAI 2019‚ Honolulu‚ Hawaii‚ USA‚ January 27 − February 1‚ 2019. Pages 2711–2718. AAAI Press. January, 2019.
Details about Ontology−Mediated Query Answering over Log−Linear Probabilistic Data | BibTeX data for Ontology−Mediated Query Answering over Log−Linear Probabilistic Data | Link to Ontology−Mediated Query Answering over Log−Linear Probabilistic Data
-
[10]
Anfragebeantwortung in Probabilistischen Datenbanken und Wissensbasen.
İsmail İlkan Ceylan
In Steffen Hölldobler, editor, Proceedings of Ausgezeichnete Informatikdissertationen‚ Dagstuhl‚ Germany‚ May 6−9‚ 2018. Springer Verlag. 2018.
Details about Anfragebeantwortung in Probabilistischen Datenbanken und Wissensbasen. | BibTeX data for Anfragebeantwortung in Probabilistischen Datenbanken und Wissensbasen. | Download (pdf) of Anfragebeantwortung in Probabilistischen Datenbanken und Wissensbasen.
-
[11]
Recent Advances in Querying Probabilistic Knowledge Bases
Stefan Borgwardt‚ İsmail İlkan Ceylan and Thomas Lukasiewicz
In Jérôme Lang, editor, Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence‚ IJCAI−ECAI 2018‚ Stockholm‚ Sweden‚ July 13−19‚ 2018. Pages 5420−5426. IJCAI/AAAI Press. July, 2018.
Details about Recent Advances in Querying Probabilistic Knowledge Bases | BibTeX data for Recent Advances in Querying Probabilistic Knowledge Bases | Link to Recent Advances in Querying Probabilistic Knowledge Bases
-
[12]
Open−World Probabilistic Databases: An Abridged Report
İsmail İlkan Ceylan‚ Adnan Darwiche and Guy Van Den Broeck
In Carles Sierra, editor, Proceedings of the 26th International Joint Conference on Artificial Intelligence‚ IJCAI 2017‚ Melbourne‚ Australia‚ August 19−25‚ 2017. Pages 4796−4800. IJCAI/AAAI Press. August, 2017.
Sister Conference Best Paper Track
Details about Open−World Probabilistic Databases: An Abridged Report | BibTeX data for Open−World Probabilistic Databases: An Abridged Report | Download (pdf) of Open−World Probabilistic Databases: An Abridged Report
-
[13]
Most Probable Explanations for Probabilistic Database Queries
İsmail İlkan Ceylan‚ Stefan Borgwardt and Thomas Lukasiewicz
In Carles Sierra, editor, Proceedings of the 26th International Joint Conference on Artificial Intelligence‚ IJCAI 2017‚ Melbourne‚ Australia‚ August 19−25‚ 2017. Pages 950–956. IJCAI/AAAI Press. August, 2017.
Details about Most Probable Explanations for Probabilistic Database Queries | BibTeX data for Most Probable Explanations for Probabilistic Database Queries | Download (pdf) of Most Probable Explanations for Probabilistic Database Queries
-
[14]
Ontology−Mediated Queries for Probabilistic Databases
Stefan Borgwardt‚ İsmail İlkan Ceylan and Thomas Lukasiewicz
In Satinder Singh and Shaul Markovitch, editors, Proceedings of the 31st National Conference on Artificial Intelligence‚ AAAI 2017‚ San Francisco‚ California‚ USA‚ February 4–9‚ 2017. Pages 1063–1069. AAAI Press. 2017.
Details about Ontology−Mediated Queries for Probabilistic Databases | BibTeX data for Ontology−Mediated Queries for Probabilistic Databases | Link to Ontology−Mediated Queries for Probabilistic Databases
-
[15]
Query Answering in Ontologies Under Preference Rankings
İsmail İlkan Ceylan‚ Thomas Lukasiewicz‚ Rafael Peñaloza and Oana Tifrea−Marciuska
In Carles Sierra, editor, Proceedings of the 26th International Joint Conference on Artificial Intelligence‚ IJCAI 2017‚ Melbourne‚ Australia‚ August 19−25‚ 2017. Pages 943–949. IJCAI/AAAI Press. August, 2017.
Details about Query Answering in Ontologies Under Preference Rankings | BibTeX data for Query Answering in Ontologies Under Preference Rankings | Download (pdf) of Query Answering in Ontologies Under Preference Rankings
-
[16]
Open−World Probabilistic Databases
İsmail İlkan Ceylan‚ Adnan Darwiche and Guy Van den Broeck
In Chitta Baral‚ James P. Delgrande and Frank Wolter, editors, Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning‚ KR 2016‚ Cape Town‚ South Africa‚ April 25−29‚ 2016.. Pages 339–348. AAAI Press. 2016.
Marco Cadoli−Best Student Paper Award
Details about Open−World Probabilistic Databases | BibTeX data for Open−World Probabilistic Databases | Link to Open−World Probabilistic Databases
-
[17]
Open−World Probabilistic Databases (Extended Abstract)
İsmail İlkan Ceylan‚ Adnan Darwiche and Guy Van den Broeck
In Maurizio Lenzerini and Rafael Peñaloza, editors, Proceedings of the 29th International Workshop on Description Logics‚ Cape Town‚ South Africa‚ April 22−25‚ 2016. Vol. 1577 of CEUR Workshop Proceedings. CEUR−WS.org. 2016.
Details about Open−World Probabilistic Databases (Extended Abstract) | BibTeX data for Open−World Probabilistic Databases (Extended Abstract) | Download (pdf) of Open−World Probabilistic Databases (Extended Abstract)
-
[18]
Complexity Results for Probabilistic Datalog+⁄−
İsmail İlkan Ceylan‚ Thomas Lukasiewicz and Rafael Peñaloza
In Maria S. Fox and Gal A. Kaminka, editors, Proceedings of the 22nd European Conference on Artificial Intelligence‚ ECAI 2016‚ The Hague‚ The Netherlands‚ August 29 − September 2‚ 2016. Pages 1414−1422. IOS Press. August, 2016.
Details about Complexity Results for Probabilistic Datalog+⁄− | BibTeX data for Complexity Results for Probabilistic Datalog+⁄− | Link to Complexity Results for Probabilistic Datalog+⁄−
-
[19]
Probabilistic Query Answering in the Bayesian Description Logic BEL
İsmail İlkan Ceylan and Rafael Peñaloza
In Christoph Beierle and Alex Dekhtyar, editors, Proceedings of the 9th International Conference on Scalable Uncertainty Management‚ SUM 2015‚ Québec City‚ QC‚ Canada‚ September 16−18‚ 2015.. Vol. 9310 of Lecture Notes in Computer Science. Pages 21–35. Springer. 2015.
Details about Probabilistic Query Answering in the Bayesian Description Logic BEL | BibTeX data for Probabilistic Query Answering in the Bayesian Description Logic BEL | Link to Probabilistic Query Answering in the Bayesian Description Logic BEL
-
[20]
The Bayesian Ontology Reasoner is BORN!
İsmail İlkan Ceylan‚ Julian Mendez and Rafael Peñaloza
In Michel Dumontier‚ Birte Glimm‚ Rafael S. Gonçalves‚ Matthew Horridge‚ Ernesto Jiménez−Ruiz‚ Nicolas Matentzoglu‚ Bijan Parsia‚ Giorgos B. Stamou and Giorgos Stoilos, editors, Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE−2015) co−located with the 28th International Workshop on Description Logics (DL 2015)‚ Athens‚ Greece‚ June 6‚ 2015.. Vol. 1387 of CEUR Workshop Proceedings. Pages 8–14. CEUR−WS.org. 2015.
Details about The Bayesian Ontology Reasoner is BORN! | BibTeX data for The Bayesian Ontology Reasoner is BORN! | Download (pdf) of The Bayesian Ontology Reasoner is BORN!
-
[21]
Dynamic Bayesian Description Logics
İsmail İlkan Ceylan and Rafael Peñaloza
In Diego Calvanese and Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics‚ Athens‚Greece‚ June 7−10‚ 2015. Vol. 1350 of CEUR Workshop Proceedings. CEUR−WS.org. 2015.
Details about Dynamic Bayesian Description Logics | BibTeX data for Dynamic Bayesian Description Logics | Download (pdf) of Dynamic Bayesian Description Logics
-
[22]
Query Answering in Bayesian Description Logics
İsmail İlkan Ceylan
In Diego Calvanese and Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics‚ Athens‚ Greece‚ June 7−10‚ 2015.. Vol. 1350 of CEUR Workshop Proceedings. CEUR−WS.org. 2015.
Details about Query Answering in Bayesian Description Logics | BibTeX data for Query Answering in Bayesian Description Logics | Download (pdf) of Query Answering in Bayesian Description Logics
-
[23]
Answering EL Queries in the Presence of Preferences
İsmail İlkan Ceylan‚ Thomas Lukasiewicz and Rafael Peñaloza
In Diego Calvanese and Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics‚ DL 2015‚ Athens‚ Greece‚ June 7−10‚ 2015. Vol. 1350 of CEUR Workshop Proceedings. Pages 380−383. CEUR−WS.org. 2015.
Details about Answering EL Queries in the Presence of Preferences | BibTeX data for Answering EL Queries in the Presence of Preferences | Download (pdf) of Answering EL Queries in the Presence of Preferences
-
[24]
Verification of Context−Sensitive Knowledge and Action Bases
Diego Calvanese‚ İsmail İlkan Ceylan‚ Marco Montali and Ario Santoso
In Eduardo Fermé and João Leite, editors, Proceedings of the 14th European Conference on Logics in Artificial Intelligence‚ JELIA 2014‚ Funchal‚ Madeira‚ Portugal‚ September 24−26‚ 2014.. Vol. 8761 of Lecture Notes in Computer Science. Pages 514–528. Springer. 2014.
Details about Verification of Context−Sensitive Knowledge and Action Bases | BibTeX data for Verification of Context−Sensitive Knowledge and Action Bases | Link to Verification of Context−Sensitive Knowledge and Action Bases
-
[25]
Tight Complexity Bounds for Reasoning in the Description Logic BEL
İsmail İlkan Ceylan and Rafael Peñaloza
In Eduardo Fermé and João Leite, editors, Proceedings of the 14th European Conference on Logics in Artificial Intelligence‚ JELIA 2014‚ Funchal‚ Madeira‚ Portugal‚ September 24−26‚ 2014.. Vol. 8761 of Lecture Notes in Computer Science. Pages 77–91. Springer. 2014.
Details about Tight Complexity Bounds for Reasoning in the Description Logic BEL | BibTeX data for Tight Complexity Bounds for Reasoning in the Description Logic BEL | Link to Tight Complexity Bounds for Reasoning in the Description Logic BEL
-
[26]
Bayesian Description Logics
İsmail İlkan Ceylan and Rafael Peñaloza
In Meghyn Bienvenu‚ Magdalena Ortiz‚ Riccardo Rosati and Mantas Simkus, editors, Proceedings of the 27th International Workshop on Description Logics‚ ‚ DL 2014‚ Vienna‚ Austria‚ July 17−20‚ 2014. Vol. 1193 of CEUR Workshop Proceedings. Pages 447–458. CEUR−WS.org. 2014.
Details about Bayesian Description Logics | BibTeX data for Bayesian Description Logics | Download (pdf) of Bayesian Description Logics
-
[27]
The Bayesian Description Logic BEL
İsmail İlkan Ceylan and Rafael Peñaloza
In Stéphane Demri‚ Deepak Kapur and Christoph Weidenbach, editors, Proceedings of 7th International Joint Conference on Automated Reasoning‚ IJCAR 2014‚ Held as Part of the Vienna Summer of Logic‚ VSL 2014‚ Vienna‚ Austria‚ July 19−22‚ 2014. Vol. 8562 of Lecture Notes in Computer Science. Pages 480–494. Springer. 2014.
Details about The Bayesian Description Logic BEL | BibTeX data for The Bayesian Description Logic BEL | Link to The Bayesian Description Logic BEL
-
[28]
Reasoning in the Description Logic BEL Using Bayesian Networks
İsmail İlkan Ceylan and Rafael Peñaloza
In Statistical Relational Artificial Intelligence‚ Papers from the 2014 AAAI Workshop‚ Québec City‚ Québec‚ Canada‚ July 27‚ 2014. Vol. WS−14−13 of AAAI Workshops. AAAI. 2014.
Details about Reasoning in the Description Logic BEL Using Bayesian Networks | BibTeX data for Reasoning in the Description Logic BEL Using Bayesian Networks | Link to Reasoning in the Description Logic BEL Using Bayesian Networks
-
[29]
Theses
-
[1]
Query Answering in Probabilistic Data and Knowledge Bases
İsmail İlkan Ceylan
PhD Thesis TU Dresden. 2017.
Details about Query Answering in Probabilistic Data and Knowledge Bases | BibTeX data for Query Answering in Probabilistic Data and Knowledge Bases | Download (pdf) of Query Answering in Probabilistic Data and Knowledge Bases