Ismail Ilkan Ceylan : Publications

Explanations for Query Answers under Existential Rules

İsmail İlkan Ceylan‚ Thomas Lukasiewicz‚ Enrico Malizia and Andrius Vaicenavičius

In Artificial Intelligence. 2024.

Conditionally accepted for publication

Details about Explanations for Query Answers under Existential Rules | BibTeX data for Explanations for Query Answers under Existential Rules

Fisher Flow Matching for Generative Modeling over Discrete Data

Oscar Davis‚ Samuel Kessler‚ Mircea Petrache‚ İsmail İlkan Ceylan‚ Michael Bronstein and Avishek Joey Bose

In Proceedings of the 38th Annual Conference on Neural Information Processing Systems (NeurIPS). 2024.

Details about Fisher Flow Matching for Generative Modeling over Discrete Data | BibTeX data for Fisher Flow Matching for Generative Modeling over Discrete Data | Link to Fisher Flow Matching for Generative Modeling over Discrete Data

Learning on Large Graphs using Intersecting Communities

Ben Finkelshtein‚ İsmail İlkan Ceylan‚ Michael Bronstein and Ron Levie

In Proceedings of the 38th Annual Conference on Neural Information Processing Systems (NeurIPS). 2024.

Details about Learning on Large Graphs using Intersecting Communities | BibTeX data for Learning on Large Graphs using Intersecting Communities | Link to Learning on Large Graphs using Intersecting Communities

Almost Surely Asymptotically Constant Graph Neural Networks

Sam Adam−Day‚ Michael Benedikt‚ İsmail İlkan Ceylan and Ben Finkelshtein

In Proceedings of the 38th Annual Conference on Neural Information Processing Systems (NeurIPS). 2024.

Details about Almost Surely Asymptotically Constant Graph Neural Networks | BibTeX data for Almost Surely Asymptotically Constant Graph Neural Networks | Link to Almost Surely Asymptotically Constant Graph Neural Networks

Position Paper: Future Directions in Foundations of Graph Machine Learning

Christopher Morris‚ Nadav Dym‚ Haggai Maron‚ İsmail İlkan Ceylan‚ Fabrizio Frasca‚ Ron Levie‚ Derek Lim‚ Michael Bronstein‚ Martin Grohe and Stefanie Jegelka

In In Proceedings of Fourty−first International Conference on Machine Learning (ICML). 2024.

Details about Position Paper: Future Directions in Foundations of Graph Machine Learning | BibTeX data for Position Paper: Future Directions in Foundations of Graph Machine Learning | Link to Position Paper: Future Directions in Foundations of Graph Machine Learning

Homomorphism Counts for Graph Neural Networks: All About That Basis

Emily Jin‚ Michael Bronstein‚ İsmail İlkan Ceylan and Matthias Lanzinger

In Proceedings of Fourty−first International Conference on Machine Learning (ICML). 2024.

Details about Homomorphism Counts for Graph Neural Networks: All About That Basis | BibTeX data for Homomorphism Counts for Graph Neural Networks: All About That Basis | Link to Homomorphism Counts for Graph Neural Networks: All About That Basis

Cooperative Graph Neural Networks

Ben Finkelshtein‚ Xingyue Huang‚ Michael Bronstein and İsmail İlkan Ceylan

In Proceedings of Fourty−first International Conference on Machine Learning (ICML). 2024.

Details about Cooperative Graph Neural Networks | BibTeX data for Cooperative Graph Neural Networks | Link to Cooperative Graph Neural Networks

A Theory of Link Prediction via Relational Weisfeiler−Leman on Knowledge Graphs

Xingyue Huang‚ Miguel Romero Orth‚ İsmail İlkan Ceylan and Pablo Barcelo

In Proceedings of the 37th Annual Conference on Neural Information Processing Systems (NeurIPS). 2023.

Details about A Theory of Link Prediction via Relational Weisfeiler−Leman on Knowledge Graphs | BibTeX data for A Theory of Link Prediction via Relational Weisfeiler−Leman on Knowledge Graphs | Link to A Theory of Link Prediction via Relational Weisfeiler−Leman on Knowledge Graphs

PlanE: Representation Learning over Planar Graphs

Radoslav Dimitrov‚ Zeyang Zhao‚ Ralph Abboud and İsmail İlkan Ceylan

In Proceedings of the 37th Annual Conference on Neural Information Processing Systems (NeurIPS). 2023.

Details about PlanE: Representation Learning over Planar Graphs | BibTeX data for PlanE: Representation Learning over Planar Graphs | Link to PlanE: Representation Learning over Planar Graphs

Zero−One Laws of Graph Neural Networks

Sam Adam−Day‚ Theodor Mihai Iliant and İsmail İlkan Ceylan

In Proceedings of the 37th Annual Conference on Neural Information Processing Systems (NeurIPS). 2023.

Details about Zero−One Laws of Graph Neural Networks | BibTeX data for Zero−One Laws of Graph Neural Networks | Link to Zero−One Laws of Graph Neural Networks

The Dichotomy of Evaluating Homomorphism−Closed Queries on Probabilistic Graphs

Antoine Amarilli and İsmail İlkan Ceylan

In Logical Methods in Computer Science. Vol. 18/1. 2022.

Details about The Dichotomy of Evaluating Homomorphism−Closed Queries on Probabilistic Graphs | BibTeX data for The Dichotomy of Evaluating Homomorphism−Closed Queries on Probabilistic Graphs | Link to The Dichotomy of Evaluating Homomorphism−Closed Queries on Probabilistic Graphs

Shortest Path Networks for Graph Property Prediction

Ralph Abboud‚ Radoslav Dimitrov and İsmail İlkan Ceylan

In Proceedings of the First Learning on Graphs Conference (LoG). 2022.

Oral presentation

Details about Shortest Path Networks for Graph Property Prediction | BibTeX data for Shortest Path Networks for Graph Property Prediction | Link to Shortest Path Networks for Graph Property Prediction

Query Answer Explanations under Existential Rules

İsmail İlkan Ceylan‚ Thomas Lukasiewicz‚ Enrico Malizia and Andrius Vaicenavicius

In Giuseppe Amato‚ Valentina Bartalesi‚ Devis Bianchini‚ Claudio Gennaro and Riccardo Torlone, editors, Proceedings of the 30th Italian Symposium on Advanced Database Systems‚ SEBD 2022‚ Tirrenia (PI)‚ Italy‚ June 19−22‚ 2022. Vol. 3194 of CEUR Workshop Proceedings. Pages 481–488. CEUR−WS.org. 2022.

Details about Query Answer Explanations under Existential Rules | BibTeX data for Query Answer Explanations under Existential Rules | Download (pdf) of Query Answer Explanations under Existential Rules

Temporal Knowledge Graph Completion using Box Embeddings

Johannes Messner‚ Ralph Abboud and İsmail İlkan Ceylan

In Proceedings of the 36th AAAI Conference on Artificial Intelligence‚ AAAI 2022‚ Vancouver‚ BC‚ Canada. AAAI Press. 2022.

Details about Temporal Knowledge Graph Completion using Box Embeddings | BibTeX data for Temporal Knowledge Graph Completion using Box Embeddings | Link to Temporal Knowledge Graph Completion using Box Embeddings

Equivariant Quantum Graph Circuits

Peter Mérnyei‚ Konstantinos Meichanetzidis and İsmail İlkan Ceylan

In Proceedings of the 39th International Conference on Machine Learning‚ ICML 2022‚ Baltimore‚ Maryland‚ USA. 2022.

Details about Equivariant Quantum Graph Circuits | BibTeX data for Equivariant Quantum Graph Circuits | Download (pdf) of Equivariant Quantum Graph Circuits

The Surprising Power of Graph Neural Networks with Random Node Initialization

Ralph Abboud‚ İsmail İlkan Ceylan‚ Martin Grohe and Thomas Lukasiewicz

In Proceedings of the 30th International Joint Conference on Artificial Intelligence‚ IJCAI 2021‚ August 21–26‚ 2021. IJCAI. August, 2021.

Details about The Surprising Power of Graph Neural Networks with Random Node Initialization | BibTeX data for The Surprising Power of Graph Neural Networks with Random Node Initialization | Link to The Surprising Power of Graph Neural Networks with Random Node Initialization

Open−World Probabilistic Databases: Semantics‚ Algorithms‚ Complexity

İsmail İlkan Ceylan‚ Adnan Darwiche and Guy Van den Broeck

In Artificial Intelligence. Vol. 295. 2021.

Details about Open−World Probabilistic Databases: Semantics‚ Algorithms‚ Complexity | BibTeX data for Open−World Probabilistic Databases: Semantics‚ Algorithms‚ Complexity | DOI (https://doi.org/10.1016/j.artint.2021.103474) | Link to Open−World Probabilistic Databases: Semantics‚ Algorithms‚ Complexity

Preferred Explanations for Ontology−Mediated Queries under Existential Rules

İsmail İlkan Ceylan‚ Thomas Lukasiewicz‚ Enrico Malizia‚ Cristian Molinaro and Andrius Vaicenavičius

In Kevin Leyton−Brown and Mausam, editors, Proceedings of the 35th AAAI Conference on Artificial Intelligence‚ AAAI 2021‚ Virtual Conference‚ February 2–9‚ 2021. AAAI Press. 2021.

Details about Preferred Explanations for Ontology−Mediated Queries under Existential Rules | BibTeX data for Preferred Explanations for Ontology−Mediated Queries under Existential Rules | Link to Preferred Explanations for Ontology−Mediated Queries under Existential Rules

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 | Link to Explanations for Negative Query Answers under Existential Rules

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 | Link to Explanations for Ontology−Mediated Query Answering in Description Logics

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

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

BoxE: A Box Embedding Model for Knowledge Base Completion

Ralph Abboud‚ İsmail İlkan Ceylan‚ Thomas Lukasiewicz and Tommaso Salvatori

In Proceedings of the 34th Annual Conference on Neural Information Processing Systems‚ NeurIPS 2020‚ December 6–12‚ 2020. December, 2020.

Details about BoxE: A Box Embedding Model for Knowledge Base Completion | BibTeX data for BoxE: A Box Embedding Model for Knowledge Base Completion | Link to BoxE: A Box Embedding Model for Knowledge Base Completion

Explanations for Ontology−Mediated Query Answering in Description Logics (Extended Abstract)

İsmail İlkan Ceylan‚ Thomas Lukasiewicz‚ Enrico Malizia and Andrius Vaicenavicius

In Stefan Borgwardt and Thomas Meyer, editors, Proceedings of the 33rd International Workshop on Description Logics‚ DL 2020‚ co−located with the 17th International Conference on Principles of Knowledge Representation and Reasoning‚ KR 2020‚ Online Event [Rhodes‚ Greece]‚ September 12–14‚ 2020. Vol. 2663 of CEUR Workshop Proceedings. CEUR−WS.org. 2020.

Details about Explanations for Ontology−Mediated Query Answering in Description Logics (Extended Abstract) | BibTeX data for Explanations for Ontology−Mediated Query Answering in Description Logics (Extended Abstract) | Download (pdf) of Explanations for Ontology−Mediated Query Answering in Description Logics (Extended Abstract)

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

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

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

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)

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

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

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

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.

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

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

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

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

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

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

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+⁄−

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

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)

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

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!

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

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

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

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

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

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

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

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

Details about | BibTeX data for