Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Marco Calautti
@article{DBLP:journals/tplp/CalauttiGMT24,
author = {Marco Calautti and
Sergio Greco and
Cristian Molinaro and
Irina Trubitsyna},
title = {Querying Data Exchange Settings Beyond Positive Queries},
journal = {Theory Pract. Log. Program.},
volume = {24},
number = {2},
pages = {250--278},
year = {2024},
url = {https://doi.org/10.1017/s1471068423000339},
doi = {10.1017/S1471068423000339},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/CalauttiGMT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CalauttiLPS24,
author = {Marco Calautti and
Ester Livshits and
Andreas Pieris and
Markus Schneider},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Computing the Why-Provenance for Datalog Queries via {SAT} Solvers},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {10459--10466},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i9.28914},
doi = {10.1609/AAAI.V38I9.28914},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CalauttiLPS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AlfanoCGPT23,
author = {Gianvincenzo Alfano and
Marco Calautti and
Sergio Greco and
Francesco Parisi and
Irina Trubitsyna},
title = {Explainable acceptance in probabilistic and incomplete abstract argumentation
frameworks},
journal = {Artif. Intell.},
volume = {323},
pages = {103967},
year = {2023},
url = {https://doi.org/10.1016/j.artint.2023.103967},
doi = {10.1016/J.ARTINT.2023.103967},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/AlfanoCGPT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/CalauttiMP23,
author = {Marco Calautti and
Mostafa Milani and
Andreas Pieris},
title = {Semi-Oblivious Chase Termination for Linear Existential Rules: An
Experimental Study},
journal = {Proc. {VLDB} Endow.},
volume = {16},
number = {11},
pages = {2858--2870},
year = {2023},
url = {https://www.vldb.org/pvldb/vol16/p2858-pieris.pdf},
doi = {10.14778/3611479.3611493},
timestamp = {Mon, 23 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/CalauttiMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/CalauttiGHMMT23,
author = {Marco Calautti and
Sergio Greco and
Hebatalla Hammad and
Tariq Mahmood and
Cristian Molinaro and
Irina Trubitsyna},
editor = {Diego Calvanese and
Claudia Diamantini and
Guglielmo Faggioli and
Nicola Ferro and
Stefano Marchesin and
Gianmaria Silvello and
Letizia Tanca},
title = {Querying Data Exchange Settings Beyond Positive Queries},
booktitle = {Proceedings of the 31st Symposium of Advanced Database Systems, Galzingano
Terme, Italy, July 2nd to 5th, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3478},
pages = {360--368},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3478/paper31.pdf},
timestamp = {Tue, 13 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/CalauttiGHMMT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/WagihC23,
author = {Heba M. Wagih and
Marco Calautti},
editor = {Diego Calvanese and
Claudia Diamantini and
Guglielmo Faggioli and
Nicola Ferro and
Stefano Marchesin and
Gianmaria Silvello and
Letizia Tanca},
title = {Enhancing Ontological Query-Rewriting via Parallelization},
booktitle = {Proceedings of the 31st Symposium of Advanced Database Systems, Galzingano
Terme, Italy, July 2nd to 5th, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3478},
pages = {401--409},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3478/paper60.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sebd/WagihC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-12773,
author = {Marco Calautti and
Ester Livshits and
Andreas Pieris and
Markus Schneider},
title = {The Complexity of Why-Provenance for Datalog Queries},
journal = {CoRR},
volume = {abs/2303.12773},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.12773},
doi = {10.48550/ARXIV.2303.12773},
eprinttype = {arXiv},
eprint = {2303.12773},
timestamp = {Thu, 13 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-12773.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-12851,
author = {Marco Calautti and
Mostafa Milani and
Andreas Pieris},
title = {Semi-Oblivious Chase Termination for Linear Existential Rules: An
Experimental Study},
journal = {CoRR},
volume = {abs/2303.12851},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.12851},
doi = {10.48550/ARXIV.2303.12851},
eprinttype = {arXiv},
eprint = {2303.12851},
timestamp = {Thu, 13 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-12851.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-03071,
author = {Marco Calautti and
Sergio Greco and
Cristian Molinaro and
Irina Trubitsyna},
title = {Querying Data Exchange Settings Beyond Positive Queries},
journal = {CoRR},
volume = {abs/2307.03071},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.03071},
doi = {10.48550/ARXIV.2307.03071},
eprinttype = {arXiv},
eprint = {2307.03071},
timestamp = {Mon, 10 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-03071.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-08038,
author = {Marco Calautti and
Ester Livshits and
Andreas Pieris and
Markus Schneider},
title = {Combined Approximations for Uniform Operational Consistent Query Answering},
journal = {CoRR},
volume = {abs/2312.08038},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.08038},
doi = {10.48550/ARXIV.2312.08038},
eprinttype = {arXiv},
eprint = {2312.08038},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-08038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CalauttiGMT22,
author = {Marco Calautti and
Sergio Greco and
Cristian Molinaro and
Irina Trubitsyna},
title = {Preference-based inconsistency-tolerant query answering under existential
rules},
journal = {Artif. Intell.},
volume = {312},
pages = {103772},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2022.103772},
doi = {10.1016/J.ARTINT.2022.103772},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/CalauttiGMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CalauttiGMT22,
author = {Marco Calautti and
Sergio Greco and
Cristian Molinaro and
Irina Trubitsyna},
title = {Query answering over inconsistent knowledge bases: {A} probabilistic
approach},
journal = {Theor. Comput. Sci.},
volume = {935},
pages = {144--173},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2022.09.005},
doi = {10.1016/J.TCS.2022.09.005},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CalauttiGMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/CalauttiGMT22,
author = {Marco Calautti and
Sergio Greco and
Cristian Molinaro and
Irina Trubitsyna},
editor = {Mario Alviano and
Andreas Pieris},
title = {Querying Data Exchange Settings Beyond Positive Queries},
booktitle = {Proceedings of the 4th International Workshop on the Resurgence of
Datalog in Academia and Industry (Datalog-2.0 2022) co-located with
the 16th International Conference on Logic Programming and Nonmonotonic
Reasoning {(LPNMR} 2022), Genova-Nervi, Italy, September 5, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {27--41},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:45 +0100},
biburl = {https://dblp.org/rec/conf/datalog/CalauttiGMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/CalauttiGP22,
author = {Marco Calautti and
Georg Gottlob and
Andreas Pieris},
editor = {Leonid Libkin and
Pablo Barcel{\'{o}}},
title = {Non-Uniformly Terminating Chase: Size and Complexity},
booktitle = {{PODS} '22: International Conference on Management of Data, Philadelphia,
PA, USA, June 12 - 17, 2022},
pages = {369--378},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3517804.3524146},
doi = {10.1145/3517804.3524146},
timestamp = {Wed, 15 Jun 2022 08:52:54 +0200},
biburl = {https://dblp.org/rec/conf/pods/CalauttiGP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/CalauttiLPS22,
author = {Marco Calautti and
Ester Livshits and
Andreas Pieris and
Markus Schneider},
editor = {Leonid Libkin and
Pablo Barcel{\'{o}}},
title = {Uniform Operational Consistent Query Answering},
booktitle = {{PODS} '22: International Conference on Management of Data, Philadelphia,
PA, USA, June 12 - 17, 2022},
pages = {393--402},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3517804.3526230},
doi = {10.1145/3517804.3526230},
timestamp = {Wed, 15 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/CalauttiLPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/CalauttiLPS22a,
author = {Marco Calautti and
Ester Livshits and
Andreas Pieris and
Markus Schneider},
editor = {Leonid Libkin and
Pablo Barcel{\'{o}}},
title = {Counting Database Repairs Entailing a Query: The Case of Functional
Dependencies},
booktitle = {{PODS} '22: International Conference on Management of Data, Philadelphia,
PA, USA, June 12 - 17, 2022},
pages = {403--412},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3517804.3524147},
doi = {10.1145/3517804.3524147},
timestamp = {Wed, 15 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/CalauttiLPS22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/CalauttiLPS22,
author = {Marco Calautti and
Ester Livshits and
Andreas Pieris and
Markus Schneider},
editor = {Giuseppe Amato and
Valentina Bartalesi and
Devis Bianchini and
Claudio Gennaro and
Riccardo Torlone},
title = {Counting Database Repairs Entailing a Query: The Case of Functional
Dependencies},
booktitle = {Proceedings of the 30th Italian Symposium on Advanced Database Systems,
{SEBD} 2022, Tirrenia (PI), Italy, June 19-22, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3194},
pages = {159--166},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3194/paper19.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:21 +0100},
biburl = {https://dblp.org/rec/conf/sebd/CalauttiLPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/CalauttiCGMTZ22,
author = {Marco Calautti and
Luciano Caroprese and
Sergio Greco and
Cristian Molinaro and
Irina Trubitsyna and
Ester Zumpano},
editor = {Giuseppe Amato and
Valentina Bartalesi and
Devis Bianchini and
Claudio Gennaro and
Riccardo Torlone},
title = {Active Integrity Constraints with Existential Quantification},
booktitle = {Proceedings of the 30th Italian Symposium on Advanced Database Systems,
{SEBD} 2022, Tirrenia (PI), Italy, June 19-22, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3194},
pages = {284--291},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3194/paper34.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/CalauttiCGMTZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-10584,
author = {Marco Calautti and
Georg Gottlob and
Andreas Pieris},
title = {Non-Uniformly Terminating Chase: Size and Complexity},
journal = {CoRR},
volume = {abs/2204.10584},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.10584},
doi = {10.48550/ARXIV.2204.10584},
eprinttype = {arXiv},
eprint = {2204.10584},
timestamp = {Mon, 25 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-10584.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-10592,
author = {Marco Calautti and
Ester Livshits and
Andreas Pieris and
Markus Schneider},
title = {Uniform Operational Consistent Query Answering},
journal = {CoRR},
volume = {abs/2204.10592},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.10592},
doi = {10.48550/ARXIV.2204.10592},
eprinttype = {arXiv},
eprint = {2204.10592},
timestamp = {Mon, 25 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-10592.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/CalauttiCGMTZ21,
author = {Marco Calautti and
Luciano Caroprese and
Sergio Greco and
Cristian Molinaro and
Irina Trubitsyna and
Ester Zumpano},
title = {Existential active integrity constraints},
journal = {Expert Syst. Appl.},
volume = {168},
pages = {114297},
year = {2021},
url = {https://doi.org/10.1016/j.eswa.2020.114297},
doi = {10.1016/J.ESWA.2020.114297},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eswa/CalauttiCGMTZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BarceloC21,
author = {Pablo Barcel{\'{o}} and
Marco Calautti},
title = {Special Issue on Database Theory},
journal = {Theory Comput. Syst.},
volume = {65},
number = {1},
pages = {1--2},
year = {2021},
url = {https://doi.org/10.1007/s00224-020-10006-9},
doi = {10.1007/S00224-020-10006-9},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/BarceloC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/CalauttiP21,
author = {Marco Calautti and
Andreas Pieris},
title = {Semi-Oblivious Chase Termination: The Sticky Case},
journal = {Theory Comput. Syst.},
volume = {65},
number = {1},
pages = {84--121},
year = {2021},
url = {https://doi.org/10.1007/s00224-020-09994-5},
doi = {10.1007/S00224-020-09994-5},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/CalauttiP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/CalauttiCP21,
author = {Marco Calautti and
Marco Console and
Andreas Pieris},
editor = {Leonid Libkin and
Reinhard Pichler and
Paolo Guagliardo},
title = {Benchmarking Approximate Consistent Query Answering},
booktitle = {PODS'21: Proceedings of the 40th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium
on Principles of Database Systems, Virtual Event, China, June 20-25,
2021},
pages = {233--246},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3452021.3458309},
doi = {10.1145/3452021.3458309},
timestamp = {Mon, 21 Jun 2021 12:19:15 +0200},
biburl = {https://dblp.org/rec/conf/pods/CalauttiCP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/CalauttiCP21,
author = {Marco Calautti and
Marco Console and
Andreas Pieris},
editor = {Sergio Greco and
Maurizio Lenzerini and
Elio Masciari and
Andrea Tagarelli},
title = {Benchmarking Approximate Consistent Query Answering (Discussion Paper)},
booktitle = {Proceedings of the 29th Italian Symposium on Advanced Database Systems,
{SEBD} 2021, Pizzo Calabro (VV), Italy, September 5-9, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2994},
pages = {209--216},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2994/paper21.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:20 +0100},
biburl = {https://dblp.org/rec/conf/sebd/CalauttiCP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/CalauttiGMT21,
author = {Marco Calautti and
Sergio Greco and
Cristian Molinaro and
Irina Trubitsyna},
editor = {Sergio Greco and
Maurizio Lenzerini and
Elio Masciari and
Andrea Tagarelli},
title = {Preference-based Inconsistency-Tolerant Query Answering under Existential
Rules (Discussion Paper)},
booktitle = {Proceedings of the 29th Italian Symposium on Advanced Database Systems,
{SEBD} 2021, Pizzo Calabro (VV), Italy, September 5-9, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2994},
pages = {217--225},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2994/paper22.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/CalauttiGMT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-09617,
author = {Marco Calautti and
Ester Livshits and
Andreas Pieris and
Markus Schneider},
title = {Counting Database Repairs Entailing a Query: The Case of Functional
Dependencies},
journal = {CoRR},
volume = {abs/2112.09617},
year = {2021},
url = {https://arxiv.org/abs/2112.09617},
eprinttype = {arXiv},
eprint = {2112.09617},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-09617.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideas/CalauttiCGMTZ20,
author = {Marco Calautti and
Luciano Caroprese and
Sergio Greco and
Cristian Molinaro and
Irina Trubitsyna and
Ester Zumpano},
editor = {Bipin C. Desai and
Wan{-}Sup Cho},
title = {Consistent query answering with prioritized active integrity constraints},
booktitle = {{IDEAS} 2020: 24th International Database Engineering {\&} Applications
Symposium, Seoul, Republic of Korea, August 12-14, 2020},
pages = {3:1--3:10},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3410566.3410592},
doi = {10.1145/3410566.3410592},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ideas/CalauttiCGMTZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AlfanoCGPT20,
author = {Gianvincenzo Alfano and
Marco Calautti and
Sergio Greco and
Francesco Parisi and
Irina Trubitsyna},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity
and Approximation},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {33--43},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/4},
doi = {10.24963/KR.2020/4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/AlfanoCGPT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CalauttiGMT20,
author = {Marco Calautti and
Sergio Greco and
Cristian Molinaro and
Irina Trubitsyna},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Preference-based Inconsistency-Tolerant Query Answering under Existential
Rules},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {203--212},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/21},
doi = {10.24963/KR.2020/21},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CalauttiGMT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/CalauttiFGMT20,
author = {Marco Calautti and
Nicola Fiorentino and
Sergio Greco and
Cristian Molinaro and
Irina Trubitsyna},
editor = {Maristella Agosti and
Maurizio Atzori and
Paolo Ciaccia and
Letizia Tanca},
title = {Probabilistic Answers over Inconsistent Knowledge Bases},
booktitle = {Proceedings of the 28th Italian Symposium on Advanced Database Systems,
Villasimius, Sud Sardegna, Italy (virtual due to Covid-19 pandemic),
June 21-24, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2646},
pages = {48--55},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2646/43-paper.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:21 +0100},
biburl = {https://dblp.org/rec/conf/sebd/CalauttiFGMT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/CalauttiP19,
author = {Marco Calautti and
Andreas Pieris},
editor = {Pablo Barcel{\'{o}} and
Marco Calautti},
title = {Oblivious Chase Termination: The Sticky Case},
booktitle = {22nd International Conference on Database Theory, {ICDT} 2019, March
26-28, 2019, Lisbon, Portugal},
series = {LIPIcs},
volume = {127},
pages = {17:1--17:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2019.17},
doi = {10.4230/LIPICS.ICDT.2019.17},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icdt/CalauttiP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/CalauttiCP19,
author = {Marco Calautti and
Marco Console and
Andreas Pieris},
editor = {Dan Suciu and
Sebastian Skritek and
Christoph Koch},
title = {Counting Database Repairs under Primary Keys Revisited},
booktitle = {Proceedings of the 38th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, {PODS} 2019, Amsterdam, The Netherlands, June
30 - July 5, 2019},
pages = {104--118},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3294052.3319703},
doi = {10.1145/3294052.3319703},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/CalauttiCP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/CalauttiCP19,
author = {Marco Calautti and
Marco Console and
Andreas Pieris},
editor = {Massimo Mecella and
Giuseppe Amato and
Claudio Gennaro},
title = {Counting Database Repairs under Primary Keys Revisited},
booktitle = {Proceedings of the 27th Italian Symposium on Advanced Database Systems,
Castiglione della Pescaia (Grosseto), Italy, June 16-19, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2400},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2400/paper-41.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:21 +0100},
biburl = {https://dblp.org/rec/conf/sebd/CalauttiCP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdt/2019,
editor = {Pablo Barcel{\'{o}} and
Marco Calautti},
title = {22nd International Conference on Database Theory, {ICDT} 2019, March
26-28, 2019, Lisbon, Portugal},
series = {LIPIcs},
volume = {127},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-101-6},
isbn = {978-3-95977-101-6},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/CalauttiLP18,
author = {Marco Calautti and
Leonid Libkin and
Andreas Pieris},
editor = {Dan Olteanu and
Barbara Poblete},
title = {An Operational Approach to Consistent Query Answering},
booktitle = {Proceedings of the 12th Alberto Mendelzon International Workshop on
Foundations of Data Management, Cali, Colombia, May 21-25, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2100},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2100/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/CalauttiLP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/CalauttiLP18,
author = {Marco Calautti and
Leonid Libkin and
Andreas Pieris},
editor = {Jan Van den Bussche and
Marcelo Arenas},
title = {An Operational Approach to Consistent Query Answering},
booktitle = {Proceedings of the 37th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, Houston, TX, USA, June 10-15, 2018},
pages = {239--251},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3196959.3196966},
doi = {10.1145/3196959.3196966},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/CalauttiLP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/18/CalauttiCFFFGMPPSTZ18,
author = {Marco Calautti and
Luciano Caroprese and
Bettina Fazzinga and
Sergio Flesca and
Filippo Furfaro and
Sergio Greco and
Cristian Molinaro and
Francesco Parisi and
Andrea Pugliese and
Domenico Sacc{\`{a}} and
Irina Trubitsyna and
Ester Zumpano},
editor = {Sergio Flesca and
Sergio Greco and
Elio Masciari and
Domenico Sacc{\`{a}}},
title = {Dealing with Inconsistency in Databases: An Overview},
booktitle = {A Comprehensive Guide Through the Italian Database Research Over the
Last 25 Years},
series = {Studies in Big Data},
volume = {31},
pages = {143--167},
publisher = {Springer International Publishing},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-61893-7\_9},
doi = {10.1007/978-3-319-61893-7\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/18/CalauttiCFFFGMPPSTZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/CalauttiGT17,
author = {Marco Calautti and
Sergio Greco and
Irina Trubitsyna},
title = {Detecting Decidable Classes of Finitely Ground Logic Programs with
Function Symbols},
journal = {{ACM} Trans. Comput. Log.},
volume = {18},
number = {4},
pages = {28:1--28:42},
year = {2017},
url = {https://doi.org/10.1145/3143804},
doi = {10.1145/3143804},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/CalauttiGT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/CalauttiGMT16,
author = {Marco Calautti and
Sergio Greco and
Cristian Molinaro and
Irina Trubitsyna},
title = {Exploiting Equality Generating Dependencies in Checking Chase Termination},
journal = {Proc. {VLDB} Endow.},
volume = {9},
number = {5},
pages = {396--407},
year = {2016},
url = {http://www.vldb.org/pvldb/vol9/p396-calautti.pdf},
doi = {10.14778/2876473.2876475},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/CalauttiGMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CalauttiGMT16,
author = {Marco Calautti and
Sergio Greco and
Cristian Molinaro and
Irina Trubitsyna},
title = {Using linear constraints for logic program termination analysis},
journal = {Theory Pract. Log. Program.},
volume = {16},
number = {3},
pages = {353--377},
year = {2016},
url = {https://doi.org/10.1017/S1471068416000077},
doi = {10.1017/S1471068416000077},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/CalauttiGMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/CalauttiGMT16,
author = {Marco Calautti and
Sergio Greco and
Cristian Molinaro and
Irina Trubitsyna},
editor = {Mario A. Bochicchio and
Giansalvatore Mecca},
title = {Leveraging Equality Generating Dependencies for Chase Termination},
booktitle = {24th Italian Symposium on Advanced Database Systems, {SEBD} 2016,
Ugento, Lecce, Italy, June 19-22, 2016, Ugento, Lecce, Italia, June
19-22, 2016},
pages = {94--101},
publisher = {Matematicamente.it},
year = {2016},
timestamp = {Mon, 12 Sep 2016 14:17:13 +0200},
biburl = {https://dblp.org/rec/conf/sebd/CalauttiGMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CalauttiGST15,
author = {Marco Calautti and
Sergio Greco and
Francesca Spezzano and
Irina Trubitsyna},
title = {Checking termination of bottom-up evaluation of logic programs with
function symbols},
journal = {Theory Pract. Log. Program.},
volume = {15},
number = {6},
pages = {854--889},
year = {2015},
url = {https://doi.org/10.1017/S1471068414000623},
doi = {10.1017/S1471068414000623},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/CalauttiGST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/CalauttiGMT15,
author = {Marco Calautti and
Sergio Greco and
Cristian Molinaro and
Irina Trubitsyna},
editor = {Andrea Cal{\`{\i}} and
Maria{-}Esther Vidal},
title = {Rewriting-based Check of Chase Termination},
booktitle = {Proceedings of the 9th Alberto Mendelzon International Workshop on
Foundations of Data Management, Lima, Peru, May 6 - 8, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1378},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1378/AMW\_2015\_paper\_32.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/CalauttiGMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/CalauttiGP15,
author = {Marco Calautti and
Georg Gottlob and
Andreas Pieris},
editor = {Andrea Cal{\`{\i}} and
Maria{-}Esther Vidal},
title = {Chase Termination for Guarded Existential Rules},
booktitle = {Proceedings of the 9th Alberto Mendelzon International Workshop on
Foundations of Data Management, Lima, Peru, May 6 - 8, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1378},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1378/AMW\_2015\_paper\_28.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amw/CalauttiGP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CalauttiGMT15,
author = {Marco Calautti and
Sergio Greco and
Cristian Molinaro and
Irina Trubitsyna},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Logic Program Termination Analysis Using Atom Sizes},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {2833--2839},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/401},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CalauttiGMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/CalauttiGP15,
author = {Marco Calautti and
Georg Gottlob and
Andreas Pieris},
editor = {Tova Milo and
Diego Calvanese},
title = {Chase Termination for Guarded Existential Rules},
booktitle = {Proceedings of the 34th {ACM} Symposium on Principles of Database
Systems, {PODS} 2015, Melbourne, Victoria, Australia, May 31 - June
4, 2015},
pages = {91--103},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2745754.2745773},
doi = {10.1145/2745754.2745773},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/CalauttiGP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/CalauttiGMT15,
author = {Marco Calautti and
Sergio Greco and
Cristian Molinaro and
Irina Trubitsyna},
editor = {Domenico Lembo and
Riccardo Torlone and
Andrea Marrella},
title = {Checking Termination of Datalog with Function Symbols Through Linear
Constraints},
booktitle = {23rd Italian Symposium on Advanced Database Systems, {SEBD} 2015,
Gaeta, Italy, June 14-17, 2015},
pages = {192--199},
publisher = {Curran Associates, Inc.},
year = {2015},
timestamp = {Mon, 18 Jan 2016 13:34:08 +0100},
biburl = {https://dblp.org/rec/conf/sebd/CalauttiGMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CalauttiGMT15,
author = {Marco Calautti and
Sergio Greco and
Cristian Molinaro and
Irina Trubitsyna},
title = {Using Linear Constraints for Logic Program Termination Analysis},
journal = {CoRR},
volume = {abs/1512.04097},
year = {2015},
url = {http://arxiv.org/abs/1512.04097},
eprinttype = {arXiv},
eprint = {1512.04097},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CalauttiGMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/CalauttiGMT14,
author = {Marco Calautti and
Sergio Greco and
Cristian Molinaro and
Irina Trubitsyna},
editor = {Antonis Bikakis and
Paul Fodor and
Dumitru Roman},
title = {Checking Termination of Logic Programs with Function Symbols through
Linear Constraints},
booktitle = {Rules on the Web. From Theory to Applications - 8th International
Symposium, RuleML 2014, Co-located with the 21st European Conference
on Artificial Intelligence, {ECAI} 2014, Prague, Czech Republic, August
18-20, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8620},
pages = {97--111},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09870-8\_7},
doi = {10.1007/978-3-319-09870-8\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/CalauttiGMT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/CalauttiMPT14,
author = {Marco Calautti and
Cristian Molinaro and
Chiara Pulice and
Irina Trubitsyna},
editor = {Sergio Greco and
Antonio Picariello},
title = {Termination Criteria for Datalog with Function Symbols},
booktitle = {22nd Italian Symposium on Advanced Database Systems, {SEBD} 2014,
Sorrento Coast, Italy, June 16-18, 2014},
pages = {248--255},
year = {2014},
timestamp = {Fri, 14 Nov 2014 14:33:58 +0100},
biburl = {https://dblp.org/rec/conf/sebd/CalauttiMPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CalauttiGST14,
author = {Marco Calautti and
Sergio Greco and
Francesca Spezzano and
Irina Trubitsyna},
title = {Checking Termination of Bottom-Up Evaluation of Logic Programs with
Function Symbols},
journal = {CoRR},
volume = {abs/1407.2106},
year = {2014},
url = {http://arxiv.org/abs/1407.2106},
eprinttype = {arXiv},
eprint = {1407.2106},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CalauttiGST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/CalauttiGT13,
author = {Marco Calautti and
Sergio Greco and
Irina Trubitsyna},
editor = {Ricardo Pe{\~{n}}a and
Tom Schrijvers},
title = {Detecting decidable classes of finitely ground logic programs with
function symbols},
booktitle = {15th International Symposium on Principles and Practice of Declarative
Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013},
pages = {239--250},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2505879.2505883},
doi = {10.1145/2505879.2505883},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/CalauttiGT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-03 20:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
