Publications of İsmail İlkan Ceylan
From International Center for Computational Logic
Publications of İsmail İlkan Ceylan
Journal Articles
İsmail İlkan Ceylan, Rafael Peñaloza Nyssen
The Bayesian Ontology Language BEL
Journal of Automated Reasoning, 58(1):67--95, 2017
Details Download
Proceedings Articles
Stefan Borgwardt, İsmail İlkan Ceylan, Thomas Lukasiewicz
Ontology-Mediated Queries for Probabilistic Databases
In Satinder Singh, Shaul Markovitch, eds., Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI 2017), 1063–1069, 2017. AAAI Press
Details Download
İsmail İlkan Ceylan, Stefan Borgwardt, Thomas Lukasiewicz
Most Probable Explanations for Probabilistic Database Queries
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), to appear
Details Download
İsmail İlkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza, Oana Tifrea-Marciuska
Query Answering in Ontologies under Preference Rankings
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), to appear
Details Download
İsmail İlkan Ceylan, Adnan Darwiche, Guy Van Den Broeck
Open-World Probabilistic Databases: An Abridged Report
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), to appear
Details Download
İsmail İlkan Ceylan, Adnan Darwiche, Guy Van den Broeck
Open-World Probabilistic Databases
In Chitta Baral and James P. Delgrande and Frank Wolter, eds., Proceedings of 15. International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), 339--348, 2016. AAAI Press
Details Download
İsmail İlkan Ceylan, Adnan Darwiche, Guy Van den Broeck
Open-World Probabilistic Databases (Extended Abstract)
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL 2016), volume 1577, 2016. CEUR Workshop Proceedings
Details Download
İsmail İlkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza Nyssen
Complexity Results for Probabilistic Datalog+/-
In Maria S. Fox, Gal A. Kaminka, eds., Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), 1414–1422, 2016. IOS Press
Details Download
İsmail İlkan Ceylan, Julian Mendez, Rafael Peñaloza
The Bayesian Ontology reasoner is BORN!
In Michel Dumontier, Birte Glimm, Rafael Gonçalves, Matthew Horridge, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Giorgos Stamou, Giorgos Stoilos, eds., Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE 2015), volume 1387, 8-14, 2015. CEUR Workshop Proceedings
Details Download
İsmail İlkan Ceylan, Rafael Peñaloza
Probabilistic Query Answering in the Bayesian Description Logic BEL
In Christoph Beierle, Alex Dekhtyar, eds., Proceedings of 9th International Conference on Scalable Uncertainty Management (SUM 2015), volume 9310 of LNAI, 1-15, 2015. Springer
Details Download
İsmail İlkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza
Answering EL Queries in the Presence of Preferences
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics (DL 2015), volume 1350, 2015. CEUR Workshop Proceedings
Details Download
İsmail İlkan Ceylan, Rafael Peñaloza
Dynamic Bayesian Description Logics
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics (DL 2015), volume 1350, 2015. CEUR Workshop Proceedings
Details Download
İsmail İlkan Ceylan
Query Answering in Bayesian Description Logics
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics (DL 2015), volume 1350, 2015. CEUR Workshop Proceedings
Details Download
İsmail İlkan Ceylan, Rafael Peñaloza
Dynamic Bayesian Ontology Languages
Fifth International Workshop on Statistical Relational AI, volume abs/1506.08030, 2015. CoRR
Details Download
Diego Calvanese, İsmail İlkan Ceylan, Marco Montali, Ario Santoso
Verification of Context-Sensitive Knowledge and Action Bases
In Eduardo Fermé and João Leite, eds., Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014), volume 8761 of Lecture Notes in Computer Science, 514--528, 2014. Springer
Details Download
İsmail İlkan Ceylan, Rafael Peñaloza
Bayesian Description Logics
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL 2014), volume 1193 of CEUR Workshop Proceedings, 447-458, 2014. CEUR-WS
Details Download
İsmail İlkan Ceylan, Rafael Peñaloza
Reasoning in the Description Logic BEL using Bayesian Networks
In Guy Van den Broeck and Kristian Kersting and Sriraam Natarajan and David Poole, eds., Proceedings of the 4th International Workshop on Statistical Relational AI (starAI 2014), volume WS-14-13 of AAAI Workshops, 2014. AAAI Press
Details Download
İsmail İlkan Ceylan, Rafael Peñaloza
Tight Complexity Bounds for Reasoning in the Description Logic BEL
In Eduardo Fermé and João Leite, eds., Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014), volume 8761 of Lecture Notes in Computer Science, 77-91, 2014. Springer
Details Download
İsmail İlkan Ceylan, Rafael Peñaloza
The Bayesian Description Logic BEL
In Stephane Demri and Deepak Kapur and Christoph Weidenbach, eds., Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), volume 8562 of Lecture Notes in Computer Science, 480-494, 2014. Springer
Details Download