Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Piero A. Bonatti
@inproceedings{DBLP:conf/dlog/BonattiCL00SS23,
author = {Piero A. Bonatti and
Gianluca Cima and
Domenico Lembo and
Lorenzo Marconi and
Riccardo Rosati and
Luigi Sauro and
Domenico Fabio Savo},
editor = {Oliver Kutz and
Carsten Lutz and
Ana Ozaki},
title = {Dynamic Controlled Query Evaluation over DL-Lite Ontologies (Extended
Abstract)},
booktitle = {Proceedings of the 36th International Workshop on Description Logics
{(DL} 2023) co-located with the 20th International Conference on Principles
of Knowledge Representation and Reasoning and the 21st International
Workshop on Non-Monotonic Reasoning {(KR} 2023 and {NMR} 2023)., Rhodes,
Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3515},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3515/abstract-8.pdf},
timestamp = {Thu, 26 Oct 2023 16:59:55 +0200},
biburl = {https://dblp.org/rec/conf/dlog/BonattiCL00SS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BonattiS0S23,
author = {Piero A. Bonatti and
Federica Di Stefano and
Magdalena Ortiz and
Mantas Simkus},
editor = {Oliver Kutz and
Carsten Lutz and
Ana Ozaki},
title = {Circumscription in DL-Lite: Progress Report},
booktitle = {Proceedings of the 36th International Workshop on Description Logics
{(DL} 2023) co-located with the 20th International Conference on Principles
of Knowledge Representation and Reasoning and the 21st International
Workshop on Non-Monotonic Reasoning {(KR} 2023 and {NMR} 2023)., Rhodes,
Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3515},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3515/paper-7.pdf},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BonattiS0S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bonatti23,
author = {Piero A. Bonatti},
title = {A False Sense of Security (Extended Abstract)},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {6858--6859},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/770},
doi = {10.24963/IJCAI.2023/770},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Bonatti23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BonattiPS23,
author = {Piero A. Bonatti and
Iliana M. Petrova and
Luigi Sauro},
title = {Optimizing the Computation of Overriding in {DLN} (Extended Abstract)},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {6860--6862},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/771},
doi = {10.24963/IJCAI.2023/771},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BonattiPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Bonatti22,
author = {Piero A. Bonatti},
title = {A false sense of security},
journal = {Artif. Intell.},
volume = {310},
pages = {103741},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2022.103741},
doi = {10.1016/J.ARTINT.2022.103741},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Bonatti22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BonattiPS22,
author = {Piero Andrea Bonatti and
Iliana Mineva Petrova and
Luigi Sauro},
title = {Optimizing the computation of overriding in {DLN}},
journal = {Artif. Intell.},
volume = {311},
pages = {103764},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2022.103764},
doi = {10.1016/J.ARTINT.2022.103764},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BonattiPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BonattiS22,
author = {Piero A. Bonatti and
Luigi Sauro},
editor = {Gabriele Kern{-}Isberner and
Gerhard Lakemeyer and
Thomas Meyer},
title = {Sticky Policies in {OWL2:} Extending {PL} with Fixpoints and Transitive
Closure},
booktitle = {Proceedings of the 19th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2022, Haifa, Israel,
July 31 - August 5, 2022},
year = {2022},
url = {https://proceedings.kr.org/2022/8/},
timestamp = {Tue, 05 Sep 2023 14:47:29 +0200},
biburl = {https://dblp.org/rec/conf/kr/BonattiS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/BonattiCLMRSS22,
author = {Piero A. Bonatti and
Gianluca Cima and
Domenico Lembo and
Lorenzo Marconi and
Riccardo Rosati and
Luigi Sauro and
Domenico Fabio Savo},
editor = {Ulrike Sattler and
Aidan Hogan and
C. Maria Keet and
Valentina Presutti and
Jo{\~{a}}o Paulo A. Almeida and
Hideaki Takeda and
Pierre Monnin and
Giuseppe Pirr{\`{o}} and
Claudia d'Amato},
title = {Controlled Query Evaluation in {OWL} 2 {QL:} {A} "Longest Honeymoon"
Approach},
booktitle = {The Semantic Web - {ISWC} 2022 - 21st International Semantic Web Conference,
Virtual Event, October 23-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13489},
pages = {428--444},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19433-7\_25},
doi = {10.1007/978-3-031-19433-7\_25},
timestamp = {Mon, 28 Aug 2023 21:17:23 +0200},
biburl = {https://dblp.org/rec/conf/semweb/BonattiCLMRSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-11155,
author = {Piero A. Bonatti and
Gianluca Cima and
Domenico Lembo and
Lorenzo Marconi and
Riccardo Rosati and
Luigi Sauro and
Domenico Fabio Savo},
title = {{CQE} in {OWL} 2 {QL:} {A} "Longest Honeymoon" Approach
(extended version)},
journal = {CoRR},
volume = {abs/2207.11155},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.11155},
doi = {10.48550/ARXIV.2207.11155},
eprinttype = {arXiv},
eprint = {2207.11155},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-11155.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Bonatti21,
author = {Piero A. Bonatti},
title = {Query answering in circumscribed {OWL2} profiles},
journal = {Ann. Math. Artif. Intell.},
volume = {89},
number = {12},
pages = {1155--1173},
year = {2021},
url = {https://doi.org/10.1007/s10472-021-09770-2},
doi = {10.1007/S10472-021-09770-2},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/Bonatti21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BonattiS21,
author = {Piero A. Bonatti and
Luigi Sauro},
editor = {Martin Homola and
Vladislav Ryzhikov and
Renate A. Schmidt},
title = {Tractable Compliance Checking with Negation},
booktitle = {Proceedings of the 34th International Workshop on Description Logics
{(DL} 2021) part of Bratislava Knowledge September {(BAKS} 2021),
Bratislava, Slovakia, September 19th to 22nd, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2954},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2954/paper-6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:15 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BonattiS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/BonattiSL21,
author = {Piero A. Bonatti and
Luigi Sauro and
Jonathan Langens},
title = {Representing Consent and Policies for Compliance},
booktitle = {{IEEE} European Symposium on Security and Privacy Workshops, EuroS{\&}P
2021, Vienna, Austria, September 6-10, 2021},
pages = {283--291},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/EuroSPW54576.2021.00036},
doi = {10.1109/EUROSPW54576.2021.00036},
timestamp = {Mon, 08 Nov 2021 16:43:34 +0100},
biburl = {https://dblp.org/rec/conf/eurosp/BonattiSL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BonattiIPSS20,
author = {Piero A. Bonatti and
Luca Ioffredo and
Iliana M. Petrova and
Luigi Sauro and
Ida Sri Rejeki Siahaan},
title = {Real-time reasoning in {OWL2} for {GDPR} compliance},
journal = {Artif. Intell.},
volume = {289},
pages = {103389},
year = {2020},
url = {https://doi.org/10.1016/j.artint.2020.103389},
doi = {10.1016/J.ARTINT.2020.103389},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BonattiIPSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/BonattiKPS20,
author = {Piero A. Bonatti and
Sabrina Kirrane and
Iliana M. Petrova and
Luigi Sauro},
title = {Machine Understandable Policies and {GDPR} Compliance Checking},
journal = {K{\"{u}}nstliche Intell.},
volume = {34},
number = {3},
pages = {303--315},
year = {2020},
url = {https://doi.org/10.1007/s13218-020-00677-4},
doi = {10.1007/S13218-020-00677-4},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ki/BonattiKPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bonatti20,
author = {Piero A. Bonatti},
editor = {Christian Bessiere},
title = {Rational Closure For All Description Logics (Extended Abstract)},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {5025--5029},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/700},
doi = {10.24963/IJCAI.2020/700},
timestamp = {Mon, 20 Jul 2020 12:38:52 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Bonatti20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ssw/BonattiPS20,
author = {Piero Andrea Bonatti and
Iliana Mineva Petrova and
Luigi Sauro},
editor = {Giuseppe Cota and
Marilena Daquino and
Gian Luca Pozzato},
title = {Defeasible Reasoning in Description Logics: An Overview on {DLN}},
booktitle = {Applications and Practices in Ontology Design, Extraction, and Reasoning},
series = {Studies on the Semantic Web},
volume = {49},
pages = {178--193},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/SSW200043},
doi = {10.3233/SSW200043},
timestamp = {Mon, 19 Apr 2021 14:49:06 +0200},
biburl = {https://dblp.org/rec/series/ssw/BonattiPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-05390,
author = {Piero A. Bonatti and
Luca Ioffredo and
Iliana Mineva Petrova and
Luigi Sauro and
Ida Sri Rejeki Siahaan},
title = {Real Time Reasoning in {OWL2} for {GDPR} Compliance},
journal = {CoRR},
volume = {abs/2001.05390},
year = {2020},
url = {https://arxiv.org/abs/2001.05390},
eprinttype = {arXiv},
eprint = {2001.05390},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-05390.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-06322,
author = {Piero A. Bonatti and
Luca Ioffredo and
Iliana M. Petrova and
Luigi Sauro},
title = {Fast Compliance Checking with General Vocabularies},
journal = {CoRR},
volume = {abs/2001.06322},
year = {2020},
url = {https://arxiv.org/abs/2001.06322},
eprinttype = {arXiv},
eprint = {2001.06322},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-06322.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-08930,
author = {Piero A. Bonatti and
Sabrina Kirrane and
Iliana M. Petrova and
Luigi Sauro},
title = {Machine Understandable Policies and {GDPR} Compliance Checking},
journal = {CoRR},
volume = {abs/2001.08930},
year = {2020},
url = {https://arxiv.org/abs/2001.08930},
eprinttype = {arXiv},
eprint = {2001.08930},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-08930.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-09461,
author = {Sabrina Kirrane and
Javier D. Fern{\'{a}}ndez and
Piero A. Bonatti and
Uros Milosevic and
Axel Polleres and
Rigo Wenning},
title = {The {SPECIAL-K} Personal Data Processing Transparency and Compliance
Platform},
journal = {CoRR},
volume = {abs/2001.09461},
year = {2020},
url = {https://arxiv.org/abs/2001.09461},
eprinttype = {arXiv},
eprint = {2001.09461},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-09461.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-04978,
author = {Piero A. Bonatti and
Iliana M. Petrova and
Luigi Sauro},
title = {Defeasible reasoning in Description Logics: an overview on DL\({}^{\mbox{N}}\)},
journal = {CoRR},
volume = {abs/2009.04978},
year = {2020},
url = {https://arxiv.org/abs/2009.04978},
eprinttype = {arXiv},
eprint = {2009.04978},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-04978.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Bonatti19,
author = {Piero A. Bonatti},
title = {Rational closure for all description logics},
journal = {Artif. Intell.},
volume = {274},
pages = {197--223},
year = {2019},
url = {https://doi.org/10.1016/j.artint.2019.04.001},
doi = {10.1016/J.ARTINT.2019.04.001},
timestamp = {Fri, 05 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Bonatti19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdata/BonattiK19,
author = {Piero A. Bonatti and
Sabrina Kirrane},
editor = {Elisa Bertino and
Carl K. Chang and
Peter Chen and
Ernesto Damiani and
Michael Goul and
Katsunori Oyama},
title = {Big Data and Analytics in the Age of the {GDPR}},
booktitle = {2019 {IEEE} International Congress on Big Data, BigData Congress 2019,
Milan, Italy, July 8-13, 2019},
pages = {7--16},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/BigDataCongress.2019.00015},
doi = {10.1109/BIGDATACONGRESS.2019.00015},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/bigdata/BonattiK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BonattiPS19,
author = {Piero A. Bonatti and
Iliana M. Petrova and
Luigi Sauro},
editor = {Mantas Simkus and
Grant E. Weddell},
title = {A Richer Policy Language for {GDPR} Compliance},
booktitle = {Proceedings of the 32nd International Workshop on Description Logics,
Oslo, Norway, June 18-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2373},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2373/paper-5.pdf},
timestamp = {Mon, 26 Jun 2023 20:43:45 +0200},
biburl = {https://dblp.org/rec/conf/dlog/BonattiPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/KirraneFDMPBWDR18,
author = {Sabrina Kirrane and
Javier D. Fern{\'{a}}ndez and
Wouter Dullaert and
Uros Milosevic and
Axel Polleres and
Piero A. Bonatti and
Rigo Wenning and
Olha Drozd and
Philip Raschke},
editor = {Aldo Gangemi and
Anna Lisa Gentile and
Andrea Giovanni Nuzzolese and
Sebastian Rudolph and
Maria Maleshkova and
Heiko Paulheim and
Jeff Z. Pan and
Mehwish Alam},
title = {A Scalable Consent, Transparency and Compliance Architecture},
booktitle = {The Semantic Web: {ESWC} 2018 Satellite Events - {ESWC} 2018 Satellite
Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11155},
pages = {131--136},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98192-5\_25},
doi = {10.1007/978-3-319-98192-5\_25},
timestamp = {Mon, 05 Feb 2024 20:32:23 +0100},
biburl = {https://dblp.org/rec/conf/esws/KirraneFDMPBWDR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bonatti18,
author = {Piero A. Bonatti},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Fast Compliance Checking in an {OWL2} Fragment},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {1746--1752},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/241},
doi = {10.24963/IJCAI.2018/241},
timestamp = {Tue, 20 Aug 2019 16:19:08 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Bonatti18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BonattiS18,
author = {Piero A. Bonatti and
Luigi Sauro},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {On the Logical Properties of the Description Logic DL{\^{}}N (Extended
abstract)},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {5558--5562},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/784},
doi = {10.24963/IJCAI.2018/784},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BonattiS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/BonattiBDFKPPW18,
author = {Piero A. Bonatti and
Bert Bos and
Stefan Decker and
Javier D. Fern{\'{a}}ndez and
Sabrina Kirrane and
Vassilios Peristeras and
Axel Polleres and
Rigo Wenning},
editor = {K. Krasnow Waterman},
title = {Data Privacy Vocabularies and Controls: Semantic Web for Transparency
and Privacy},
booktitle = {Proceedings of the Workshop on Semantic Web for Social Good co-located
with 17th International Semantic Web Conference, SW4SG@ISWC 2018,
Monterey, California, USA, October 9, 2018., Monterey, California,
USA, October 9, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2182},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2182/paper\_6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:04 +0100},
biburl = {https://dblp.org/rec/conf/semweb/BonattiBDFKPPW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BonattiDPP18,
author = {Piero Andrea Bonatti and
Stefan Decker and
Axel Polleres and
Valentina Presutti},
title = {Knowledge Graphs: New Directions for Knowledge Representation on the
Semantic Web (Dagstuhl Seminar 18371)},
journal = {Dagstuhl Reports},
volume = {8},
number = {9},
pages = {29--111},
year = {2018},
url = {https://doi.org/10.4230/DagRep.8.9.29},
doi = {10.4230/DAGREP.8.9.29},
timestamp = {Mon, 25 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BonattiDPP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BonattiS17,
author = {Piero A. Bonatti and
Luigi Sauro},
title = {On the logical properties of the nonmonotonic description logic DL\({}^{\mbox{N}}\)},
journal = {Artif. Intell.},
volume = {248},
pages = {85--111},
year = {2017},
url = {https://doi.org/10.1016/j.artint.2017.04.001},
doi = {10.1016/J.ARTINT.2017.04.001},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BonattiS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BonattiFPS17,
author = {Piero A. Bonatti and
Marco Faella and
Iliana M. Petrova and
Luigi Sauro},
editor = {Carles Sierra},
title = {A New Semantics for Overriding in Description Logics (Extended Abstract)},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {4975--4979},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/705},
doi = {10.24963/IJCAI.2017/705},
timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BonattiFPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BonattiKPW17,
author = {Piero A. Bonatti and
Sabrina Kirrane and
Axel Polleres and
Rigo Wenning},
editor = {Stefano Tonetta and
Erwin Schoitsch and
Friedemann Bitsch},
title = {Transparent Personal Data Processing: The Road Ahead},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2017 Workshops,
ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September
12, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10489},
pages = {337--349},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66284-8\_28},
doi = {10.1007/978-3-319-66284-8\_28},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BonattiKPW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/BiskupBGS17,
author = {Joachim Biskup and
Piero A. Bonatti and
Clemente Galdi and
Luigi Sauro},
editor = {Christopher Brewster and
Michelle Cheatham and
Mathieu d'Aquin and
Stefan Decker and
Sabrina Kirrane},
title = {Inference-proof Data Filtering for a Probabilistic Setting},
booktitle = {Proceedings of the 5th Workshop on Society, Privacy and the Semantic
Web - Policy and Technology (PrivOn2017) co-located with 16th International
Semantic Web Conference {(ISWC} 2017), Vienna, Austria, October 22,
2017},
series = {{CEUR} Workshop Proceedings},
volume = {1951},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1951/PrivOn2017\_paper\_2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:07 +0100},
biburl = {https://dblp.org/rec/conf/semweb/BiskupBGS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BonattiFGS16,
author = {Piero A. Bonatti and
Marco Faella and
Clemente Galdi and
Luigi Sauro},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {Generalized Agent-mediated Procurement Auctions},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {77--85},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2936940},
timestamp = {Fri, 20 May 2016 20:33:29 +0200},
biburl = {https://dblp.org/rec/conf/atal/BonattiFGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BonattiFPS15,
author = {Piero A. Bonatti and
Marco Faella and
Iliana M. Petrova and
Luigi Sauro},
title = {A new semantics for overriding in description logics},
journal = {Artif. Intell.},
volume = {222},
pages = {1--48},
year = {2015},
url = {https://doi.org/10.1016/j.artint.2014.12.010},
doi = {10.1016/J.ARTINT.2014.12.010},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BonattiFPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BonattiGT15,
author = {Piero A. Bonatti and
Clemente Galdi and
Davide Torres},
title = {Event-driven {RBAC}},
journal = {J. Comput. Secur.},
volume = {23},
number = {6},
pages = {709--757},
year = {2015},
url = {https://doi.org/10.3233/JCS-150539},
doi = {10.3233/JCS-150539},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/BonattiGT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BonattiFLSW14,
author = {Piero A. Bonatti and
Marco Faella and
Carsten Lutz and
Luigi Sauro and
Frank Wolter},
editor = {Thomas Eiter and
Hannes Strass and
Miroslaw Truszczynski and
Stefan Woltran},
title = {Decidability of Circumscribed Description Logics Revisited},
booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract
Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9060},
pages = {112--124},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14726-0\_8},
doi = {10.1007/978-3-319-14726-0\_8},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BonattiFLSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BonattiPS15,
author = {Piero A. Bonatti and
Iliana M. Petrova and
Luigi Sauro},
editor = {Diego Calvanese and
Boris Konev},
title = {Optimized Construction of Secure Knowledge-Base Views},
booktitle = {Proceedings of the 28th International Workshop on Description Logics,
Athens,Greece, June 7-10, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1350},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1350/paper-44.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BonattiPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/BonattiPS15,
author = {Piero A. Bonatti and
Iliana Mineva Petrova and
Luigi Sauro},
editor = {Marcelo Arenas and
{\'{O}}scar Corcho and
Elena Simperl and
Markus Strohmaier and
Mathieu d'Aquin and
Kavitha Srinivas and
Paul Groth and
Michel Dumontier and
Jeff Heflin and
Krishnaprasad Thirunarayan and
Steffen Staab},
title = {Optimizing the Computation of Overriding},
booktitle = {The Semantic Web - {ISWC} 2015 - 14th International Semantic Web Conference,
Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9366},
pages = {356--372},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25007-6\_21},
doi = {10.1007/978-3-319-25007-6\_21},
timestamp = {Tue, 21 Mar 2023 20:58:48 +0100},
biburl = {https://dblp.org/rec/conf/semweb/BonattiPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonattiPS15,
author = {Piero Andrea Bonatti and
Iliana Mineva Petrova and
Luigi Sauro},
title = {Optimizing the computation of overriding},
journal = {CoRR},
volume = {abs/1507.04630},
year = {2015},
url = {http://arxiv.org/abs/1507.04630},
eprinttype = {arXiv},
eprint = {1507.04630},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BonattiPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/BonattiOSST14,
author = {Piero A. Bonatti and
Eug{\'{e}}nio C. Oliveira and
Jordi Sabater{-}Mir and
Carles Sierra and
Francesca Toni},
title = {On the integration of trust with negotiation, argumentation and semantics},
journal = {Knowl. Eng. Rev.},
volume = {29},
number = {1},
pages = {31--50},
year = {2014},
url = {https://doi.org/10.1017/S0269888913000064},
doi = {10.1017/S0269888913000064},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/BonattiOSST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/AnisettiABDFGS14,
author = {Marco Anisetti and
Claudio A. Ardagna and
Piero A. Bonatti and
Ernesto Damiani and
Marco Faella and
Clemente Galdi and
Luigi Sauro},
title = {E-Auctions for Multi-Cloud Service Provisioning},
booktitle = {{IEEE} International Conference on Services Computing, {SCC} 2014,
Anchorage, AK, USA, June 27 - July 2, 2014},
pages = {35--42},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SCC.2014.14},
doi = {10.1109/SCC.2014.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEscc/AnisettiABDFGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/BonattiSP14,
author = {Piero A. Bonatti and
Luigi Sauro and
Iliana M. Petrova},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {A Mechanism for Ontology Confidentiality},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {147--161},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long10.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/BonattiSP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/BiskupBGS14,
author = {Joachim Biskup and
Piero A. Bonatti and
Clemente Galdi and
Luigi Sauro},
editor = {Miroslaw Kutylowski and
Jaideep Vaidya},
title = {Optimality and Complexity of Inference-Proof Data Filtering and {CQE}},
booktitle = {Computer Security - {ESORICS} 2014 - 19th European Symposium on Research
in Computer Security, Wroclaw, Poland, September 7-11, 2014. Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8713},
pages = {165--181},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11212-1\_10},
doi = {10.1007/978-3-319-11212-1\_10},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esorics/BiskupBGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BonattiFS14a,
author = {Piero A. Bonatti and
Marco Faella and
Luigi Sauro},
editor = {Fabio Mogavero and
Aniello Murano and
Moshe Y. Vardi},
title = {Partial Preferences for Mediated Bargaining},
booktitle = {Proceedings 2nd International Workshop on Strategic Reasoning, {SR}
2014, Grenoble, France, April 5-6, 2014},
series = {{EPTCS}},
volume = {146},
pages = {105--111},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.146.14},
doi = {10.4204/EPTCS.146.14},
timestamp = {Sat, 30 Sep 2023 10:08:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BonattiFS14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonattiLW14,
author = {Piero A. Bonatti and
Carsten Lutz and
Frank Wolter},
title = {The Complexity of Circumscription in DLs},
journal = {CoRR},
volume = {abs/1401.3476},
year = {2014},
url = {http://arxiv.org/abs/1401.3476},
eprinttype = {arXiv},
eprint = {1401.3476},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BonattiLW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonattiFS14,
author = {Piero A. Bonatti and
Marco Faella and
Luigi Sauro},
title = {Defeasible Inclusions in Low-Complexity DLs},
journal = {CoRR},
volume = {abs/1401.3901},
year = {2014},
url = {http://arxiv.org/abs/1401.3901},
eprinttype = {arXiv},
eprint = {1401.3901},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BonattiFS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BonattiFGS13,
author = {Piero A. Bonatti and
Marco Faella and
Clemente Galdi and
Luigi Sauro},
editor = {Krishnendu Chatterjee and
Jir{\'{\i}} Sgall},
title = {Auctions for Partial Heterogeneous Preferences},
booktitle = {Mathematical Foundations of Computer Science 2013 - 38th International
Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8087},
pages = {183--194},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40313-2\_18},
doi = {10.1007/978-3-642-40313-2\_18},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BonattiFGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/BonattiGT13,
author = {Piero A. Bonatti and
Clemente Galdi and
Davide Torres},
editor = {Mauro Conti and
Jaideep Vaidya and
Andreas Schaad},
title = {{ERBAC:} event-driven {RBAC}},
booktitle = {18th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
'13, Amsterdam, The Netherlands, June 12-14, 2013},
pages = {125--136},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2462410.2462415},
doi = {10.1145/2462410.2462415},
timestamp = {Tue, 06 Nov 2018 16:57:58 +0100},
biburl = {https://dblp.org/rec/conf/sacmat/BonattiGT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/BonattiS13,
author = {Piero A. Bonatti and
Luigi Sauro},
editor = {Harith Alani and
Lalana Kagal and
Achille Fokoue and
Paul Groth and
Chris Biemann and
Josiane Xavier Parreira and
Lora Aroyo and
Natasha F. Noy and
Chris Welty and
Krzysztof Janowicz},
title = {A Confidentiality Model for Ontologies},
booktitle = {The Semantic Web - {ISWC} 2013 - 12th International Semantic Web Conference,
Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8218},
pages = {17--32},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41335-3\_2},
doi = {10.1007/978-3-642-41335-3\_2},
timestamp = {Tue, 07 Sep 2021 13:48:20 +0200},
biburl = {https://dblp.org/rec/conf/semweb/BonattiS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/BonattiSFG13,
author = {Piero A. Bonatti and
Luigi Sauro and
Marco Faella and
Clemente Galdi},
title = {An Integrated Formal Approach to Usage Control},
booktitle = {2013 {IEEE} Symposium on Security and Privacy Workshops, San Francisco,
CA, USA, May 23-24, 2013},
pages = {8--12},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SPW.2013.23},
doi = {10.1109/SPW.2013.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/BonattiSFG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Bonatti12,
author = {Piero A. Bonatti},
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {Defaults in Description Logics: So Simple, So Difficult},
booktitle = {Proceedings of the 2012 International Workshop on Description Logics,
DL-2012, Rome, Italy, June 7-10, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {846},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-846/invited\_paper\_3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Bonatti12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/Bonatti11,
author = {Piero A. Bonatti},
title = {On the decidability of {FDNC} programs},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {89--93},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0009},
doi = {10.3233/IA-2011-0009},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/Bonatti11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/BonattiFS11,
author = {Piero A. Bonatti and
Marco Faella and
Luigi Sauro},
title = {Defeasible Inclusions in Low-Complexity DLs},
journal = {J. Artif. Intell. Res.},
volume = {42},
pages = {719--764},
year = {2011},
url = {https://doi.org/10.1613/jair.3360},
doi = {10.1613/JAIR.3360},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/BonattiFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/BonattiHPS11,
author = {Piero A. Bonatti and
Aidan Hogan and
Axel Polleres and
Luigi Sauro},
title = {Robust and scalable Linked Data reasoning incorporating provenance
and trust annotations},
journal = {J. Web Semant.},
volume = {9},
number = {2},
pages = {165--201},
year = {2011},
url = {https://doi.org/10.1016/j.websem.2011.06.003},
doi = {10.1016/J.WEBSEM.2011.06.003},
timestamp = {Tue, 29 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ws/BonattiHPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BonattiFS11,
author = {Piero A. Bonatti and
Marco Faella and
Luigi Sauro},
editor = {Wolfram Burgard and
Dan Roth},
title = {Adding Default Attributes to {EL++}},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {171--176},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.7849},
doi = {10.1609/AAAI.V25I1.7849},
timestamp = {Mon, 04 Sep 2023 16:05:54 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BonattiFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/BonattiFGS11,
author = {Piero A. Bonatti and
Marco Faella and
Clemente Galdi and
Luigi Sauro},
editor = {Vijay Atluri and
Claudia D{\'{\i}}az},
title = {Towards a Mechanism for Incentivating Privacy},
booktitle = {Computer Security - {ESORICS} 2011 - 16th European Symposium on Research
in Computer Security, Leuven, Belgium, September 12-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6879},
pages = {472--488},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23822-2\_26},
doi = {10.1007/978-3-642-23822-2\_26},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/BonattiFGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BonattiFS11,
author = {Piero A. Bonatti and
Marco Faella and
Luigi Sauro},
editor = {Toby Walsh},
title = {On the Complexity of {EL} with Defeasible Inclusions},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {762--767},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-134},
doi = {10.5591/978-1-57735-516-8/IJCAI11-134},
timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BonattiFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crypt/Bonatti11,
author = {Piero A. Bonatti},
editor = {Henk C. A. van Tilborg and
Sushil Jajodia},
title = {Logic-Based Authorization Languages},
booktitle = {Encyclopedia of Cryptography and Security, 2nd Ed},
pages = {734--736},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-1-4419-5906-5\_821},
doi = {10.1007/978-1-4419-5906-5\_821},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/crypt/Bonatti11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/BonattiCOS10,
author = {Piero A. Bonatti and
Juri Luca De Coi and
Daniel Olmedilla and
Luigi Sauro},
title = {A Rule-Based Trust Negotiation System},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {22},
number = {11},
pages = {1507--1520},
year = {2010},
url = {https://doi.org/10.1109/TKDE.2010.83},
doi = {10.1109/TKDE.2010.83},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/BonattiCOS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BaseliceB10,
author = {Sabrina Baselice and
Piero A. Bonatti},
title = {A decidable subclass of finitary programs},
journal = {Theory Pract. Log. Program.},
volume = {10},
number = {4-6},
pages = {481--496},
year = {2010},
url = {https://doi.org/10.1017/S1471068410000232},
doi = {10.1017/S1471068410000232},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BaseliceB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Bonatti10,
author = {Piero A. Bonatti},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Datalog for Security, Privacy and Trust},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {21--36},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_2},
doi = {10.1007/978-3-642-24206-9\_2},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/datalog/Bonatti10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/BonattiKO10,
author = {Piero A. Bonatti and
Philipp K{\"{a}}rger and
Daniel Olmedilla},
editor = {Lora Aroyo and
Grigoris Antoniou and
Eero Hyv{\"{o}}nen and
Annette ten Teije and
Heiner Stuckenschmidt and
Liliana Cabral and
Tania Tudorache},
title = {Reactive Policies for the Semantic Web},
booktitle = {The Semantic Web: Research and Applications, 7th Extended Semantic
Web Conference, {ESWC} 2010, Heraklion, Crete, Greece, May 30 - June
3, 2010, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6088},
pages = {76--90},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13486-9\_6},
doi = {10.1007/978-3-642-13486-9\_6},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/esws/BonattiKO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/BonattiFS10,
author = {Piero A. Bonatti and
Marco Faella and
Luigi Sauro},
editor = {Peter F. Patel{-}Schneider and
Yue Pan and
Pascal Hitzler and
Peter Mika and
Lei Zhang and
Jeff Z. Pan and
Ian Horrocks and
Birte Glimm},
title = {\emph{EL}{\textbackslash}mathcal\{EL\} with Default Attributes and
Overriding},
booktitle = {The Semantic Web - {ISWC} 2010 - 9th International Semantic Web Conference,
{ISWC} 2010, Shanghai, China, November 7-11, 2010, Revised Selected
Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6496},
pages = {64--79},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17746-0\_5},
doi = {10.1007/978-3-642-17746-0\_5},
timestamp = {Tue, 12 Apr 2022 14:46:29 +0200},
biburl = {https://dblp.org/rec/conf/semweb/BonattiFS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/agp/BonattiCLR10,
author = {Piero A. Bonatti and
Francesco Calimeri and
Nicola Leone and
Francesco Ricca},
editor = {Agostino Dovier and
Enrico Pontelli},
title = {Answer Set Programming},
booktitle = {A 25-Year Perspective on Logic Programming: Achievements of the Italian
Association for Logic Programming, {GULP}},
series = {Lecture Notes in Computer Science},
volume = {6125},
pages = {159--182},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14309-0\_8},
doi = {10.1007/978-3-642-14309-0\_8},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agp/BonattiCLR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-3663,
author = {Sabrina Baselice and
Piero A. Bonatti},
title = {A decidable subclass of finitary programs},
journal = {CoRR},
volume = {abs/1007.3663},
year = {2010},
url = {http://arxiv.org/abs/1007.3663},
eprinttype = {arXiv},
eprint = {1007.3663},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-3663.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/BonattiLW09,
author = {Piero A. Bonatti and
Carsten Lutz and
Frank Wolter},
title = {The Complexity of Circumscription in DLs},
journal = {J. Artif. Intell. Res.},
volume = {35},
pages = {717--773},
year = {2009},
url = {https://doi.org/10.1613/jair.2763},
doi = {10.1613/JAIR.2763},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/BonattiLW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BaseliceBC09,
author = {Sabrina Baselice and
Piero A. Bonatti and
Giovanni Criscuolo},
title = {On finitely recursive programs},
journal = {Theory Pract. Log. Program.},
volume = {9},
number = {2},
pages = {213--238},
year = {2009},
url = {https://doi.org/10.1017/S147106840900372X},
doi = {10.1017/S147106840900372X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BaseliceBC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/Bonatti09,
author = {Piero A. Bonatti},
editor = {Michael Hausenblas and
Philipp K{\"{a}}rger and
Daniel Olmedilla and
Alexandre Passant and
Axel Polleres},
title = {A Comparison of Terminological and Rule-based Policy Languages},
booktitle = {Proceedings of the {ESWC2009} Workshop on Trust and Privacy on the
Social and Semantic Web {(SPOT2009)} Heraklion, Greece, June 1, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {447},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-447/keynote.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:13 +0100},
biburl = {https://dblp.org/rec/conf/esws/Bonatti09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BonattiFS09,
author = {Piero A. Bonatti and
Marco Faella and
Luigi Sauro},
editor = {Craig Boutilier},
title = {Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {696--701},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/121.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BonattiFS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/la-web/ZerrOCNBS09,
author = {Sergej Zerr and
Daniel Olmedilla and
Juri Luca De Coi and
Wolfgang Nejdl and
Piero A. Bonatti and
Luigi Sauro},
editor = {Edgar Ch{\'{a}}vez and
Elizabeth Furtado and
Alberto L. Mor{\'{a}}n},
title = {Policy Based Protection and Personalized Generation of Web Content},
booktitle = {2009 Latin American Web Congress, Joint {LA-WEB/CLIHC} Conference,
Merida, Yucatan, Mexico, 9-11 November 2009},
pages = {112--119},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LA-WEB.2009.19},
doi = {10.1109/LA-WEB.2009.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/la-web/ZerrOCNBS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BonattiCOS09,
author = {Piero A. Bonatti and
Juri Luca De Coi and
Daniel Olmedilla and
Luigi Sauro},
editor = {Fran{\c{c}}ois Bry and
Jan Maluszynski},
title = {Rule-Based Policy Representations and Reasoning},
booktitle = {Semantic Techniques for the Web, The {REWERSE} Perspective},
series = {Lecture Notes in Computer Science},
volume = {5500},
pages = {201--232},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04581-3\_4},
doi = {10.1007/978-3-642-04581-3\_4},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/BonattiCOS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-2850,
author = {Sabrina Baselice and
Piero A. Bonatti and
Giovanni Criscuolo},
title = {On finitely recursive programs},
journal = {CoRR},
volume = {abs/0901.2850},
year = {2009},
url = {http://arxiv.org/abs/0901.2850},
eprinttype = {arXiv},
eprint = {0901.2850},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0901-2850.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Bonatti08,
author = {Piero A. Bonatti},
title = {Erratum to: Reasoning with infinite stable models [Artificial Intelligence
156 {(1)} {(2004)} 75-111]},
journal = {Artif. Intell.},
volume = {172},
number = {15},
pages = {1833--1835},
year = {2008},
url = {https://doi.org/10.1016/j.artint.2008.07.002},
doi = {10.1016/J.ARTINT.2008.07.002},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Bonatti08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BonattiLMV08,
author = {Piero A. Bonatti and
Carsten Lutz and
Aniello Murano and
Moshe Y. Vardi},
title = {The Complexity of Enriched Mu-Calculi},
journal = {Log. Methods Comput. Sci.},
volume = {4},
number = {3},
year = {2008},
url = {https://doi.org/10.2168/LMCS-4(3:11)2008},
doi = {10.2168/LMCS-4(3:11)2008},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BonattiLMV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BonattiPS08,
author = {Piero A. Bonatti and
Enrico Pontelli and
Tran Cao Son},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Credulous Resolution for Answer Set Programming},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {418--423},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-066.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BonattiPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Bonatti08,
author = {Piero A. Bonatti},
editor = {Matteo Baldoni and
Cristina Baroglio},
title = {On the decidability of {FDNC} programs},
booktitle = {Il Milione (i.e. 2{\^{}}6), Proceedings of the Day Dedicated to Prof.
Alberto Martelli, Turin, Italy, June 3, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {487},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-487/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:22 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Bonatti08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BaseliceB08,
author = {Sabrina Baselice and
Piero A. Bonatti},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Composing Normal Programs with Function Symbols},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {425--439},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_38},
doi = {10.1007/978-3-540-89982-2\_38},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BaseliceB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BonattiCOS08,
author = {Piero A. Bonatti and
Juri Luca De Coi and
Daniel Olmedilla and
Luigi Sauro},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming
for Trust Management, Privacy {\&} Security},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {779--784},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_76},
doi = {10.1007/978-3-540-89982-2\_76},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BonattiCOS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/policy/BonattiM08,
author = {Piero A. Bonatti and
Fabio Mogavero},
title = {Comparing Rule-Based Policies},
booktitle = {9th {IEEE} International Workshop on Policies for Distributed Systems
and Networks {(POLICY} 2008), 2-4 June 2008, Palisades, New York,
{USA}},
pages = {11--18},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/POLICY.2008.16},
doi = {10.1109/POLICY.2008.16},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/policy/BonattiM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/policy/CoiOZBS08,
author = {Juri Luca De Coi and
Daniel Olmedilla and
Sergej Zerr and
Piero A. Bonatti and
Luigi Sauro},
title = {A Trust Management Package for Policy-Driven Protection {\&} Personalization
of Web Content},
booktitle = {9th {IEEE} International Workshop on Policies for Distributed Systems
and Networks {(POLICY} 2008), 2-4 June 2008, Palisades, New York,
{USA}},
pages = {228--230},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/POLICY.2008.32},
doi = {10.1109/POLICY.2008.32},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/policy/CoiOZBS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/CoiOBS08,
author = {Juri Luca De Coi and
Daniel Olmedilla and
Piero A. Bonatti and
Luigi Sauro},
editor = {Christian Bizer and
Anupam Joshi},
title = {Protune: {A} Framework for Semantic Web Policies},
booktitle = {Proceedings of the Poster and Demonstration Session at the 7th International
Semantic Web Conference (ISWC2008), Karlsruhe, Germany, October 28,
2008},
series = {{CEUR} Workshop Proceedings},
volume = {401},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-401/iswc2008pd\_submission\_13.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:06 +0100},
biburl = {https://dblp.org/rec/conf/semweb/CoiOBS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rweb/2008,
editor = {Cristina Baroglio and
Piero A. Bonatti and
Jan Maluszynski and
Massimo Marchiori and
Axel Polleres and
Sebastian Schaffert},
title = {Reasoning Web, 4th International Summer School 2008, Venice, Italy,
September 7-11, 2008, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {5224},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85658-0},
doi = {10.1007/978-3-540-85658-0},
isbn = {978-3-540-85656-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rweb/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0809-0360,
author = {Piero A. Bonatti and
Carsten Lutz and
Aniello Murano and
Moshe Y. Vardi},
title = {The Complexity of Enriched Mu-Calculi},
journal = {CoRR},
volume = {abs/0809.0360},
year = {2008},
url = {http://arxiv.org/abs/0809.0360},
eprinttype = {arXiv},
eprint = {0809.0360},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0809-0360.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BiskupB07,
author = {Joachim Biskup and
Piero A. Bonatti},
title = {Controlled query evaluation with open queries for a decidable relational
submodel},
journal = {Ann. Math. Artif. Intell.},
volume = {50},
number = {1-2},
pages = {39--77},
year = {2007},
url = {https://doi.org/10.1007/s10472-007-9070-5},
doi = {10.1007/S10472-007-9070-5},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/BiskupB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BaseliceBC07,
author = {Sabrina Baselice and
Piero A. Bonatti and
Giovanni Criscuolo},
editor = {Ver{\'{o}}nica Dahl and
Ilkka Niemel{\"{a}}},
title = {On Finitely Recursive Programs},
booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
Portugal, September 8-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4670},
pages = {89--103},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74610-2\_7},
doi = {10.1007/978-3-540-74610-2\_7},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BaseliceBC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/policy/BaseliceBF07,
author = {Sabrina Baselice and
Piero A. Bonatti and
Marco Faella},
title = {On Interoperable Trust Negotiation Strategies},
booktitle = {8th {IEEE} International Workshop on Policies for Distributed Systems
and Networks {(POLICY} 2007), 13-15 June 2007, Bologna, Italy},
pages = {39--50},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/POLICY.2007.29},
doi = {10.1109/POLICY.2007.29},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/policy/BaseliceBF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/BonattiO07,
author = {Piero A. Bonatti and
Daniel Olmedilla},
editor = {Grigoris Antoniou and
Uwe A{\ss}mann and
Cristina Baroglio and
Stefan Decker and
Nicola Henze and
Paula{-}Lavinia Patranjan and
Robert Tolksdorf},
title = {Rule-Based Policy Representation and Reasoning for the Semantic Web},
booktitle = {Reasoning Web, Third International Summer School 2007, Dresden, Germany,
September 3-7, 2007, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {4636},
pages = {240--268},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74615-7\_4},
doi = {10.1007/978-3-540-74615-7\_4},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rweb/BonattiO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Bonatti07,
author = {Piero A. Bonatti},
editor = {Nicola Olivetti},
title = {Nonmonotonic Description Logics - Requirements, Theory, and Implementations},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {1},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_1},
doi = {10.1007/978-3-540-73099-6\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Bonatti07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ais/AntoniouBBNO07,
author = {Grigoris Antoniou and
Matteo Baldoni and
Piero A. Bonatti and
Wolfgang Nejdl and
Daniel Olmedilla},
editor = {Ting Yu and
Sushil Jajodia},
title = {Rule-based Policy Specification},
booktitle = {Secure Data Management in Decentralized Systems},
series = {Advances in Information Security},
volume = {33},
pages = {169--216},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-0-387-27696-0\_6},
doi = {10.1007/978-0-387-27696-0\_6},
timestamp = {Mon, 04 Apr 2022 16:00:08 +0200},
biburl = {https://dblp.org/rec/series/ais/AntoniouBBNO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BonattiOP06,
author = {Piero A. Bonatti and
Daniel Olmedilla and
Joachim Peer},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {Advanced Policy Explanations on the Web},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {200--204},
publisher = {{IOS} Press},
year = {2006},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1675},
timestamp = {Tue, 13 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/BonattiOP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/BonattiDFNOPS06,
author = {Piero A. Bonatti and
Claudiu Duma and
Norbert E. Fuchs and
Wolfgang Nejdl and
Daniel Olmedilla and
Joachim Peer and
Nahid Shahmehri},
editor = {York Sure and
John Domingue},
title = {Semantic Web Policies - {A} Discussion of Requirements and Research
Issues},
booktitle = {The Semantic Web: Research and Applications, 3rd European Semantic
Web Conference, {ESWC} 2006, Budva, Montenegro, June 11-14, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4011},
pages = {712--724},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11762256\_51},
doi = {10.1007/11762256\_51},
timestamp = {Fri, 25 Dec 2020 01:15:10 +0100},
biburl = {https://dblp.org/rec/conf/esws/BonattiDFNOPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BiskupB06,
author = {Joachim Biskup and
Piero A. Bonatti},
editor = {J{\"{u}}rgen Dix and
Stephen J. Hegner},
title = {Controlled Query Evaluation with Open Queries for a Decidable Relational
Submodel},
booktitle = {Foundations of Information and Knowledge Systems, 4th International
Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3861},
pages = {43--62},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11663881\_4},
doi = {10.1007/11663881\_4},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BiskupB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BonattiLMV06,
author = {Piero A. Bonatti and
Carsten Lutz and
Aniello Murano and
Moshe Y. Vardi},
editor = {Michele Bugliesi and
Bart Preneel and
Vladimiro Sassone and
Ingo Wegener},
title = {The Complexity of Enriched \emph{{\(\mathrm{\mu}\)}}-Calculi},
booktitle = {Automata, Languages and Programming, 33rd International Colloquium,
{ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4052},
pages = {540--551},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11787006\_46},
doi = {10.1007/11787006\_46},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BonattiLMV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BonattiLW06,
author = {Piero A. Bonatti and
Carsten Lutz and
Frank Wolter},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {Description Logics with Circumscription},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {400--410},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-042.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BonattiLW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/BaseliceBG05,
author = {Sabrina Baselice and
Piero A. Bonatti and
Michael Gelfond},
editor = {Marina De Vos and
Alessandro Provetti},
title = {A Preliminary Report on Integrating of Answer Set and Constraint Solving},
booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {142},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-142/page13-p.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/asp/BaseliceBG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/WinslettZB05,
author = {Marianne Winslett and
Charles C. Zhang and
Piero A. Bonatti},
editor = {Vijay Atluri and
Catherine Meadows and
Ari Juels},
title = {PeerAccess: a logic for distributed authorization},
booktitle = {Proceedings of the 12th {ACM} Conference on Computer and Communications
Security, {CCS} 2005, Alexandria, VA, USA, November 7-11, 2005},
pages = {168--179},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1102120.1102144},
doi = {10.1145/1102120.1102144},
timestamp = {Tue, 19 Sep 2023 14:44:32 +0200},
biburl = {https://dblp.org/rec/conf/ccs/WinslettZB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Bonatti05,
author = {Piero A. Bonatti},
title = {Rule Languages for Security and Privacy in Cooperative Systems},
booktitle = {29th Annual International Computer Software and Applications Conference,
{COMPSAC} 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume
1},
pages = {268--269},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/COMPSAC.2005.133},
doi = {10.1109/COMPSAC.2005.133},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/Bonatti05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BaseliceBG05,
author = {Sabrina Baselice and
Piero A. Bonatti and
Michael Gelfond},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Towards an Integration of Answer Set and Constraint Solving},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {52--66},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_7},
doi = {10.1007/11562931\_7},
timestamp = {Wed, 26 Oct 2022 11:14:38 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BaseliceBG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/policy/BonattiO05,
author = {Piero A. Bonatti and
Daniel Olmedilla},
title = {Driving and Monitoring Provisional Trust Negotiation with Metapolicies},
booktitle = {6th {IEEE} International Workshop on Policies for Distributed Systems
and Networks {(POLICY} 2005), 6-8 June 2005, Stockholm, Sweden},
pages = {14--23},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/POLICY.2005.13},
doi = {10.1109/POLICY.2005.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/policy/BonattiO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/BonattiF05,
author = {Piero A. Bonatti and
Paola Festa},
editor = {Allan Ellis and
Tatsuya Hagino},
title = {On optimal service selection},
booktitle = {Proceedings of the 14th international conference on World Wide Web,
{WWW} 2005, Chiba, Japan, May 10-14, 2005},
pages = {530--538},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1060745.1060823},
doi = {10.1145/1060745.1060823},
timestamp = {Fri, 19 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/www/BonattiF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/semweb/2004trust,
editor = {Jennifer Golbeck and
Piero A. Bonatti and
Wolfgang Nejdl and
Daniel Olmedilla and
Marianne Winslett},
title = {Proceedings of the ISWC*04 Workshop on Trust, Security, and Reputation
on the Semantic Web, Hiroshima, Japan, November 7, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {127},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-127},
urn = {urn:nbn:de:0074-127-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/2004trust.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Bonatti04,
author = {Piero A. Bonatti},
title = {Reasoning with infinite stable models},
journal = {Artif. Intell.},
volume = {156},
number = {1},
pages = {75--111},
year = {2004},
url = {https://doi.org/10.1016/j.artint.2004.02.001},
doi = {10.1016/J.ARTINT.2004.02.001},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Bonatti04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BonattiP04,
author = {Piero A. Bonatti and
Adriano Peron},
title = {On the undecidability of logics with converse, nominals, recursion
and counting},
journal = {Artif. Intell.},
volume = {158},
number = {1},
pages = {75--96},
year = {2004},
url = {https://doi.org/10.1016/j.artint.2004.04.012},
doi = {10.1016/J.ARTINT.2004.04.012},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BonattiP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BiskupB04,
author = {Joachim Biskup and
Piero A. Bonatti},
title = {Controlled Query Evaluation for Known Policies by Combining Lying
and Refusal},
journal = {Ann. Math. Artif. Intell.},
volume = {40},
number = {1-2},
pages = {37--62},
year = {2004},
url = {https://doi.org/10.1023/A:1026106029043},
doi = {10.1023/A:1026106029043},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/BiskupB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/BiskupB04,
author = {Joachim Biskup and
Piero A. Bonatti},
title = {Controlled query evaluation for enforcing confidentiality in complete
information systems},
journal = {Int. J. Inf. Sec.},
volume = {3},
number = {1},
pages = {14--27},
year = {2004},
url = {https://doi.org/10.1007/s10207-004-0032-1},
doi = {10.1007/S10207-004-0032-1},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisec/BiskupB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Bonatti04,
author = {Piero A. Bonatti},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {Abduction over Unbounded Domains via {ASP}},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
ECAI'2004, including Prestigious Applicants of Intelligent Systems,
{PAIS} 2004, Valencia, Spain, August 22-27, 2004},
pages = {288--292},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Fri, 11 May 2018 12:42:30 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Bonatti04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Bonatti04,
author = {Piero A. Bonatti},
editor = {Catriel Beeri and
Alin Deutsch},
title = {On the Decidability of Containment of Recursive Datalog Queries -
Preliminary report},
booktitle = {Proceedings of the Twenty-third {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 14-16, 2004, Paris, France},
pages = {297--306},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1055558.1055600},
doi = {10.1145/1055558.1055600},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/Bonatti04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BonattiKS03,
author = {Piero A. Bonatti and
Sarit Kraus and
V. S. Subrahmanian},
title = {Secure Agents},
journal = {Ann. Math. Artif. Intell.},
volume = {37},
number = {1-2},
pages = {169--235},
year = {2003},
url = {https://doi.org/10.1023/A:1020233522878},
doi = {10.1023/A:1020233522878},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/BonattiKS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/Bonatti03,
author = {Piero A. Bonatti},
editor = {Marina De Vos and
Alessandro Provetti},
title = {Finitary Open Logic Program},
booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28,
2003},
series = {{CEUR} Workshop Proceedings},
volume = {78},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-78/asp03-final-bonatti.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/asp/Bonatti03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BonattiS03,
author = {Piero A. Bonatti and
Pierangela Samarati},
editor = {Jan Chomicki and
Ron van der Meyden and
Gunter Saake},
title = {Logics for Authorization and Security},
booktitle = {Logics for Emerging Applications of Databases [outcome of a Dagstuhl
seminar]},
pages = {277--323},
publisher = {Springer},
year = {2003},
timestamp = {Thu, 04 Sep 2003 15:52:12 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BonattiS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bonatti03,
author = {Piero A. Bonatti},
editor = {Georg Gottlob and
Toby Walsh},
title = {On the Undecidability of Description and Dynamic Logics with Recursion
and Counting},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {331--336},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/049.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:41 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Bonatti03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/BonattiDS03,
author = {Piero A. Bonatti and
Yu Deng and
V. S. Subrahmanian},
title = {An Ontology-Extended Relational Algebra},
booktitle = {Proceedings of the 2003 {IEEE} International Conference on Information
Reuse and Integration, {IRI} - 2003, October 27-29, 2003, Las Vegas,
NV, {USA}},
pages = {192--199},
publisher = {{IEEE} Systems, Man, and Cybernetics Society},
year = {2003},
url = {https://doi.org/10.1109/IRI.2003.1251413},
doi = {10.1109/IRI.2003.1251413},
timestamp = {Thu, 04 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iri/BonattiDS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spw/BonattiVS03,
author = {Piero A. Bonatti and
Sabrina De Capitani di Vimercati and
Pierangela Samarati},
editor = {Bruce Christianson and
Bruno Crispo and
James A. Malcolm and
Michael Roe},
title = {Towards Flexible Credential Negotiation Protocols},
booktitle = {Security Protocols, 11th International Workshop, Cambridge, UK, April
2-4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3364},
pages = {19--23},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/11542322\_4},
doi = {10.1007/11542322\_4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spw/BonattiVS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wilf/BonattiT03,
author = {Piero A. Bonatti and
Andrea Tettamanzi},
editor = {Vito Di Ges{\`{u}} and
Francesco Masulli and
Alfredo Petrosino},
title = {Some Complexity Results on Fuzzy Description Logics},
booktitle = {Fuzzy Logic and Applications, 5th International Workshop, {WILF} 2003,
Naples, Italy, October 9-11, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2955},
pages = {19--24},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/10983652\_3},
doi = {10.1007/10983652\_3},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/wilf/BonattiT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BonattiS02,
author = {Piero A. Bonatti and
Pierangela Samarati},
title = {A Uniform Framework for Regulating Service Access and Information
Release on the Web},
journal = {J. Comput. Secur.},
volume = {10},
number = {3},
pages = {241--272},
year = {2002},
url = {https://doi.org/10.3233/jcs-2002-10303},
doi = {10.3233/JCS-2002-10303},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/BonattiS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tissec/BonattiVS02,
author = {Piero A. Bonatti and
Sabrina De Capitani di Vimercati and
Pierangela Samarati},
title = {An algebra for composing access control policies},
journal = {{ACM} Trans. Inf. Syst. Secur.},
volume = {5},
number = {1},
pages = {1--35},
year = {2002},
url = {https://doi.org/10.1145/504909.504910},
doi = {10.1145/504909.504910},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tissec/BonattiVS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BonattiO02,
author = {Piero A. Bonatti and
Nicola Olivetti},
title = {Sequent calculi for propositional nonmonotonic logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {3},
number = {2},
pages = {226--278},
year = {2002},
url = {https://doi.org/10.1145/505372.505374},
doi = {10.1145/505372.505374},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BonattiO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/BiskupB02,
author = {Joachim Biskup and
Piero A. Bonatti},
editor = {Dieter Gollmann and
G{\"{u}}nter Karjoth and
Michael Waidner},
title = {Confidentiality Policies and Their Enforcement for Controlled Query
Evaluation},
booktitle = {Computer Security - {ESORICS} 2002, 7th European Symposium on Research
in Computer Security, Zurich, Switzerland, October 14-16, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2502},
pages = {39--54},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45853-0\_3},
doi = {10.1007/3-540-45853-0\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/esorics/BiskupB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BiskupB02,
author = {Joachim Biskup and
Piero A. Bonatti},
editor = {Thomas Eiter and
Klaus{-}Dieter Schewe},
title = {Controlled Query Evaluation for Known Policies by Combining Lying
and Refusal},
booktitle = {Foundations of Information and Knowledge Systems, Second International
Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2284},
pages = {49--66},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45758-5\_4},
doi = {10.1007/3-540-45758-5\_4},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BiskupB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Bonatti02,
author = {Piero A. Bonatti},
editor = {Peter J. Stuckey},
title = {Reasoning with Infinite Stable Models {II:} Disjunctive Programs},
booktitle = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
Denmark, July 29 - August 1, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2401},
pages = {333--346},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45619-8\_23},
doi = {10.1007/3-540-45619-8\_23},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Bonatti02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Bonatti02,
author = {Piero A. Bonatti},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {Towards Service Description Logics},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {74--85},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_7},
doi = {10.1007/3-540-45757-7\_7},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Bonatti02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Bonatti02,
author = {Piero A. Bonatti},
editor = {Salem Benferhat and
Enrico Giunchiglia},
title = {Abduction, {ASP} and open logic programs},
booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
April 19-21, Toulouse, France, Proceedings},
pages = {184--190},
year = {2002},
timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
biburl = {https://dblp.org/rec/conf/nmr/Bonatti02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0207021,
author = {Piero A. Bonatti},
title = {Abduction, {ASP} and Open Logic Programs},
journal = {CoRR},
volume = {cs.AI/0207021},
year = {2002},
url = {https://arxiv.org/abs/cs/0207021},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0207021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/BiskupB01,
author = {Joachim Biskup and
Piero A. Bonatti},
title = {Lying versus refusal for known potential secrets},
journal = {Data Knowl. Eng.},
volume = {38},
number = {2},
pages = {199--222},
year = {2001},
url = {https://doi.org/10.1016/S0169-023X(01)00024-6},
doi = {10.1016/S0169-023X(01)00024-6},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/BiskupB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Bonatti01,
author = {Piero A. Bonatti},
title = {Resolution for Skeptical Stable Model Semantics},
journal = {J. Autom. Reason.},
volume = {27},
number = {4},
pages = {391--421},
year = {2001},
url = {https://doi.org/10.1023/A:1011960831261},
doi = {10.1023/A:1011960831261},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Bonatti01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tissec/BertinoBF01,
author = {Elisa Bertino and
Piero A. Bonatti and
Elena Ferrari},
title = {{TRBAC:} {A} temporal role-based access control model},
journal = {{ACM} Trans. Inf. Syst. Secur.},
volume = {4},
number = {3},
pages = {191--233},
year = {2001},
url = {https://doi.org/10.1145/501978.501979},
doi = {10.1145/501978.501979},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tissec/BertinoBF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/BonattiDVS01,
author = {Piero A. Bonatti and
Ernesto Damiani and
Sabrina De Capitani di Vimercati and
Pierangela Samarati},
title = {A Component-Based Architecture for Secure Data Publication},
booktitle = {17th Annual Computer Security Applications Conference {(ACSAC} 2001),
11-14 December 2001, New Orleans, Louisiana, {USA}},
pages = {309--318},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ACSAC.2001.991546},
doi = {10.1109/ACSAC.2001.991546},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsac/BonattiDVS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bonatti01,
author = {Piero A. Bonatti},
editor = {Bernhard Nebel},
title = {Reasoning with infinite stable models},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {603--610},
publisher = {Morgan Kaufmann},
year = {2001},
timestamp = {Tue, 20 Aug 2019 16:18:14 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Bonatti01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Bonatti01,
author = {Piero A. Bonatti},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Reasoning with Open Logic Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {147--159},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_11},
doi = {10.1007/3-540-45402-0\_11},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Bonatti01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Bonatti01a,
author = {Piero A. Bonatti},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Prototypes for Reasoning with Infinite Stable Models and Function
Symbols},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {416--419},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_34},
doi = {10.1007/3-540-45402-0\_34},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Bonatti01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sec/BonattiDVS01,
author = {Piero A. Bonatti and
Ernesto Damiani and
Sabrina De Capitani di Vimercati and
Pierangela Samarati},
editor = {Michel Dupuy and
Pierre Paradinas},
title = {An Access Control Model for Data Archives},
booktitle = {Trusted Information: The New Decade Challenge, {IFIP} {TC11} Sixteenth
Annual Working Conference on Information Security (IFIP/Sec'01), June
11-13, 2001, Paris, France},
series = {{IFIP} Conference Proceedings},
volume = {193},
pages = {261--276},
publisher = {Kluwer},
year = {2001},
timestamp = {Fri, 26 Jul 2002 13:05:24 +0200},
biburl = {https://dblp.org/rec/conf/sec/BonattiDVS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/mit/Subrahmanian2000,
author = {V. S. Subrahmanian and
Piero A. Bonatti and
J{\"{u}}rgen Dix and
Thomas Eiter and
Sarit Kraus and
Fatma Ozcan and
Robert B. Ross},
title = {Heterogenous Active Agents},
publisher = {{MIT} Press},
year = {2000},
isbn = {0-262-19436-8},
timestamp = {Mon, 11 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/mit/Subrahmanian2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BertinoBFS00,
author = {Elisa Bertino and
Piero A. Bonatti and
Elena Ferrari and
Maria Luisa Sapino},
title = {Temporal Authorization Bases: From Specification to Integration},
journal = {J. Comput. Secur.},
volume = {8},
number = {4},
pages = {309--353},
year = {2000},
url = {https://doi.org/10.3233/jcs-2000-8404},
doi = {10.3233/JCS-2000-8404},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/BertinoBFS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BonattiS00,
author = {Piero A. Bonatti and
Pierangela Samarati},
editor = {Dimitris Gritzalis and
Sushil Jajodia and
Pierangela Samarati},
title = {Regulating service access and information release on the Web},
booktitle = {{CCS} 2000, Proceedings of the 7th {ACM} Conference on Computer and
Communications Security, Athens, Greece, November 1-4, 2000},
pages = {134--143},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/352600.352620},
doi = {10.1145/352600.352620},
timestamp = {Tue, 10 Nov 2020 20:00:15 +0100},
biburl = {https://dblp.org/rec/conf/ccs/BonattiS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BonattiVS00,
author = {Piero A. Bonatti and
Sabrina De Capitani di Vimercati and
Pierangela Samarati},
editor = {Dimitris Gritzalis and
Sushil Jajodia and
Pierangela Samarati},
title = {A modular approach to composing access control policies},
booktitle = {{CCS} 2000, Proceedings of the 7th {ACM} Conference on Computer and
Communications Security, Athens, Greece, November 1-4, 2000},
pages = {164--173},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/352600.352623},
doi = {10.1145/352600.352623},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/BonattiVS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rbac/BertinoBF00,
author = {Elisa Bertino and
Piero A. Bonatti and
Elena Ferrari},
editor = {Klaus Rebensburg and
Charles E. Youman and
Vijay Atluri},
title = {{TRBAC:} a temporal role-based access control model},
booktitle = {Fifth {ACM} Workshop on Role-Based Access Control, {RBAC} 2000, Berlin,
Germany, July 26-27, 2000},
pages = {21--30},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/344287.344298},
doi = {10.1145/344287.344298},
timestamp = {Tue, 06 Nov 2018 16:59:23 +0100},
biburl = {https://dblp.org/rec/conf/rbac/BertinoBF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BertinoBFS99,
author = {Elisa Bertino and
Piero A. Bonatti and
Elena Ferrari and
Maria Luisa Sapino},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Specifying and computing hierarchies of temporal authorizations},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {243--258},
year = {1999},
timestamp = {Wed, 01 Dec 2004 15:33:47 +0100},
biburl = {https://dblp.org/rec/conf/agp/BertinoBFS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/BertinoBFS99,
author = {Elisa Bertino and
Piero A. Bonatti and
Elena Ferrari and
Maria Luisa Sapino},
editor = {Vijayalakshmi Atluri and
John Hale},
title = {Specifying and Computing Hierarchies of Temporal Authorizations},
booktitle = {Research Advances in Database and Information Systems Security, {IFIP}
{WG} 11.3 Thirteenth International Conference on Database Security,
July 26-28, 1999, Seattle, Washington, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {171},
pages = {285--300},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 03 Jan 2002 11:56:17 +0100},
biburl = {https://dblp.org/rec/conf/dbsec/BertinoBFS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cia/BonattiKSS98,
author = {Piero A. Bonatti and
Sarit Kraus and
Jos{\'{e}} Salinas and
V. S. Subrahmanian},
editor = {Matthias Klusch and
Gerhard Wei{\ss}},
title = {Data-Security in Heterogeneous Agent Systems},
booktitle = {Cooperative Information Agents II, Learning, Mobility and Electronic
Commerce for Information Discovery on the Internet, Second International
Workshop, CIA' 98, Paris, France, July 4-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1435},
pages = {290--305},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053692},
doi = {10.1007/BFB0053692},
timestamp = {Tue, 08 Mar 2022 10:12:49 +0100},
biburl = {https://dblp.org/rec/conf/cia/BonattiKSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/AdaliBSS98,
author = {Sibel Adali and
Piero A. Bonatti and
Maria Luisa Sapino and
V. S. Subrahmanian},
editor = {Laura M. Haas and
Ashutosh Tiwary},
title = {A Multi-Similarity Algebra},
booktitle = {{SIGMOD} 1998, Proceedings {ACM} {SIGMOD} International Conference
on Management of Data, June 2-4, 1998, Seattle, Washington, {USA}},
pages = {402--413},
publisher = {{ACM} Press},
year = {1998},
url = {https://doi.org/10.1145/276304.276340},
doi = {10.1145/276304.276340},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/AdaliBSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BonattiSS97,
author = {Piero A. Bonatti and
Maria Luisa Sapino and
V. S. Subrahmanian},
title = {Merging Heterogeneous Security Orderings},
journal = {J. Comput. Secur.},
volume = {5},
number = {1},
pages = {3--30},
year = {1997},
url = {https://doi.org/10.3233/JCS-1997-5102},
doi = {10.3233/JCS-1997-5102},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/BonattiSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Bonatti97,
author = {Piero A. Bonatti},
editor = {Moreno Falaschi and
Marisa Navarro and
Alberto Policriti},
title = {A Constructive Negation for Transition System Specifications},
booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97,
Grado, Italy, June 16-19, 1997},
pages = {283--294},
year = {1997},
timestamp = {Thu, 02 Dec 2004 11:23:16 +0100},
biburl = {https://dblp.org/rec/conf/agp/Bonatti97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BonattiO97,
author = {Piero A. Bonatti and
Nicola Olivetti},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {A Sequent Calculus for Circumscription},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {98--114},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028009},
doi = {10.1007/BFB0028009},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/BonattiO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Bonatti97,
author = {Piero A. Bonatti},
editor = {J{\"{u}}rgen Dix and
Ulrich Furbach and
Anil Nerode},
title = {Resolution for Skeptical Stable Semantics},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 4th International Conference,
LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1265},
pages = {185--197},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63255-7\_13},
doi = {10.1007/3-540-63255-7\_13},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Bonatti97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BonattiO97,
author = {Piero A. Bonatti and
Nicola Olivetti},
editor = {Didier Galmiche},
title = {A Sequent Calculus for Skeptical Default Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '97, Pont-{\`{a}}-Mousson, France, May 13-16,
1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1227},
pages = {107--121},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027408},
doi = {10.1007/BFB0027408},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BonattiO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BonattiE96,
author = {Piero A. Bonatti and
Thomas Eiter},
title = {Querying Disjunctive Databases Through Nonmonotonic Logics},
journal = {Theor. Comput. Sci.},
volume = {160},
number = {1{\&}2},
pages = {321--363},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00192-1},
doi = {10.1016/0304-3975(95)00192-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BonattiE96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/BonattiSS96,
author = {Piero A. Bonatti and
Maria Luisa Sapino and
V. S. Subrahmanian},
editor = {Elisa Bertino and
Helmut Kurth and
Giancarlo Martella and
Emilio Montolivo},
title = {Merging Heterogeneous Security Orderings},
booktitle = {Computer Security - {ESORICS} 96, 4th European Symposium on Research
in Computer Security, Rome, Italy, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1146},
pages = {183--197},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61770-1\_37},
doi = {10.1007/3-540-61770-1\_37},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/esorics/BonattiSS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Bonatti96,
author = {Piero A. Bonatti},
editor = {Pierangelo Miglioli and
Ugo Moscato and
Daniele Mundici and
Mario Ornaghi},
title = {Sequent Calculi for Default and Autoepistemic Logics},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 5th International
Workshop, {TABLEAUX} '96, Terrasini, Palermo, Italy, May 15-17, 1996,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1071},
pages = {127--142},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61208-4\_9},
doi = {10.1007/3-540-61208-4\_9},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Bonatti96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Bonatti95,
author = {Piero A. Bonatti},
title = {Autoepistemic Logics as a Unifying Framework for the Semantics of
Logic Programs},
journal = {J. Log. Program.},
volume = {22},
number = {2},
pages = {91--149},
year = {1995},
url = {https://doi.org/10.1016/0743-1066(94)00022-X},
doi = {10.1016/0743-1066(94)00022-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Bonatti95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Bonatti95,
author = {Piero A. Bonatti},
title = {A Three-Valued Formalization of Provability},
journal = {J. Log. Comput.},
volume = {5},
number = {2},
pages = {173--201},
year = {1995},
url = {https://doi.org/10.1093/logcom/5.2.173},
doi = {10.1093/LOGCOM/5.2.173},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Bonatti95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/BonattiKS95,
author = {Piero A. Bonatti and
Sarit Kraus and
V. S. Subrahmanian},
title = {Foundations of Secure Deductive Databases},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {7},
number = {3},
pages = {406--422},
year = {1995},
url = {https://doi.org/10.1109/69.390247},
doi = {10.1109/69.390247},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/BonattiKS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BonattiG95,
author = {Piero A. Bonatti and
Laura Giordano},
editor = {Mar{\'{\i}}a Alpuente and
Maria I. Sessa},
title = {Three-Valued Semantics for Extended Logic Programs},
booktitle = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
di Vietri, Italy, September 11-14, 1995},
pages = {295--306},
year = {1995},
timestamp = {Fri, 01 Apr 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agp/BonattiG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/BonattiE95,
author = {Piero A. Bonatti and
Thomas Eiter},
editor = {Georg Gottlob and
Moshe Y. Vardi},
title = {Querying Disjunctive Database Through Nonmonotonic Logics},
booktitle = {Database Theory - ICDT'95, 5th International Conference, Prague, Czech
Republic, January 11-13, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {893},
pages = {68--81},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-58907-4\_7},
doi = {10.1007/3-540-58907-4\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/BonattiE95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Bonatti94,
author = {Piero A. Bonatti},
title = {Autoepistemic Logic Programming},
journal = {J. Autom. Reason.},
volume = {13},
number = {1},
pages = {35--67},
year = {1994},
url = {https://doi.org/10.1007/BF00881911},
doi = {10.1007/BF00881911},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Bonatti94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Bonatti93,
author = {Piero A. Bonatti},
editor = {Lu{\'{\i}}s Moniz Pereira and
Anil Nerode},
title = {Autoepistemic Logic Programming},
booktitle = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
Second International Workshop, Lisbon, Portugal, June 1993},
pages = {151--167},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/Bonatti93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/BonattiKS92,
author = {Piero A. Bonatti and
Sarit Kraus and
V. S. Subrahmanian},
editor = {Joachim Biskup and
Richard Hull},
title = {Declarative Foundations of Secure Deductive Databases},
booktitle = {Database Theory - ICDT'92, 4th International Conference, Berlin, Germany,
October 14-16, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {646},
pages = {391--406},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56039-4\_55},
doi = {10.1007/3-540-56039-4\_55},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/BonattiKS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Bonatti92,
author = {Piero A. Bonatti},
editor = {Krzysztof R. Apt},
title = {Autoepistemic Logics as a Unifying Framework for the Semantics of
Logic Programs},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {417--430},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Bonatti92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/Bonatti92,
author = {Piero A. Bonatti},
editor = {Alberto Pettorossi},
title = {Model Theoretic Semantics for Demo},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {220--234},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_15},
doi = {10.1007/3-540-56282-6\_15},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/meta/Bonatti92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Bonatti91,
author = {Piero A. Bonatti},
editor = {Edoardo Ardizzone and
Salvatore Gaglio and
Filippo Sorbello},
title = {A Family of Three-Valued Autoepistemic Logics},
booktitle = {Trends in Artificial Intelligence, 2nd Congress of the Italian Association
for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31,
1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {549},
pages = {28--37},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54712-6\_215},
doi = {10.1007/3-540-54712-6\_215},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/Bonatti91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Bonatti91,
author = {Piero A. Bonatti},
editor = {Anil Nerode and
V. Wiktor Marek and
V. S. Subrahmanian},
title = {Beliefs as Stable Conjectures},
booktitle = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
First International Workshop, Washington, D.C., USA, July 1991},
pages = {53--68},
publisher = {The {MIT} Press},
year = {1991},
timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/Bonatti91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Bonatti90,
author = {Piero A. Bonatti},
editor = {V. Wiktor Marek and
Anil Nerode and
Dino Pedreschi and
V. S. Subrahmanian},
title = {A More General Solution to the Multiple Expansion Problem},
booktitle = {Proceedings of the Workshop Logic Programming and Non-Monotonic Logic,
Austin, TX, USA, November 1-2, 1990},
pages = {10--18},
year = {1990},
timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/Bonatti90.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-25 01:36 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:
