@article{AIJ-LM-2024, title = "Explanations for Query Answers under Existential Rules", author = "{\.I}smail {\.I}lkan Ceylan and Thomas Lukasiewicz and Enrico Malizia and Andrius Vaicenavičius", year = "2024", journal = "Artificial Intelligence", note = "Conditionally accepted for publication", } @inproceedings{DBLP:conf/sebd/CeylanLMV22, title = "Query Answer Explanations under Existential Rules", author = "{\.I}smail {\.I}lkan Ceylan and Thomas Lukasiewicz and Enrico Malizia and Andrius Vaicenavicius", year = "2022", booktitle = "Proceedings of the 30th Italian Symposium on Advanced Database Systems, {SEBD} 2022, Tirrenia (PI), Italy, June 19-22, 2022", editor = "Giuseppe Amato and Valentina Bartalesi and Devis Bianchini and Claudio Gennaro and Riccardo Torlone", pages = "481--488", publisher = "CEUR-WS.org", series = "{CEUR} Workshop Proceedings", url = "http://ceur-ws.org/Vol-3194/paper56.pdf", volume = "3194", } @inproceedings{DBLP:conf/sebd/LukasiewiczMV22, title = "Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Cardinality-Based Repairs", author = "Thomas Lukasiewicz and Enrico Malizia and Andrius Vaicenavicius", year = "2022", booktitle = "Proceedings of the 30th Italian Symposium on Advanced Database Systems, {SEBD} 2022, Tirrenia (PI), Italy, June 19-22, 2022", editor = "Giuseppe Amato and Valentina Bartalesi and Devis Bianchini and Claudio Gennaro and Riccardo Torlone", pages = "530--537", publisher = "CEUR-WS.org", series = "{CEUR} Workshop Proceedings", url = "http://ceur-ws.org/Vol-3194/paper62.pdf", volume = "3194", } @inproceedings{CLMMV-AAAI-2021, title = "Preferred Explanations for Ontology-Mediated Queries under Existential Rules", author = "{\.I}smail {\.I}lkan Ceylan and Thomas Lukasiewicz and Enrico Malizia and Cristian Molinaro and Andrius Vaicenavičius", year = "2021", booktitle = "Proceedings of the 35th AAAI Conference on Artificial Intelligence‚ AAAI 2021‚ Virtual Conference‚ February 2--9‚ 2021", editor = "Kevin Leyton-Brown and Mausam", publisher = "AAAI Press", url = "https://ojs.aaai.org/index.php/AAAI/article/view/16778", } @inproceedings{DBLP:conf/dlog/CeylanLMV20, title = "Explanations for Ontology-Mediated Query Answering in Description Logics (Extended Abstract)", author = "{\.I}smail {\.I}lkan Ceylan and Thomas Lukasiewicz and Enrico Malizia and Andrius Vaicenavicius", year = "2020", booktitle = "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", editor = "Stefan Borgwardt and Thomas Meyer", publisher = "CEUR-WS.org", series = "CEUR Workshop Proceedings", url = "http://ceur-ws.org/Vol-2663/abstract-10.pdf", volume = "2663", } @inproceedings{CLMMV-KR20, title = "Explanations for Negative Query Answers under Existential Rules", author = "{\.I}smail {\.I}lkan Ceylan and Thomas Lukasiewicz and Enrico Malizia and Cristian Molinaro and Andrius Vaicenavičius", year = "2020", booktitle = "Proceedings of 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020", editor = "Diego Calvanese and Esra Erdem", month = "September", publisher = "AAAI Press", url = "https://doi.org/10.24963/kr.2020/23", } @inproceedings{CLMV-ECAI-2020, title = "Explanations for Ontology-Mediated Query Answering in Description Logics", author = "{\.I}smail {\.I}lkan Ceylan and Thomas Lukasiewicz and Enrico Malizia and Andrius Vaicenavičius", year = "2020", booktitle = "Proceedings of the 24th European Conference on Artificial Intelligence‚ ECAI 2020‚ Santiago de Compostela‚ Spain‚ June 8--12‚ 2020", editor = "Giuseppe De Giacomo", month = "June", publisher = "IOS Press", url = "https://doi.org/10.3233/FAIA200153", } @inproceedings{CLMV2019, title = "Explanations for Query Answers under Existential Rules", author = "{\.I}smail {\.I}lkan Ceylan and Thomas Lukasiewicz and Enrico Malizia and Andrius Vaicenavičius", year = "2019", booktitle = "Proceedings of the 28th International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019", editor = "Sarit Kraus", month = "August", pages = "1639--1646", publisher = "IJCAI/AAAI Press", url = "https://doi.org/10.24963/ijcai.2019/227", } @inproceedings{LMV-AAAI-2019, title = "Complexity of Inconsistency-Tolerant Query Answering in Datalog+⁄− under Cardinality-Based Repairs", author = "Thomas Lukasiewicz and Enrico Malizia and Andrius Vaicenavičius", year = "2019", booktitle = "Proceedings of the 33rd National Conference on Artificial Intelligence‚ AAAI 2019‚ Honolulu, Hawaii, USA‚ January 27 - February 1‚ 2019", editor = "Pascal Van Hentenryck and Zhi-Hua Zhou", month = "January", pages = "2962--2969", publisher = "AAAI Press", url = "https://doi.org/10.1609/aaai.v33i01.33012962", } @inproceedings{10932, title = "Minimal Weighted Clones with Boolean Support", author = "Peter G. Jeavons and Andrius Vaicenavičius and Stanislav Živný", year = "2016", booktitle = "Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2016, Sapporo, Japan, May 18-20, 2016", editor = "Takahiro Hanyu", month = "May", pages = "90--95", publisher = "IEEE Computer Society", url = "https://doi.org/10.1109/ISMVL.2016.10", }