Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sergio Tessaris
@article{DBLP:journals/mta/AngeliFMT23,
author = {Antonella De Angeli and
Mattia Falduti and
Mar{\'{\i}}a Men{\'{e}}ndez{-}Blanco and
Sergio Tessaris},
title = {Reporting non-consensual pornography: clarity, efficiency and distress},
journal = {Multim. Tools Appl.},
volume = {82},
number = {9},
pages = {12829--12858},
year = {2023},
url = {https://doi.org/10.1007/s11042-022-14291-z},
doi = {10.1007/S11042-022-14291-Z},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mta/AngeliFMT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/ChesaniFGLMMMT23,
author = {Federico Chesani and
Chiara Di Francescomarino and
Chiara Ghidini and
Daniela Loreti and
Fabrizio Maria Maggi and
Paola Mello and
Marco Montali and
Sergio Tessaris},
title = {Process Discovery on Deviant Traces and Other Stranger Things},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {35},
number = {11},
pages = {11784--11800},
year = {2023},
url = {https://doi.org/10.1109/TKDE.2022.3232207},
doi = {10.1109/TKDE.2022.3232207},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/ChesaniFGLMMMT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/MasellisFGT22,
author = {Riccardo De Masellis and
Chiara Di Francescomarino and
Chiara Ghidini and
Sergio Tessaris},
title = {Solving reachability problems on data-aware workflows},
journal = {Expert Syst. Appl.},
volume = {189},
pages = {116059},
year = {2022},
url = {https://doi.org/10.1016/j.eswa.2021.116059},
doi = {10.1016/J.ESWA.2021.116059},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eswa/MasellisFGT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/ChesaniFGLMMMPT22,
author = {Federico Chesani and
Chiara Di Francescomarino and
Chiara Ghidini and
Daniela Loreti and
Fabrizio Maria Maggi and
Paola Mello and
Marco Montali and
Elena Palmieri and
Sergio Tessaris},
editor = {Roberta Calegari and
Giovanni Ciatto and
Andrea Omicini},
title = {Discovering Business Processes models expressed as {DNF} or {CNF}
formulae of Declare constraints},
booktitle = {Proceedings of the 37th Italian Conference on Computational Logic,
Bologna, Italy, June 29 - July 1, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3204},
pages = {201--216},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3204/paper\_21.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/ChesaniFGLMMMPT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/ChesaniFGGLMMMT22,
author = {Federico Chesani and
Chiara Di Francescomarino and
Chiara Ghidini and
Giulia Grundler and
Daniela Loreti and
Fabrizio Maria Maggi and
Paola Mello and
Marco Montali and
Sergio Tessaris},
editor = {Jo{\~{a}}o Paulo A. Almeida and
Dimka Karastoyanova and
Giancarlo Guizzardi and
Marco Montali and
Fabrizio Maria Maggi and
Claudenir M. Fonseca},
title = {Shape Your Process: Discovering Declarative Business Processes from
Positive and Negative Traces Taking into Account User Preferences},
booktitle = {Enterprise Design, Operations, and Computing - 26th International
Conference, {EDOC} 2022, Bozen-Bolzano, Italy, October 3-7, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13585},
pages = {217--234},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17604-3\_13},
doi = {10.1007/978-3-031-17604-3\_13},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edoc/ChesaniFGGLMMMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/goodit/FaldutiT22,
author = {Mattia Falduti and
Sergio Tessaris},
title = {On the Use of Chatbots to Report Non-consensual Intimate Images Abuses:
the Legal Expert Perspective},
booktitle = {GoodIT 2022: {ACM} International Conference on Information Technology
for Social Good, Limassol, Cyprus, September 7 - 9, 2022},
pages = {96--102},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3524458.3547247},
doi = {10.1145/3524458.3547247},
timestamp = {Thu, 25 Aug 2022 14:29:30 +0200},
biburl = {https://dblp.org/rec/conf/goodit/FaldutiT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/ChesaniFGGLMMMT22,
author = {Federico Chesani and
Chiara Di Francescomarino and
Chiara Ghidini and
Giulia Grundler and
Daniela Loreti and
Fabrizio Maria Maggi and
Paola Mello and
Marco Montali and
Sergio Tessaris},
editor = {Georg Gottlob and
Daniela Inclezan and
Marco Maratea},
title = {Optimising Business Process Discovery Using Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 16th International
Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13416},
pages = {498--504},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15707-3\_38},
doi = {10.1007/978-3-031-15707-3\_38},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/ChesaniFGGLMMMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-10898,
author = {Enrico Franconi and
Sergio Tessaris},
title = {Relational Algebra and Calculus with {SQL} Null Values},
journal = {CoRR},
volume = {abs/2202.10898},
year = {2022},
url = {https://arxiv.org/abs/2202.10898},
eprinttype = {arXiv},
eprint = {2202.10898},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-10898.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chitaly/AngeliFBT21,
author = {Antonella De Angeli and
Mattia Falduti and
Mar{\'{\i}}a Men{\'{e}}ndez{-}Blanco and
Sergio Tessaris},
editor = {Antonella De Angeli and
Luca Chittaro and
Rosella Gennari and
Maria De Marsico and
Alessandra Melonio and
Cristina Gena and
Luigi De Russis and
Lucio Davide Spano},
title = {Reporting Revenge Porn: a Preliminary Expert Analysis},
booktitle = {Proceedings of the 14th Biannual Conference of the Italian {SIGCHI}
Chapter, CHItaly '21, Bozen-Bolzano, Italy, and online (www), July
11-13, 2021},
pages = {30:1--30:5},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464385.3464739},
doi = {10.1145/3464385.3464739},
timestamp = {Mon, 03 Jan 2022 22:17:15 +0100},
biburl = {https://dblp.org/rec/conf/chitaly/AngeliFBT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-12223,
author = {Antonella De Angeli and
Mattia Falduti and
Mar{\'{\i}}a Men{\'{e}}ndez{-}Blanco and
Sergio Tessaris},
title = {Reporting Revenge Porn: a Preliminary Expert Analysis},
journal = {CoRR},
volume = {abs/2106.12223},
year = {2021},
url = {https://arxiv.org/abs/2106.12223},
eprinttype = {arXiv},
eprint = {2106.12223},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-12223.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-14883,
author = {Federico Chesani and
Chiara Di Francescomarino and
Chiara Ghidini and
Daniela Loreti and
Fabrizio Maria Maggi and
Paola Mello and
Marco Montali and
Sergio Tessaris},
title = {Process discovery on deviant traces and other stranger things},
journal = {CoRR},
volume = {abs/2109.14883},
year = {2021},
url = {https://arxiv.org/abs/2109.14883},
eprinttype = {arXiv},
eprint = {2109.14883},
timestamp = {Mon, 04 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-14883.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/ChesaniFGLMMMST19,
author = {Federico Chesani and
Chiara Di Francescomarino and
Chiara Ghidini and
Daniela Loreti and
Fabrizio Maria Maggi and
Paola Mello and
Marco Montali and
Vasyl Skydanienko and
Sergio Tessaris},
editor = {Alberto Casagrande and
Eugenio G. Omodeo},
title = {Towards the Generation of the "Perfect" Log Using Abductive
Logic Programming},
booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
Trieste, Italy, June 19-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2396},
pages = {179--192},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2396/paper26.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/ChesaniFGLMMMST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-12738,
author = {Riccardo De Masellis and
Chiara Di Francescomarino and
Chiara Ghidini and
Sergio Tessaris},
title = {Verification of data-aware workflows via reachability: formalisation
and experiments},
journal = {CoRR},
volume = {abs/1909.12738},
year = {2019},
url = {http://arxiv.org/abs/1909.12738},
eprinttype = {arXiv},
eprint = {1909.12738},
timestamp = {Wed, 02 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-12738.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/DahlTB18,
author = {Ver{\'{o}}nica Dahl and
Sergio Tessaris and
Mariano De Sousa Bispo},
title = {Parsing as semantically guided constraint solving: the role of ontologies},
journal = {Ann. Math. Artif. Intell.},
volume = {82},
number = {1-3},
pages = {161--185},
year = {2018},
url = {https://doi.org/10.1007/s10472-018-9573-2},
doi = {10.1007/S10472-018-9573-2},
timestamp = {Wed, 16 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/DahlTB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ChesaniMMFGMT18,
author = {Federico Chesani and
Paola Mello and
Riccardo De Masellis and
Chiara Di Francescomarino and
Chiara Ghidini and
Marco Montali and
Sergio Tessaris},
title = {Compliance in Business Processes with Incomplete Information and Time
Constraints: a General Framework based on Abductive Reasoning},
journal = {Fundam. Informaticae},
volume = {161},
number = {1-2},
pages = {75--111},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1696},
doi = {10.3233/FI-2018-1696},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ChesaniMMFGMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/SabiucciuMT18,
author = {Luca Sabiucciu and
Marco Montali and
Sergio Tessaris},
editor = {Chiara Ghidini and
Bernardo Magnini and
Andrea Passerini and
Paolo Traverso},
title = {A Tool for the Verification of Data-Aware Business Processes},
booktitle = {AI*IA 2018 - Advances in Artificial Intelligence - XVIIth International
Conference of the Italian Association for Artificial Intelligence,
Trento, Italy, November 20-23, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11298},
pages = {266--276},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03840-3\_20},
doi = {10.1007/978-3-030-03840-3\_20},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/SabiucciuMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MasellisFGMT17,
author = {Riccardo De Masellis and
Chiara Di Francescomarino and
Chiara Ghidini and
Marco Montali and
Sergio Tessaris},
editor = {Satinder Singh and
Shaul Markovitch},
title = {Add Data into Business Process Verification: Bridging the Gap between
Theory and Practice},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {1091--1099},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.10688},
doi = {10.1609/AAAI.V31I1.10688},
timestamp = {Mon, 04 Sep 2023 14:40:32 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MasellisFGMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/MasellisFGT17,
author = {Riccardo De Masellis and
Chiara Di Francescomarino and
Chiara Ghidini and
Sergio Tessaris},
editor = {Ernest Teniente and
Matthias Weidlich},
title = {Enhancing Workflow-Nets with Data for Trace Completion},
booktitle = {Business Process Management Workshops - {BPM} 2017 International Workshops,
Barcelona, Spain, September 10-11, 2017, Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {308},
pages = {89--106},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74030-0\_6},
doi = {10.1007/978-3-319-74030-0\_6},
timestamp = {Fri, 26 May 2023 07:40:34 +0200},
biburl = {https://dblp.org/rec/conf/bpm/MasellisFGT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MasellisFGT17,
author = {Riccardo De Masellis and
Chiara Di Francescomarino and
Chiara Ghidini and
Sergio Tessaris},
title = {Enhancing workflow-nets with data for trace completion},
journal = {CoRR},
volume = {abs/1706.00356},
year = {2017},
url = {http://arxiv.org/abs/1706.00356},
eprinttype = {arXiv},
eprint = {1706.00356},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MasellisFGT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ChesaniMFGMMT16,
author = {Federico Chesani and
Riccardo De Masellis and
Chiara Di Francescomarino and
Chiara Ghidini and
Paola Mello and
Marco Montali and
Sergio Tessaris},
editor = {Giovanni Adorni and
Stefano Cagnoni and
Marco Gori and
Marco Maratea},
title = {Abducing Compliance of Incomplete Event Logs},
booktitle = {AI*IA 2016: Advances in Artificial Intelligence - XVth International
Conference of the Italian Association for Artificial Intelligence,
Genova, Italy, November 29 - December 1, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10037},
pages = {208--222},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49130-1\_16},
doi = {10.1007/978-3-319-49130-1\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/ChesaniMFGMMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/ChesaniMFGMMT16,
author = {Federico Chesani and
Riccardo De Masellis and
Chiara Di Francescomarino and
Chiara Ghidini and
Paola Mello and
Marco Montali and
Sergio Tessaris},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {Abducing Workflow Traces: {A} General Framework to Manage Incompleteness
in Business Processes},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {1734--1735},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-1734},
doi = {10.3233/978-1-61499-672-9-1734},
timestamp = {Tue, 02 Nov 2021 15:59:05 +0100},
biburl = {https://dblp.org/rec/conf/ecai/ChesaniMFGMMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChesaniMFGMMT16,
author = {Federico Chesani and
Riccardo De Masellis and
Chiara Di Francescomarino and
Chiara Ghidini and
Paola Mello and
Marco Montali and
Sergio Tessaris},
title = {Abducing Compliance of Incomplete Event Logs},
journal = {CoRR},
volume = {abs/1606.05446},
year = {2016},
url = {http://arxiv.org/abs/1606.05446},
eprinttype = {arXiv},
eprint = {1606.05446},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChesaniMFGMMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/Francescomarino15,
author = {Chiara Di Francescomarino and
Chiara Ghidini and
Sergio Tessaris and
Itzel V{\'{a}}zquez Sandoval},
editor = {Jelena Zdravkovic and
Marite Kirikova and
Paul Johannesson},
title = {Completing Workflow Traces Using Action Languages},
booktitle = {Advanced Information Systems Engineering - 27th International Conference,
CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9097},
pages = {314--330},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19069-3\_20},
doi = {10.1007/978-3-319-19069-3\_20},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/caise/Francescomarino15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/AdebaraDT15,
author = {Ife Adebara and
Ver{\'{o}}nica Dahl and
Sergio Tessaris},
editor = {St{\'{e}}phane Loiseau and
Joaquim Filipe and
B{\'{e}}atrice Duval and
H. Jaap van den Herik},
title = {Completing Mixed Language Grammars Through Womb Grammars Plus Ontologies},
booktitle = {{ICAART} 2015 - Proceedings of the International Conference on Agents
and Artificial Intelligence, Volume 1, Lisbon, Portugal, 10-12 January,
2015},
pages = {292--297},
publisher = {SciTePress},
year = {2015},
timestamp = {Tue, 15 Sep 2015 09:41:33 +0200},
biburl = {https://dblp.org/rec/conf/icaart/AdebaraDT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/AdebaraDT15a,
author = {Ife Adebara and
Ver{\'{o}}nica Dahl and
Sergio Tessaris},
editor = {B{\'{e}}atrice Duval and
H. Jaap van den Herik and
St{\'{e}}phane Loiseau and
Joaquim Filipe},
title = {Parsing with Partially Known Grammar},
booktitle = {Agents and Artificial Intelligence - 7th International Conference,
{ICAART} 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {9494},
pages = {334--346},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27947-3\_18},
doi = {10.1007/978-3-319-27947-3\_18},
timestamp = {Tue, 16 Aug 2022 23:04:29 +0200},
biburl = {https://dblp.org/rec/conf/icaart/AdebaraDT15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DahlTF15,
author = {Ver{\'{o}}nica Dahl and
Sergio Tessaris and
Thom W. Fr{\"{u}}hwirth},
editor = {Odile Papini and
Salem Benferhat and
Laurent Garcia and
Marie{-}Laure Mugnier and
Eduardo L. Ferm{\'{e}} and
Thomas Meyer and
Renata Wassermann and
Torsten Hahmann and
Ken Baclawski and
Adila Krisnadhi and
Pavel Klinov and
Stefano Borgo and
Oliver Kutz and
Daniele Porello},
title = {Imperfect Querying through Womb Grammars plus Ontologies},
booktitle = {Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine
Winter of Ontology co-located with the 24th International Joint Conference
on Artificial Intelligence {(IJCAI} 2015), Buenos Aires, Argentina,
July 25-27, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1517},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1517/JOWO-15\_ontolp\_paper\_5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:31 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/DahlTF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/Francescomarino14,
author = {Chiara Di Francescomarino and
Chiara Ghidini and
Sergio Tessaris and
Itzel V{\'{a}}zquez Sandoval},
editor = {Farouk Toumani and
Barbara Pernici and
Daniela Grigori and
Djamal Benslimane and
Jan Mendling and
Nejib Ben Hadj{-}Alouane and
M. Brian Blake and
Olivier Perrin and
Iman Saleh and
Sami Bhiri},
title = {Reasoning on Incomplete Execution Traces Using Action Languages -
{A} First Report},
booktitle = {Service-Oriented Computing - {ICSOC} 2014 Workshops - WESOA; SeMaPS,
RMSOC, KASA, ISC, FOR-MOVES, {CCSA} and Satellite Events, Paris, France,
November 3-6, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8954},
pages = {185--191},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-22885-3\_16},
doi = {10.1007/978-3-319-22885-3\_16},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/Francescomarino14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/SolomakhinMTM13,
author = {Dmitry Solomakhin and
Marco Montali and
Sergio Tessaris and
Riccardo De Masellis},
editor = {Samik Basu and
Cesare Pautasso and
Liang Zhang and
Xiang Fu},
title = {Verification of Artifact-Centric Systems: Decidability and Modeling
Issues},
booktitle = {Service-Oriented Computing - 11th International Conference, {ICSOC}
2013, Berlin, Germany, December 2-5, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8274},
pages = {252--266},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45005-1\_18},
doi = {10.1007/978-3-642-45005-1\_18},
timestamp = {Tue, 09 May 2023 12:51:34 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/SolomakhinMTM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-1697,
author = {Dmitry Solomakhin and
Marco Montali and
Sergio Tessaris and
Riccardo De Masellis},
title = {Verification of Artifact-Centric Systems: Decidability and Modeling
Issues},
journal = {CoRR},
volume = {abs/1304.1697},
year = {2013},
url = {http://arxiv.org/abs/1304.1697},
eprinttype = {arXiv},
eprint = {1304.1697},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-1697.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/semweb/FillottraniFT12,
author = {Pablo R. Fillottrani and
Enrico Franconi and
Sergio Tessaris},
title = {The {ICOM} 3.0 intelligent conceptual modelling tool and methodology},
journal = {Semantic Web},
volume = {3},
number = {3},
pages = {293--306},
year = {2012},
url = {https://doi.org/10.3233/SW-2011-0038},
doi = {10.3233/SW-2011-0038},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/semweb/FillottraniFT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/SolomakhinTM12,
author = {Dmitry Solomakhin and
Sergio Tessaris and
Marco Montali},
editor = {Paolo Liberatore and
Michele Lombardi and
Floriano Scioscia},
title = {Combining Process and Ontological Modeling},
booktitle = {Proceedings of the Doctoral Consortium of the 12th Symposium of the
Italian Association for Artificial Intelligence, Rome, Italy, June
15, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {926},
pages = {43--47},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-926/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/SolomakhinTM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/FranconiT12,
author = {Enrico Franconi and
Sergio Tessaris},
editor = {Juliana Freire and
Dan Suciu},
title = {On the Logic of {SQL} Nulls},
booktitle = {Proceedings of the 6th Alberto Mendelzon International Workshop on
Foundations of Data Management, Ouro Preto, Brazil, June 27-30, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {866},
pages = {114--128},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-866/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/FranconiT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/FranconiT12,
author = {Enrico Franconi and
Sergio Tessaris},
editor = {Nicola Ferro and
Letizia Tanca},
title = {The Algebra and the Logic for {SQL} Nulls},
booktitle = {Twentieth Italian Symposium on Advanced Database Systems, {SEBD} 2012,
Venice, Italy, June 24-27, 2012, Proceedings},
pages = {163--176},
publisher = {Edizioni Libreria Progetto, Padova, Italy},
year = {2012},
url = {http://sebd2012.dei.unipd.it/documents/188475/9bd4389a-fa7b-4bd0-8752-98dcffff84a4},
timestamp = {Fri, 07 Jun 2019 10:59:18 +0200},
biburl = {https://dblp.org/rec/conf/sebd/FranconiT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FillottraniFT11,
author = {Pablo R. Fillottrani and
Enrico Franconi and
Sergio Tessaris},
editor = {Riccardo Rosati and
Sebastian Rudolph and
Michael Zakharyaschev},
title = {Ontology Design and Integration with {ICOM} 3.0 - Tool Description
and Methodology},
booktitle = {Proceedings of the 24th International Workshop on Description Logics
{(DL} 2011), Barcelona, Spain, July 13-16, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {745},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-745/paper\_45.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/FillottraniFT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FranconiGTT11,
author = {Enrico Franconi and
Paolo Guagliardo and
Marco Trevisan and
Sergio Tessaris},
editor = {Riccardo Rosati and
Sebastian Rudolph and
Michael Zakharyaschev},
title = {Quelo: an Ontology-Driven Query Interface},
booktitle = {Proceedings of the 24th International Workshop on Description Logics
{(DL} 2011), Barcelona, Spain, July 13-16, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {745},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-745/paper\_58.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/FranconiGTT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/Al-ShammariWVT11,
author = {Ali Fawzi Najm Al{-}Shammari and
Komminist Weldemariam and
Adolfo Villafiorita and
Sergio Tessaris},
title = {Vote verification through open standard: {A} roadmap},
booktitle = {2011 International Workshop on Requirements Engineering for Electronic
Voting Systems, {REVOTE} 2011, Trento, Italy, August 29, 2011},
pages = {22--26},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/REVOTE.2011.6045912},
doi = {10.1109/REVOTE.2011.6045912},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/Al-ShammariWVT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LubyteT10,
author = {Lina Lubyte and
Sergio Tessaris},
editor = {Volker Haarslev and
David Toman and
Grant E. Weddell},
title = {Supporting the Development of Data Wrapping Ontologies (Extended Abstract)},
booktitle = {Proceedings of the 23rd International Workshop on Description Logics
{(DL} 2010), Waterloo, Ontario, Canada, May 4-7, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {573},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-573/paper\_34.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LubyteT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswc/LubyteT09,
author = {Lina Lubyte and
Sergio Tessaris},
editor = {Asunci{\'{o}}n G{\'{o}}mez{-}P{\'{e}}rez and
Yong Yu and
Ying Ding},
title = {Supporting the Development of Data Wrapping Ontologies},
booktitle = {The Semantic Web, Fourth Asian Conference, {ASWC} 2009, Shanghai,
China, December 6-9, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5926},
pages = {31--45},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10871-6\_3},
doi = {10.1007/978-3-642-10871-6\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/aswc/LubyteT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/LubyteT09,
author = {Lina Lubyte and
Sergio Tessaris},
editor = {Sourav S. Bhowmick and
Josef K{\"{u}}ng and
Roland R. Wagner},
title = {Automatic Extraction of Ontologies Wrapping Relational Data Sources},
booktitle = {Database and Expert Systems Applications, 20th International Conference,
{DEXA} 2009, Linz, Austria, August 31 - September 4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5690},
pages = {128--142},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03573-9\_10},
doi = {10.1007/978-3-642-03573-9\_10},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/dexa/LubyteT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rweb/2009,
editor = {Sergio Tessaris and
Enrico Franconi and
Thomas Eiter and
Claudio Gutierrez and
Siegfried Handschuh and
Marie{-}Christine Rousset and
Renate A. Schmidt},
title = {Reasoning Web. Semantic Technologies for Information Systems, 5th
International Summer School 2009, Brixen-Bressanone, Italy, August
30 - September 4, 2009, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {5689},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03754-2},
doi = {10.1007/978-3-642-03754-2},
isbn = {978-3-642-03753-5},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rweb/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GhidiniST08,
author = {Chiara Ghidini and
Luciano Serafini and
Sergio Tessaris},
editor = {Franz Baader and
Carsten Lutz and
Boris Motik},
title = {Bridging Heterogeneous Representations of Binary Relations: First
Results},
booktitle = {Proceedings of the 21st International Workshop on Description Logics
(DL2008), Dresden, Germany, May 13-16, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {353},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-353/GhidiniSerafiniTessaris.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GhidiniST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LubyteT08,
author = {Lina Lubyte and
Sergio Tessaris},
editor = {Franz Baader and
Carsten Lutz and
Boris Motik},
title = {Supporting the Design of Ontologies for Data Access},
booktitle = {Proceedings of the 21st International Workshop on Description Logics
(DL2008), Dresden, Germany, May 13-16, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {353},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-353/LubyteTessaris.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LubyteT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fois/GhidiniST08,
author = {Chiara Ghidini and
Luciano Serafini and
Sergio Tessaris},
editor = {Carola Eschenbach and
Michael Gr{\"{u}}ninger},
title = {Complexity of Reasoning With Expressive Ontology Mappings},
booktitle = {Formal Ontology in Information Systems, Proceedings of the Fifth International
Conference, {FOIS} 2008, Saarbr{\"{u}}cken, Germany, October
31st - November 3rd, 2008},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {183},
pages = {151--163},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-923-3-151},
doi = {10.3233/978-1-58603-923-3-151},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fois/GhidiniST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/context/GhidiniST07,
author = {Chiara Ghidini and
Luciano Serafini and
Sergio Tessaris},
editor = {Boicho N. Kokinov and
Daniel C. Richardson and
Thomas Roth{-}Berghofer and
Laure Vieu},
title = {On Relating Heterogeneous Elements from Different Ontologies},
booktitle = {Modeling and Using Context, 6th International and Interdisciplinary
Conference, {CONTEXT} 2007, Roskilde, Denmark, August 20-24, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4635},
pages = {234--247},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74255-5\_18},
doi = {10.1007/978-3-540-74255-5\_18},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/context/GhidiniST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GhidiniST07,
author = {Chiara Ghidini and
Luciano Serafini and
Sergio Tessaris},
editor = {Diego Calvanese and
Enrico Franconi and
Volker Haarslev and
Domenico Lembo and
Boris Motik and
Anni{-}Yasmin Turhan and
Sergio Tessaris},
title = {On Relating Heterogeneous Elements from Different Ontologies},
booktitle = {Proceedings of the 2007 International Workshop on Description Logics
(DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June,
2007},
series = {{CEUR} Workshop Proceedings},
volume = {250},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-250/paper\_77.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GhidiniST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LubyteT07,
author = {Lina Lubyte and
Sergio Tessaris},
editor = {Diego Calvanese and
Enrico Franconi and
Volker Haarslev and
Domenico Lembo and
Boris Motik and
Anni{-}Yasmin Turhan and
Sergio Tessaris},
title = {Extracting Ontologies from Relational Databases},
booktitle = {Proceedings of the 2007 International Workshop on Description Logics
(DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June,
2007},
series = {{CEUR} Workshop Proceedings},
volume = {250},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-250/paper\_48.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LubyteT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swap/ZorziTD07,
author = {Ivan Zorzi and
Sergio Tessaris and
Paolo Dongilli},
editor = {Giovanni Semeraro and
Eugenio Di Sciascio and
Christian Morbidoni and
Heiko Stoermer},
title = {Improving Responsiveness of Ontology-Based Query Formulation},
booktitle = {Proceedings of the 4th Italian Semantic Web Workshop, Dipartimento
di Informatica - Universita' degli Studi di Bari - Italy, 18-20 December,
2007},
series = {{CEUR} Workshop Proceedings},
volume = {314},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-314/50.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:20 +0100},
biburl = {https://dblp.org/rec/conf/swap/ZorziTD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2007,
editor = {Diego Calvanese and
Enrico Franconi and
Volker Haarslev and
Domenico Lembo and
Boris Motik and
Anni{-}Yasmin Turhan and
Sergio Tessaris},
title = {Proceedings of the 2007 International Workshop on Description Logics
(DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June,
2007},
series = {{CEUR} Workshop Proceedings},
volume = {250},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-250},
urn = {urn:nbn:de:0074-250-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FillottraniFT06,
author = {Pablo R. Fillottrani and
Enrico Franconi and
Sergio Tessaris},
editor = {Bijan Parsia and
Ulrike Sattler and
David Toman},
title = {The new {ICOM} Ontology Editor},
booktitle = {Proceedings of the 2006 International Workshop on Description Logics
(DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {189},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-189/submission\_38.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/FillottraniFT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isda/DongilliTB06,
author = {Paolo Dongilli and
Sergio Tessaris and
John A. Bateman},
title = {Leveraging Systemic-Functional Linguistics to Enhance Intelligent
Database Querying},
booktitle = {Proceedings of the Sixth International Conference on Intelligent Systems
Design and Applications {(ISDA} 2006), October 16-18, 2006, Jinan,
China},
pages = {1073--1079},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISDA.2006.185},
doi = {10.1109/ISDA.2006.185},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isda/DongilliTB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/LutzBFLMRSST06,
author = {Carsten Lutz and
Franz Baader and
Enrico Franconi and
Domenico Lembo and
Ralf M{\"{o}}ller and
Riccardo Rosati and
Ulrike Sattler and
Boontawee Suntisrivaraporn and
Sergio Tessaris},
editor = {Bernardo Cuenca Grau and
Pascal Hitzler and
Conor Shankey and
Evan Wallace},
title = {Reasoning Support for Ontology Design},
booktitle = {Proceedings of the OWLED*06 Workshop on {OWL:} Experiences and Directions,
Athens, Georgia, USA, November 10-11, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {216},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-216/submission\_2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/LutzBFLMRSST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FranconiT06,
author = {Enrico Franconi and
Sergio Tessaris},
editor = {Stijn Vansummeren},
title = {The logic of {RDF} and {SPARQL:} a tutorial},
booktitle = {Proceedings of the Twenty-Fifth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois,
{USA}},
pages = {355},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1142351.1142402},
doi = {10.1145/1142351.1142402},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/FranconiT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TessarisF05,
author = {Sergio Tessaris and
Enrico Franconi},
editor = {Ian Horrocks and
Ulrike Sattler and
Frank Wolter},
title = {Rules and Queries with Ontologies: a Unifying Logical Framework},
booktitle = {Proceedings of the 2005 International Workshop on Description Logics
(DL2005), Edinburgh, Scotland, UK, July 26-28, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {147},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-147/20-franconi-tessaris.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/TessarisF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/FranconiBT05,
author = {Enrico Franconi and
Jos de Bruijn and
Sergio Tessaris},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Bijan Parsia and
Peter F. Patel{-}Schneider},
title = {Logical Reconstruction of Normative {RDF}},
booktitle = {Proceedings of the OWLED*05 Workshop on {OWL:} Experiences and Directions,
Galway, Ireland, November 11-12, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {188},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-188/sub24.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/FranconiBT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppswr/BruijnFT05,
author = {Jos de Bruijn and
Enrico Franconi and
Sergio Tessaris},
editor = {Fran{\c{c}}ois Fages and
Sylvain Soliman},
title = {Logical Reconstruction of {RDF} and Ontology Languages},
booktitle = {Principles and Practice of Semantic Web Reasoning, Third International
Workshop, {PPSWR} 2005, Dagstuhl Castle, Germany, September 11-16,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3703},
pages = {65--71},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11552222\_7},
doi = {10.1007/11552222\_7},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/ppswr/BruijnFT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/DongilliFFT05,
author = {Paolo Dongilli and
Pablo R. Fillottrani and
Enrico Franconi and
Sergio Tessaris},
editor = {Andrea Cal{\`{\i}} and
Diego Calvanese and
Enrico Franconi and
Maurizio Lenzerini and
Letizia Tanca},
title = {A Multi-Agent System for Querying Heterogeneous Data Sources with
Ontologies},
booktitle = {Proceedings of the Thirteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy,
June 19-22, 2005},
pages = {75--86},
year = {2005},
timestamp = {Mon, 27 Jun 2005 14:46:36 +0200},
biburl = {https://dblp.org/rec/conf/sebd/DongilliFFT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/w3c/FranconiT05,
author = {Enrico Franconi and
Sergio Tessaris},
title = {A Unified Logical Framework for Rules (and Queries) with Ontologies},
booktitle = {{W3C} Workshop on Rule Languages for Interoperability, 27-28 April
2005, Washington, DC, {USA}},
publisher = {{W3C}},
year = {2005},
url = {http://www.w3.org/2004/12/rules-ws/paper/71},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/w3c/FranconiT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/DongilliFT04,
author = {Paolo Dongilli and
Enrico Franconi and
Sergio Tessaris},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Semantics Driven Support for Query Formulation},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/14Dongilli-final.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/DongilliFT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/CatarciDMFST04,
author = {Tiziana Catarci and
Paolo Dongilli and
Tania Di Mascio and
Enrico Franconi and
Giuseppe Santucci and
Sergio Tessaris},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {An Ontology Based Visual Tool for Query Formulation Support},
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 = {308--312},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Fri, 11 May 2018 12:42:30 +0200},
biburl = {https://dblp.org/rec/conf/ecai/CatarciDMFST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppswr/FranconiT04,
author = {Enrico Franconi and
Sergio Tessaris},
editor = {Hans J{\"{u}}rgen Ohlbach and
Sebastian Schaffert},
title = {Rules and Queries with Ontologies: {A} Unified Logical Framework},
booktitle = {Principles and Practice of Semantic Web Reasoning, Second International
Workshop, {PPSWR} 2004, St. Malo, France, September 6-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3208},
pages = {50--60},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30122-6\_4},
doi = {10.1007/978-3-540-30122-6\_4},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/ppswr/FranconiT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/CatarciMFST03,
author = {Tiziana Catarci and
Tania Di Mascio and
Enrico Franconi and
Giuseppe Santucci and
Sergio Tessaris},
editor = {Robert Meersman and
Zahir Tari},
title = {An Ontology Based Visual Tool for Query Formulation Support},
booktitle = {On The Move to Meaningful Internet Systems 2003: {OTM} 2003 Workshops,
{OTM} Confederated International Workshops, HCI-SWWA, IPW, JTRES,
WORM, WMS, and {WRSM} 2003, Catania, Sicily, Italy, November 3-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2889},
pages = {32--33},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39962-9\_15},
doi = {10.1007/978-3-540-39962-9\_15},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/otm/CatarciMFST03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/TessarisHG02,
author = {Sergio Tessaris and
Ian Horrocks and
Graham Gough},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Evaluating a Modular Abox Algorithm},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {227--238},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/TessarisHG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/TessarisH02,
author = {Sergio Tessaris and
Ian Horrocks},
editor = {Matthias Baaz and
Andrei Voronkov},
title = {Abox Satisfiability Reduced to Terminological Reasoning in Expressive
Description Logics},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2514},
pages = {435--449},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36078-6\_29},
doi = {10.1007/3-540-36078-6\_29},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/TessarisH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/HorrocksT02,
author = {Ian Horrocks and
Sergio Tessaris},
editor = {Ian Horrocks and
James A. Hendler},
title = {Querying the Semantic Web: {A} Formal Approach},
booktitle = {The Semantic Web - {ISWC} 2002, First International Semantic Web Conference,
Sardinia, Italy, June 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2342},
pages = {177--191},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-48005-6\_15},
doi = {10.1007/3-540-48005-6\_15},
timestamp = {Tue, 12 Apr 2022 14:46:29 +0200},
biburl = {https://dblp.org/rec/conf/semweb/HorrocksT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2002,
editor = {Ian Horrocks and
Sergio Tessaris},
title = {Proceedings of the 2002 International Workshop on Description Logics
(DL2002), Toulouse, France, April 19-21, 2002},
series = {{CEUR} Workshop Proceedings},
volume = {53},
publisher = {CEUR-WS.org},
year = {2002},
url = {https://ceur-ws.org/Vol-53},
urn = {urn:nbn:de:0074-53-2},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Tessaris01,
author = {Sergio Tessaris},
editor = {Carole A. Goble and
Deborah L. McGuinness and
Ralf M{\"{o}}ller and
Peter F. Patel{-}Schneider},
title = {Querying expressive DLs},
booktitle = {Working Notes of the 2001 International Description Logics Workshop
(DL-2001), Stanford, CA, USA, August 1-3, 2001},
series = {{CEUR} Workshop Proceedings},
volume = {49},
publisher = {CEUR-WS.org},
year = {2001},
url = {https://ceur-ws.org/Vol-49/Tessaris-170start.ps},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Tessaris01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HorrocksT00,
author = {Ian Horrocks and
Sergio Tessaris},
editor = {Henry A. Kautz and
Bruce W. Porter},
title = {A Conjunctive Query Language for Description Logic Aboxes},
booktitle = {Proceedings of the Seventeenth National Conference on Artificial Intelligence
and Twelfth Conference on on Innovative Applications of Artificial
Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}},
pages = {399--404},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2000},
url = {http://www.aaai.org/Library/AAAI/2000/aaai00-061.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HorrocksT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HorrocksT00,
author = {Ian Horrocks and
Sergio Tessaris},
editor = {Franz Baader and
Ulrike Sattler},
title = {Answering Conjunctive Queries over {DL} Aboxes: {A} Preliminary Report},
booktitle = {Proceedings of the 2000 International Workshop on Description Logics
(DL2000), Aachen, Germany, August 17-19, 2000},
series = {{CEUR} Workshop Proceedings},
volume = {33},
pages = {173--182},
publisher = {CEUR-WS.org},
year = {2000},
url = {https://ceur-ws.org/Vol-33/Horrocks173-182.ps},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/HorrocksT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/krdb/HorrocksSTT00,
author = {Ian Horrocks and
Ulrike Sattler and
Sergio Tessaris and
Stephan Tobies},
editor = {Mokrane Bouzeghoub and
Matthias Klusch and
Werner Nutt and
Ulrike Sattler},
title = {How to decide Query Containment under Constraints using a Description
Logic},
booktitle = {Proceedings of the 7th International Workshop on Knowledge Representation
meets Databases {(KRDB} 2000), Berlin, Germany, August 21, 2000},
series = {{CEUR} Workshop Proceedings},
volume = {29},
pages = {59--72},
publisher = {CEUR-WS.org},
year = {2000},
url = {https://ceur-ws.org/Vol-29/05-HoSST.ps},
timestamp = {Fri, 10 Mar 2023 16:23:34 +0100},
biburl = {https://dblp.org/rec/conf/krdb/HorrocksSTT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HorrocksSTT00,
author = {Ian Horrocks and
Ulrike Sattler and
Sergio Tessaris and
Stephan Tobies},
editor = {Michel Parigot and
Andrei Voronkov},
title = {How to Decide Query Containment Under Constraints Using a Description
Logic},
booktitle = {Logic for Programming and Automated Reasoning, 7th International Conference,
{LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1955},
pages = {326--343},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44404-1\_21},
doi = {10.1007/3-540-44404-1\_21},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HorrocksSTT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BechhoferHPT99,
author = {Sean Bechhofer and
Ian Horrocks and
Peter F. Patel{-}Schneider and
Sergio Tessaris},
editor = {Patrick Lambrix and
Alexander Borgida and
Maurizio Lenzerini and
Ralf M{\"{o}}ller and
Peter F. Patel{-}Schneider},
title = {A Proposal for a Description Logic Interface},
booktitle = {Proceedings of the 1999 International Workshop on Description Logics
(DL'99), Link{\"{o}}ping, Sweden, July 30 - August 1, 1999},
series = {{CEUR} Workshop Proceedings},
volume = {22},
publisher = {CEUR-WS.org},
year = {1999},
url = {https://ceur-ws.org/Vol-22/bechhofer.ps},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BechhoferHPT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TessarisG99,
author = {Sergio Tessaris and
Graham Gough},
editor = {Patrick Lambrix and
Alexander Borgida and
Maurizio Lenzerini and
Ralf M{\"{o}}ller and
Peter F. Patel{-}Schneider},
title = {ABox Reasoning with Transitive Roles and Axioms},
booktitle = {Proceedings of the 1999 International Workshop on Description Logics
(DL'99), Link{\"{o}}ping, Sweden, July 30 - August 1, 1999},
series = {{CEUR} Workshop Proceedings},
volume = {22},
publisher = {CEUR-WS.org},
year = {1999},
url = {https://ceur-ws.org/Vol-22/tessaris.ps},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/TessarisG99.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:35 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:
