Enrico Malizia : Publications
Click here to download all publications in a single bibtex file
@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{2023-LMM-KR,
title = "Complexity of Inconsistency-Tolerant Query Answering in Datalog+/-- under Preferred Repairs",
author = "Thomas Lukasiewicz and Enrico Malizia and Cristian Molinaro",
year = "2023",
booktitle = "Proceedings of 20th International Conference on Principles of Knowledge Representation and Reasoning‚ KR 2023‚ Rhodes‚ Greece‚ September 2−8‚ 2023",
editor = "Pierre Marquis and Tran Cao Son",
month = "September",
publisher = "AAAI Press",
}
@inproceedings{IJCAI-LMM-2022,
title = "Explanations for Negative Query Answers under Inconsistency-Tolerant Semantics",
author = "Thomas Lukasiewicz and Enrico Malizia and Cristian Molinaro",
year = "2022",
booktitle = "Proceedings of the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence‚ IJCAI−ECAI 2022, Vienna‚ Austria‚ July 23−29‚ 2022",
editor = "Luc De Raedt",
month = "July",
pages = "2705--2711",
publisher = "IJCAI/AAAI Press",
url = "https://doi.org/10.24963/ijcai.2022/375",
}
@article{AIJ-LMMMPS-2021,
title = "Inconsistency-Tolerant Query Answering for Existential Rules",
author = "Thomas Lukasiewicz and Enrico Malizia and Maria Vanina Martinez and Cristian Molinaro and Andreas Pieris and Gerardo I. Simari",
year = "2022",
journal = "Artificial Intelligence",
month = "June",
pages = "103685",
url = "https://doi.org/10.1016/j.artint.2022.103685",
volume = "307",
}
@article{AIJ-LM-2021,
title = "Complexity Results for Preference Aggregation over (m)CP-Nets: Max and Rank Voting",
author = "Thomas Lukasiewicz and Enrico Malizia",
year = "2022",
journal = "Artificial Intelligence",
month = "February",
pages = "103636",
url = "https://doi.org/10.1016/j.artint.2021.103636",
volume = "303",
}
@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/LukasiewiczMM22,
title = "Explanations for Inconsistency-Tolerant Query Answering under Existential Rules",
author = "Thomas Lukasiewicz and Enrico Malizia and Cristian Molinaro",
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 = "489--496",
publisher = "CEUR-WS.org",
series = "{CEUR} Workshop Proceedings",
url = "http://ceur-ws.org/Vol-3194/paper57.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{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{LMM-AAAI-2020,
title = "Explanations for Inconsistency-Tolerant Query Answering under Existential Rules",
author = "Thomas Lukasiewicz and Enrico Malizia and Cristian Molinaro",
year = "2020",
booktitle = "Proceedings of the 34th National Conference on Artificial Intelligence‚ AAAI 2020‚ New York, New York, USA‚ February 7--12‚ 2020",
editor = "Vincent Conitzer and Fei Sha",
month = "February",
publisher = "AAAI Press",
url = "https://ojs.aaai.org/index.php/AAAI/article/view/5682",
}
@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",
}
@article{AIJ-LM-2018,
title = "Complexity Results for Preference Aggregation over (m)CP-nets: Pareto and Majority Voting",
author = "Thomas Lukasiewicz and Enrico Malizia",
year = "2019",
journal = "Artificial Intelligence",
month = "July",
pages = "101--142",
publisher = "Elsevier",
url = "https://doi.org/10.1016/j.artint.2018.12.010",
volume = "272",
}
@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{LMM2018,
title = "Complexity of Approximate Query Answering under Inconsistency in Datalog+⁄−",
author = "Thomas Lukasiewicz and Enrico Malizia and Cristian Molinaro",
year = "2018",
booktitle = "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",
editor = "J{\'{e}}r{\^{o}}me Lang",
month = "July",
pages = "1921-1927",
publisher = "IJCAI/AAAI Press",
url = "https://www.ijcai.org/proceedings/2018/265",
}
@article{TCSLM2017,
title = "A Novel Characterization of the Complexity Class Θ^P_k Based on Counting and Comparison",
author = "Thomas Lukasiewicz and Enrico Malizia",
year = "2017",
journal = "Theoretical Computer Science",
month = "September",
pages = "21--33",
publisher = "Elsevier",
url = "https://doi.org/10.1016/j.tcs.2017.06.023",
volume = "694",
}
@inproceedings{ML2016,
title = "On the Complexity of mCP-Nets",
author = "Thomas Lukasiewicz and Enrico Malizia",
year = "2016",
booktitle = "Proceedings of the 30th National Conference on Artificial Intelligence‚ AAAI 2016‚ Phoenix, Arizona‚ USA‚ February 12–17‚ 2016",
editor = "Dale Schuurmans and Michael Wellman",
month = "February",
pages = "558-564",
publisher = "AAAI Press",
url = "http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12239",
}
@techreport{hypergraph_transversal-techrep,
title = "Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic",
author = "Georg Gottlob and Enrico Malizia",
year = "2015",
institution = "Computing Research Repository (CoRR)",
month = "June",
number = "arXiv:1407.2912",
url = "http://arxiv.org/abs/1407.2912",
}
@article{nucleolus-rivista,
title = "The Complexity of the Nucleolus in Compact Games",
author = "Gianluigi Greco and Enrico Malizia and Luigi Palopoli and Francesco Scarcello",
year = "2014",
journal = "ACM Transactions on Computation Theory",
month = "December",
number = "1",
pages = "3:1--3:52",
url = "http://dx.doi.org/10.1145/2692372.2692374",
volume = "7",
}
@inproceedings{hypergraph_transversal-conferenza,
title = "Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic",
author = "Georg Gottlob and Enrico Malizia",
year = "2014",
address = "Vienna, Austria",
booktitle = "Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (CSL-LICS 2014)",
editor = "Thomas A. Henzinger and Dale Miller",
month = "July 14--18",
pages = "43:1--43:10",
url = "http://dx.doi.org/10.1145/2603088.2603103",
}
@inproceedings{navigabilityWoD-conferenza,
title = "How much navigable is the Web of Linked Data?",
author = "Valeria Fionda and Enrico Malizia",
year = "2014",
address = "Riva del Garda, Italy",
booktitle = "Proceedings of the ISWC 2014 Posters {\&} Demonstrations. A track of the 13th International Semantic Web Conference (ISWC 2014)",
editor = "Matthew Horridge and Marco Rospocher and Jacco van Ossenbruggen",
month = "October 2",
pages = "317--320",
series = "CEUR Workshop Proceedings (CEUR-WS.org)",
url = "http://ceur-ws.org/Vol-1272/paper_68.pdf",
volume = "1272",
}
@inproceedings{typed_games-conferenza,
title = "Hard and Easy k-Typed Compact Coalitional Games: The Knowledge of Player Types Marks the Boundary",
author = "Gianluigi Greco and Enrico Malizia and Francesco Scarcello and Luigi Palopoli",
year = "2012",
address = "Montpellier, France",
booktitle = "Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012)",
editor = "Luc De Raedt and Christian Bessi{\`e}re and Didier Dubois and Patrick Doherty and Paolo Frasconi and Fredrik Heintz and Peter J. F. Lucas",
month = "August 27--31",
pages = "372--377",
url = "http://dx.doi.org/10.3233/978-1-61499-098-7-372",
}
@article{core_bargset_kernel-rivista,
title = "On the complexity of core, kernel, and bargaining set",
author = "Gianluigi Greco and Enrico Malizia and Luigi Palopoli and Francesco Scarcello",
year = "2011",
journal = "Artificial Intelligence",
month = "August",
number = "12--13",
pages = "1877--1910",
url = "http://dx.doi.org/10.1016/j.artint.2011.06.002",
volume = "175",
}
@inproceedings{CoS-conferenza,
title = "Subsidies, Stability, and Restricted Cooperation in Coalitional Games",
author = "Reshef Meir and Jeffrey S. Rosenschein and Enrico Malizia",
year = "2011",
address = "Barcelona, Spain",
booktitle = "Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11)",
editor = "Toby Walsh",
month = "July 16--22",
pages = "301--306",
url = "http://ijcai.org/papers11/Papers/IJCAI11-060.pdf",
}
@inproceedings{core_coalitional_structures-conferenza,
title = "On The Complexity of the Core over Coalition Structures",
author = "Gianluigi Greco and Enrico Malizia and Luigi Palopoli and Francesco Scarcello",
year = "2011",
address = "Barcelona, Spain",
booktitle = "Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11)",
editor = "Toby Walsh",
month = "July 16--22",
pages = "216--221",
url = "http://ijcai.org/papers11/Papers/IJCAI11-047.pdf",
}
@techreport{core_bargset_kernel-techrep,
title = "On the Complexity of Core, Kernel, and Bargaining Set",
author = "Gianluigi Greco and Enrico Malizia and Luigi Palopoli and Francesco Scarcello",
year = "2010",
institution = "Computing Research Repository (CoRR)",
month = "September",
number = "arXiv:0810.3136",
url = "http://arxiv.org/abs/0810.3136",
}
@article{constrained_games-rivista,
title = "Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints",
author = "Gianluigi Greco and Enrico Malizia and Luigi Palopoli and Francesco Scarcello",
year = "2010",
journal = "Journal of Artificial Intelligence Research",
month = "August",
pages = "633--685",
url = "http://dx.doi.org/10.1613/jair.3060",
volume = "38",
}
@inproceedings{contrained_games-conferenza,
title = "Constrained coalitional games: formal framework, properties, and complexity results (Extended Abstract)",
author = "Gianluigi Greco and Enrico Malizia and Luigi Palopoli and Francesco Scarcello",
year = "2009",
address = "Budapest, Hungary",
booktitle = "Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS~2009)",
editor = "Carles Sierra and Cristiano Castelfranchi and Keith S. Decker and Jaime Sim{\~a}o Sichman",
month = "May 10--15",
pages = "1295--1296",
url = "http://doi.acm.org/10.1145/1558109.1558260",
}
@inproceedings{bargset_kernel_nucleolus-conferenza,
title = "On the Complexity of Compact Coalitional Games",
author = "Gianluigi Greco and Enrico Malizia and Luigi Palopoli and Francesco Scarcello",
year = "2009",
address = "Pasadena, CA, USA",
booktitle = "Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09)",
editor = "Craig Boutilier",
month = "July 11--17",
pages = "147--152",
url = "http://ijcai.org/papers09/Papers/IJCAI09-035.pdf",
}
@inproceedings{core-conferenza,
title = "Infeasibility Certificates and the Complexity of the Core in Coalitional Games",
author = "Enrico Malizia and Luigi Palopoli and Francesco Scarcello",
year = "2007",
address = "Hyderabad, India",
booktitle = "Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07)",
editor = "Manuela M. Veloso",
month = "January 6--12",
pages = "1402--1407",
url = "http://www.ijcai.org/papers07/Papers/IJCAI07-226.pdf",
}