Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gian Luca Pozzato
@article{DBLP:journals/hhci/LietoSGDMPD24,
author = {Antonio Lieto and
Manuel Striani and
Cristina Gena and
Enrico Dolza and
Anna Maria Marras and
Gian Luca Pozzato and
Rossana Damiano},
title = {A sensemaking system for grouping and suggesting stories from multiple
affective viewpoints in museums},
journal = {Hum. Comput. Interact.},
volume = {39},
number = {1-2},
pages = {109--143},
year = {2024},
url = {https://doi.org/10.1080/07370024.2023.2242355},
doi = {10.1080/07370024.2023.2242355},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/hhci/LietoSGDMPD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cogsr/LietoPSZD23,
author = {Antonio Lieto and
Gian Luca Pozzato and
Manuel Striani and
Stefano Zoia and
Rossana Damiano},
title = {{DEGARI} 2.0: {A} diversity-seeking, explainable, and affective art
recommender for social inclusion},
journal = {Cogn. Syst. Res.},
volume = {77},
pages = {1--17},
year = {2023},
url = {https://doi.org/10.1016/j.cogsys.2022.10.001},
doi = {10.1016/J.COGSYS.2022.10.001},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cogsr/LietoPSZD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/PozzatoS23,
author = {Gian Luca Pozzato and
Marco Spinnicchia},
editor = {Roberto Basili and
Domenico Lembo and
Carla Limongelli and
Andrea Orlandini},
title = {A Defeasible Description Logic for Abduction},
booktitle = {AIxIA 2023 - Advances in Artificial Intelligence - XXIInd International
Conference of the Italian Association for Artificial Intelligence,
AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14318},
pages = {74--87},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47546-7\_6},
doi = {10.1007/978-3-031-47546-7\_6},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/PozzatoS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/GliozziPV23,
author = {Valentina Gliozzi and
Gian Luca Pozzato and
Alberto Valese},
editor = {Agostino Dovier and
Andrea Formisano},
title = {Proof Methods and Theorem Proving for Conditional Logics with Strong
Centering},
booktitle = {Proceedings of the 38th Italian Conference on Computational Logic,
Udine, Italy, June 21-23, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3428},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3428/paper16.pdf},
timestamp = {Wed, 05 Jul 2023 16:52:15 +0200},
biburl = {https://dblp.org/rec/conf/cilc/GliozziPV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-14117,
author = {Antonio Lieto and
Manuel Striani and
Cristina Gena and
Enrico Dolza and
Anna Maria Marras and
Gian Luca Pozzato and
Rossana Damiano},
title = {A sensemaking system for grouping and suggesting stories from multiple
affective viewpoints in museums},
journal = {CoRR},
volume = {abs/2304.14117},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.14117},
doi = {10.48550/ARXIV.2304.14117},
eprinttype = {arXiv},
eprint = {2304.14117},
timestamp = {Wed, 03 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-14117.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/displays/GliozziPV22,
author = {Valentina Gliozzi and
Gian Luca Pozzato and
Alberto Valese},
title = {Combining neural and symbolic approaches to solve the Picasso problem:
{A} first step},
journal = {Displays},
volume = {74},
pages = {102203},
year = {2022},
url = {https://doi.org/10.1016/j.displa.2022.102203},
doi = {10.1016/J.DISPLA.2022.102203},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/displays/GliozziPV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GirlandoLOPP22,
author = {Marianna Girlando and
Bj{\"{o}}rn Lellmann and
Nicola Olivetti and
Stefano Pesce and
Gian Luca Pozzato},
title = {Calculi, countermodel generation and theorem prover for strong logics
of counterfactual reasoning},
journal = {J. Log. Comput.},
volume = {32},
number = {2},
pages = {233--280},
year = {2022},
url = {https://doi.org/10.1093/logcom/exab084},
doi = {10.1093/LOGCOM/EXAB084},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GirlandoLOPP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Pozzato22,
author = {Gian Luca Pozzato},
title = {Probabilistic Semantic Web Reasoning and Learning, by Zese Riccardo},
journal = {Theory Pract. Log. Program.},
volume = {22},
number = {3},
pages = {496--498},
year = {2022},
url = {https://doi.org/10.1017/S1471068421000041},
doi = {10.1017/S1471068421000041},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/Pozzato22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BarberaLP22,
author = {Chiara Barbera and
Antonio Lieto and
Gian Luca Pozzato},
editor = {Rossana Damiano and
Stefano Ferilli and
Manuel Striani and
Gianmaria Silvello},
title = {An Ontology-based Tool for Dynamic Generation, Classification and
Recommendation of Novel Contents in Online Libraries},
booktitle = {Proceedings of the 1st Workshop on Artificial Intelligence for Cultural
Heritage, {AI4CH} 2022, co-located with the 21st International Conference
of the Italian Association for Artificial Intelligence (AIxIA 2022),
Udine, Italy, November 28, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3286},
pages = {1--12},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3286/01\_paper.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/BarberaLP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/LietoPSZD22,
author = {Antonio Lieto and
Gian Luca Pozzato and
Manuel Striani and
Stefano Zoia and
Rossana Damiano},
editor = {Luca Geatti and
Guido Sciavicco and
Alessandro Umbrico},
title = {Formal Methods Meet {XAI:} the Tool {DEGARI} 2.0 for Social Inclusion},
booktitle = {Short Paper Proceedings of the 4th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 21st International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3311},
pages = {45--50},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3311/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/LietoPSZD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/LietoPVZ22,
author = {Antonio Lieto and
Gian Luca Pozzato and
Alberto Valese and
Mattia Zito},
editor = {Agostino Dovier and
Angelo Montanari and
Andrea Orlandini},
title = {A Logic-Based Tool for Dynamic Generation and Classification of Musical
Content},
booktitle = {AIxIA 2022 - Advances in Artificial Intelligence - XXIst International
Conference of the Italian Association for Artificial Intelligence,
AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13796},
pages = {313--326},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-27181-6\_22},
doi = {10.1007/978-3-031-27181-6\_22},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/LietoPVZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/OlivettiPP22,
author = {Nicola Olivetti and
Nikola Panic and
Gian Luca Pozzato},
editor = {Agostino Dovier and
Angelo Montanari and
Andrea Orlandini},
title = {Labelled Sequent Calculi for Conditional Logics: Conditional Excluded
Middle and Conditional Modus Ponens Finally Together},
booktitle = {AIxIA 2022 - Advances in Artificial Intelligence - XXIst International
Conference of the Italian Association for Artificial Intelligence,
AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13796},
pages = {345--357},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-27181-6\_24},
doi = {10.1007/978-3-031-27181-6\_24},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/OlivettiPP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/PanicP22,
author = {Nikola Panic and
Gian Luca Pozzato},
editor = {Roberta Calegari and
Giovanni Ciatto and
Andrea Omicini},
title = {Efficient Theorem Proving for Conditional Logics with Conditional
Excluded Middle},
booktitle = {Proceedings of the 37th Italian Conference on Computational Logic,
Bologna, Italy, June 29 - July 1, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3204},
pages = {217--231},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3204/paper\_22.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/PanicP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/LietoPZPD21,
author = {Antonio Lieto and
Gian Luca Pozzato and
Stefano Zoia and
Viviana Patti and
Rossana Damiano},
title = {A commonsense reasoning framework for explanatory emotion attribution,
generation and re-classification},
journal = {Knowl. Based Syst.},
volume = {227},
pages = {107166},
year = {2021},
url = {https://doi.org/10.1016/j.knosys.2021.107166},
doi = {10.1016/J.KNOSYS.2021.107166},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kbs/LietoPZPD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gandalf/2021overlay,
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987},
urn = {urn:nbn:de:0074-2987-2},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/2021overlay.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2109-07914,
editor = {Andrea Formisano and
Yanhong Annie Liu and
Bart Bogaerts and
Alex Brik and
Ver{\'{o}}nica Dahl and
Carmine Dodaro and
Paul Fodor and
Gian Luca Pozzato and
Joost Vennekens and
Neng{-}Fa Zhou},
title = {Proceedings 37th International Conference on Logic Programming (Technical
Communications), {ICLP} Technical Communications 2021, Porto (virtual
event), 20-27th September 2021},
series = {{EPTCS}},
volume = {345},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.345},
doi = {10.4204/EPTCS.345},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-07914.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-04017,
author = {Antonio Lieto and
Gian Luca Pozzato and
Stefano Zoia and
Viviana Patti and
Rossana Damiano},
title = {A Commonsense Reasoning Framework for Explanatory Emotion Attribution,
Generation and Re-classification},
journal = {CoRR},
volume = {abs/2101.04017},
year = {2021},
url = {https://arxiv.org/abs/2101.04017},
eprinttype = {arXiv},
eprint = {2101.04017},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-04017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/DalmonteNOP20,
author = {Tiziano Dalmonte and
Sara Negri and
Nicola Olivetti and
Gian Luca Pozzato},
title = {Proof-search and countermodel generation for non-normal modal logics:
The theorem prover {PRONOM}},
journal = {Intelligenza Artificiale},
volume = {14},
number = {2},
pages = {215--229},
year = {2020},
url = {https://doi.org/10.3233/IA-200052},
doi = {10.3233/IA-200052},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ia/DalmonteNOP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/LietoP20,
author = {Antonio Lieto and
Gian Luca Pozzato},
title = {A description logic framework for commonsense conceptual combination
integrating typicality, probabilities and cognitive heuristics},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {32},
number = {5},
pages = {769--804},
year = {2020},
url = {https://doi.org/10.1080/0952813X.2019.1672799},
doi = {10.1080/0952813X.2019.1672799},
timestamp = {Tue, 06 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetai/LietoP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/LietoP20,
author = {Antonio Lieto and
Gian Luca Pozzato},
editor = {Giuseppe Vizzari and
Matteo Palmonari and
Andrea Orlandini},
title = {What Cognitive Research Can Do for {AI:} a Case Study (short paper)},
booktitle = {Proceedings of the AIxIA 2020 Discussion Papers Workshop co-located
with the the 19th International Conference of the Italian Association
for Artificial Intelligence (AIxIA2020), Anywhere, November 27th,
2020},
series = {{CEUR} Workshop Proceedings},
volume = {2776},
pages = {41--48},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2776/paper-5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/aiia/LietoP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DalmonteOP20,
author = {Tiziano Dalmonte and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {{HYPNO:} Theorem Proving with Hypersequent Calculi for Non-normal
Modal Logics (System Description)},
booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12167},
pages = {378--387},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51054-1\_23},
doi = {10.1007/978-3-030-51054-1\_23},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/DalmonteOP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/GirlandoLOPP20,
author = {Marianna Girlando and
Bj{\"{o}}rn Lellmann and
Nicola Olivetti and
Stefano Pesce and
Gian Luca Pozzato},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Theorem Proving for Lewis Logics of Counterfactual Reasoning},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {199--213},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/GirlandoLOPP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/ChiodinoLLMPR20,
author = {Eleonora Chiodino and
Davide Di Luccio and
Antonio Lieto and
Alberto Messina and
Gian Luca Pozzato and
Davide Rubinetti},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {A Knowledge-Based System for the Dynamic Generation and Classification
of Novel Contents in Multimedia Broadcasting},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {680--687},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200154},
doi = {10.3233/FAIA200154},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/ChiodinoLLMPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/ChiodinoLPP20,
author = {Eleonora Chiodino and
Antonio Lieto and
Federico Perrone and
Gian Luca Pozzato},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {A Goal-Oriented Framework for Knowledge Invention and Creative Problem
Solving in Cognitive Architectures},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {2893--2894},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200440},
doi = {10.3233/FAIA200440},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/ChiodinoLPP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/DalmonteNOP20,
author = {Tiziano Dalmonte and
Sara Negri and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Riccardo De Benedictis and
Luca Geretti and
Andrea Micheli},
title = {Theorem Proving for Non-normal Modal Logics},
booktitle = {Proceedings of the 2nd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Bolzano
Summer of Knowledge 2020 {(BOSK} 2020), September 25, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2785},
pages = {17--22},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2785/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:17 +0100},
biburl = {https://dblp.org/rec/conf/overlay/DalmonteNOP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ssw/GiordanoGLOP20,
author = {Laura Giordano and
Valentina Gliozzi and
Antonio Lieto and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Giuseppe Cota and
Marilena Daquino and
Gian Luca Pozzato},
title = {Reasoning About Typicality and Probabilities in Preferential Description
Logics},
booktitle = {Applications and Practices in Ontology Design, Extraction, and Reasoning},
series = {Studies on the Semantic Web},
volume = {49},
pages = {145--161},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/SSW200041},
doi = {10.3233/SSW200041},
timestamp = {Mon, 19 Apr 2021 14:49:06 +0200},
biburl = {https://dblp.org/rec/series/ssw/GiordanoGLOP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:series/ssw/49,
editor = {Giuseppe Cota and
Marilena Daquino and
Gian Luca Pozzato},
title = {Applications and Practices in Ontology Design, Extraction, and Reasoning},
series = {Studies on the Semantic Web},
volume = {49},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/SSW49},
doi = {10.3233/SSW49},
isbn = {978-1-64368-142-9},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/ssw/49.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-09507,
author = {Laura Giordano and
Valentina Gliozzi and
Antonio Lieto and
Nicola Olivetti and
Gian Luca Pozzato},
title = {Reasoning about Typicality and Probabilities in Preferential Description
Logics},
journal = {CoRR},
volume = {abs/2004.09507},
year = {2020},
url = {https://arxiv.org/abs/2004.09507},
eprinttype = {arXiv},
eprint = {2004.09507},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-09507.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cogsr/LietoPPC19,
author = {Antonio Lieto and
Federico Perrone and
Gian Luca Pozzato and
Eleonora Chiodino},
title = {Beyond subgoaling: {A} dynamic knowledge generation framework for
creative problem solving in cognitive architectures},
journal = {Cogn. Syst. Res.},
volume = {58},
pages = {305--316},
year = {2019},
url = {https://doi.org/10.1016/j.cogsys.2019.08.005},
doi = {10.1016/J.COGSYS.2019.08.005},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cogsr/LietoPPC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/LietoP19,
author = {Antonio Lieto and
Gian Luca Pozzato},
title = {Applying a description logic of typicality as a generative tool for
concept combination in computational creativity},
journal = {Intelligenza Artificiale},
volume = {13},
number = {1},
pages = {93--106},
year = {2019},
url = {https://doi.org/10.3233/IA-180016},
doi = {10.3233/IA-180016},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ia/LietoP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/Pozzato19,
author = {Gian Luca Pozzato},
title = {Typicalities and probabilities of exceptions in nonmotonic Description
Logics},
journal = {Int. J. Approx. Reason.},
volume = {107},
pages = {81--100},
year = {2019},
url = {https://doi.org/10.1016/j.ijar.2019.02.003},
doi = {10.1016/J.IJAR.2019.02.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/Pozzato19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/DalmonteNOP19,
author = {Tiziano Dalmonte and
Sara Negri and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Mario Alviano and
Gianluigi Greco and
Francesco Scarcello},
title = {{PRONOM:} Proof-Search and Countermodel Generation for Non-normal
Modal Logics},
booktitle = {AI*IA 2019 - Advances in Artificial Intelligence - XVIIIth International
Conference of the Italian Association for Artificial Intelligence,
Rende, Italy, November 19-22, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11946},
pages = {165--179},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35166-3\_12},
doi = {10.1007/978-3-030-35166-3\_12},
timestamp = {Tue, 26 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/DalmonteNOP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bica/LietoPPC19,
author = {Antonio Lieto and
Federico Perrone and
Gian Luca Pozzato and
Eleonora Chiodino},
editor = {Alexei V. Samsonovich},
title = {A Typicality-Based Knowledge Generation Framework},
booktitle = {Biologically Inspired Cognitive Architectures 2019 - Proceedings of
the 10th Annual Meeting of the {BICA} Society, {BICA} 2019, Seattle,
WA, USA, August 15-18, 2019},
series = {Advances in Intelligent Systems and Computing},
volume = {948},
pages = {305--307},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25719-4\_38},
doi = {10.1007/978-3-030-25719-4\_38},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bica/LietoPPC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/PozzatoS19,
author = {Gian Luca Pozzato and
Gabriele Soriano},
editor = {Alberto Casagrande and
Eugenio G. Omodeo},
title = {{PEAR:} a Tool for Reasoning About Scenarios and Probabilities in
Description Logics of Typicality (short paper)},
booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
Trieste, Italy, June 19-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2396},
pages = {147--156},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2396/paper17.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/PozzatoS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/LietoPP19,
author = {Antonio Lieto and
Federico Perrone and
Gian Luca Pozzato},
editor = {Alberto Casagrande and
Eugenio G. Omodeo},
title = {{GOCCIOLA:} Generating New Knowledge by Combining Concepts in Description
Logics of Typicality (short paper)},
booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
Trieste, Italy, June 19-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2396},
pages = {157--166},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2396/paper18.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/LietoPP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/LietoPP19,
author = {Antonio Lieto and
Gian Luca Pozzato and
Federico Perrone},
title = {A Dynamic Knowledge Generation System for Cognitive Agents},
booktitle = {31st {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2019, Portland, OR, USA, November 4-6, 2019},
pages = {676--681},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICTAI.2019.00099},
doi = {10.1109/ICTAI.2019.00099},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictai/LietoPP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kcap/LietoPPC19,
author = {Antonio Lieto and
Gian Luca Pozzato and
Federico Perrone and
Eleonora Chiodino},
editor = {Mayank Kejriwal and
Pedro A. Szekely and
Rapha{\"{e}}l Troncy},
title = {Knowledge Capturing via Conceptual Reframing: {A} Goal-oriented Framework
for Knowledge Invention},
booktitle = {Proceedings of the 10th International Conference on Knowledge Capture,
{K-CAP} 2019, Marina Del Rey, CA, USA, November 19-21, 2019},
pages = {109--114},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3360901.3364422},
doi = {10.1145/3360901.3364422},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kcap/LietoPPC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MicalizioP18,
author = {Roberto Micalizio and
Gian Luca Pozzato},
title = {Revision of Ontologies to Accommodate Exceptions: a Typicality-based
Approach},
journal = {Fundam. Informaticae},
volume = {161},
number = {1-2},
pages = {163--189},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1699},
doi = {10.3233/FI-2018-1699},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MicalizioP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/LietoP18,
author = {Antonio Lieto and
Gian Luca Pozzato},
editor = {Chiara Ghidini and
Bernardo Magnini and
Andrea Passerini and
Paolo Traverso},
title = {Creative Concept Generation by Combining Description Logic of Typicality,
Probabilities and Cognitive Heuristics},
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 = {183--196},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03840-3\_14},
doi = {10.1007/978-3-030-03840-3\_14},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/LietoP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/LietoPV18,
author = {Antonio Lieto and
Gian Luca Pozzato and
Alberto Valese},
editor = {Paolo Felli and
Marco Montali},
title = {{COCOS:} a typicality based COncept COmbination System},
booktitle = {Proceedings of the 33rd Italian Conference on Computational Logic,
Bolzano, Italy, September 20-22, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2214},
pages = {55--59},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2214/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/LietoPV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/Pozzato18,
author = {Gian Luca Pozzato},
editor = {Paolo Felli and
Marco Montali},
title = {On Probabilities of Exceptions in Description Logics of Typicality},
booktitle = {Proceedings of the 33rd Italian Conference on Computational Logic,
Bolzano, Italy, September 20-22, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2214},
pages = {60--74},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2214/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/Pozzato18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/LietoP18,
author = {Antonio Lieto and
Gian Luca Pozzato},
editor = {Michelangelo Ceci and
Nathalie Japkowicz and
Jiming Liu and
George A. Papadopoulos and
Zbigniew W. Ras},
title = {A Description Logic of Typicality for Conceptual Combination},
booktitle = {Foundations of Intelligent Systems - 24th International Symposium,
{ISMIS} 2018, Limassol, Cyprus, October 29-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11177},
pages = {189--199},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01851-1\_19},
doi = {10.1007/978-3-030-01851-1\_19},
timestamp = {Mon, 05 Feb 2024 20:34:39 +0100},
biburl = {https://dblp.org/rec/conf/ismis/LietoP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-02366,
author = {Antonio Lieto and
Gian Luca Pozzato},
title = {A Description Logic Framework for Commonsense Conceptual Combination
Integrating Typicality, Probabilities and Cognitive Heuristics},
journal = {CoRR},
volume = {abs/1811.02366},
year = {2018},
url = {http://arxiv.org/abs/1811.02366},
eprinttype = {arXiv},
eprint = {1811.02366},
timestamp = {Thu, 22 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-02366.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GiordanoGPP17a,
author = {Laura Giordano and
Valentina Gliozzi and
Alberto Pettorossi and
Gian Luca Pozzato},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {150},
number = {1},
pages = {v--vi},
year = {2017},
url = {https://doi.org/10.3233/FI-2017-1457},
doi = {10.3233/FI-2017-1457},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GiordanoGPP17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/Pozzato17,
author = {Gian Luca Pozzato},
title = {Reasoning about plausible scenarios in Description Logics of typicality},
journal = {Intelligenza Artificiale},
volume = {11},
number = {1},
pages = {25--45},
year = {2017},
url = {https://doi.org/10.3233/IA-170105},
doi = {10.3233/IA-170105},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/Pozzato17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/0001GPR17,
author = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato and
Riccardo Renzulli},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {An Efficient Reasoner for Description Logics of Typicality and Rational
Closure},
booktitle = {Proceedings of the 30th International Workshop on Description Logics,
Montpellier, France, July 18-21, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1879},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1879/paper25.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/0001GPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/Pozzato17,
author = {Gian Luca Pozzato},
editor = {Alessandro Antonucci and
Laurence Cholvy and
Odile Papini},
title = {Reasoning in Description Logics with Typicalities and Probabilities
of Exceptions},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- 14th European Conference, {ECSQARU} 2017, Lugano, Switzerland, July
10-14, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10369},
pages = {409--420},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61581-3\_37},
doi = {10.1007/978-3-319-61581-3\_37},
timestamp = {Tue, 19 Jan 2021 13:09:19 +0100},
biburl = {https://dblp.org/rec/conf/ecsqaru/Pozzato17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/0001GPR17,
author = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato and
Riccardo Renzulli},
editor = {Dario Della Monica and
Aniello Murano and
Sasha Rubin and
Luigi Sauro},
title = {{RAT-OWL:} Reasoning with Rational Closure in Description Logics of
Typicality},
booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
Science and the 32nd Italian Conference on Computational Logic co-located
with the 2017 {IEEE} International Workshop on Measurements and Networking
{(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1949},
pages = {306--320},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1949/CILCpaper07.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/0001GPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GirlandoLOP17,
author = {Marianna Girlando and
Bj{\"{o}}rn Lellmann and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {Hypersequent Calculi for Lewis' Conditional Logics with Uniformity
and Reflexivity},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {131--148},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_8},
doi = {10.1007/978-3-319-66902-1\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/GirlandoLOP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GirlandoLOPV17,
author = {Marianna Girlando and
Bj{\"{o}}rn Lellmann and
Nicola Olivetti and
Gian Luca Pozzato and
Quentin Vitalis},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {{VINTE:} An Implementation of Internal Calculi for Lewis' Logics of
Counterfactual Reasoning},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {149--159},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_9},
doi = {10.1007/978-3-319-66902-1\_9},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/GirlandoLOPV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AlendaOP16,
author = {R{\'{e}}gis Alenda and
Nicola Olivetti and
Gian Luca Pozzato},
title = {Nested sequent calculi for normal conditional logics},
journal = {J. Log. Comput.},
volume = {26},
number = {1},
pages = {7--50},
year = {2016},
url = {https://doi.org/10.1093/logcom/ext034},
doi = {10.1093/LOGCOM/EXT034},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AlendaOP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Pozzato16,
author = {Gian Luca Pozzato},
editor = {Giovanni Adorni and
Stefano Cagnoni and
Marco Gori and
Marco Maratea},
title = {Reasoning About Surprising Scenarios in Description Logics of Typicality},
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 = {418--432},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49130-1\_31},
doi = {10.1007/978-3-319-49130-1\_31},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/Pozzato16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/Pozzato16,
author = {Gianluca Pozzato},
editor = {Camillo Fiorentini and
Alberto Momigliano},
title = {{ALC} + Texp: Beyond most likely Scenarios in Preferential Description
Logics of Typicality},
booktitle = {Proceedings of the 31st Italian Conference on Computational Logic,
Milano, Italy, June 20-22, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1645},
pages = {37--52},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1645/paper\_22.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/Pozzato16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/MicalizioP16,
author = {Roberto Micalizio and
Gianluca Pozzato},
editor = {Camillo Fiorentini and
Alberto Momigliano},
title = {Typicality-based Revision for Handling Exceptions in Description Logics},
booktitle = {Proceedings of the 31st Italian Conference on Computational Logic,
Milano, Italy, June 20-22, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1645},
pages = {158--173},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1645/paper\_23.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/MicalizioP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/MicalizioP16,
author = {Roberto Micalizio and
Gian Luca Pozzato},
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 = {A Typicality-Based Revision to Handle Exceptions in Description Logics},
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 = {1650--1651},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-1650},
doi = {10.3233/978-1-61499-672-9-1650},
timestamp = {Tue, 02 Nov 2021 15:59:05 +0100},
biburl = {https://dblp.org/rec/conf/ecai/MicalizioP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GirlandoLOP16,
author = {Marianna Girlando and
Bj{\"{o}}rn Lellmann and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Loizos Michael and
Antonis C. Kakas},
title = {Standard Sequent Calculi for Lewis' Logics of Counterfactuals},
booktitle = {Logics in Artificial Intelligence - 15th European Conference, {JELIA}
2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10021},
pages = {272--287},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48758-8\_18},
doi = {10.1007/978-3-319-48758-8\_18},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/GirlandoLOP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GiordanoGOP15,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
title = {Semantic characterization of rational closure: From propositional
logic to description logics},
journal = {Artif. Intell.},
volume = {226},
pages = {1--33},
year = {2015},
url = {https://doi.org/10.1016/j.artint.2015.05.001},
doi = {10.1016/J.ARTINT.2015.05.001},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/GiordanoGOP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/OlivettiP15,
author = {Nicola Olivetti and
Gian Luca Pozzato},
title = {Nested sequent calculi and theorem proving for normal conditional
logics: The theorem prover {NESCOND}},
journal = {Intelligenza Artificiale},
volume = {9},
number = {2},
pages = {109--125},
year = {2015},
url = {https://doi.org/10.3233/IA-150082},
doi = {10.3233/IA-150082},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/OlivettiP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/GiordanoGOPV15,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato and
Luca Violanti},
editor = {Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi},
title = {A Multi-engine Theorem Prover for a Description Logic of Typicality},
booktitle = {AI*IA 2015, Advances in Artificial Intelligence - XIVth International
Conference of the Italian Association for Artificial Intelligence,
Ferrara, Italy, September 23-25, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9336},
pages = {164--178},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24309-2\_13},
doi = {10.1007/978-3-319-24309-2\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/GiordanoGOPV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/OlivettiP15,
author = {Nicola Olivetti and
Gian Luca Pozzato},
editor = {Davide Ancona and
Marco Maratea and
Viviana Mascardi},
title = {A natural sequent calculus for Lewis' logic of counterfactuals},
booktitle = {Proceedings of the 30th Italian Conference on Computational Logic,
Genova, Italy, July 1-3, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1459},
pages = {13--18},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1459/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/OlivettiP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/Pozzato15,
author = {Gian Luca Pozzato},
editor = {Davide Ancona and
Marco Maratea and
Viviana Mascardi},
title = {Preferential description logics meet sports entertainment: cardinality
restrictions and perfect extensions for a better royal rumble match},
booktitle = {Proceedings of the 30th Italian Conference on Computational Logic,
Genova, Italy, July 1-3, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1459},
pages = {159--174},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1459/paper18.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/Pozzato15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GiordanoGOPV15,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato and
Luca Violanti},
editor = {Diego Calvanese and
Boris Konev},
title = {DysToPic: a Multi-Engine Theorem Prover for Preferential Description
Logics},
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-52.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GiordanoGOPV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/OlivettiP15,
author = {Nicola Olivetti and
Gian Luca Pozzato},
editor = {Hans de Nivelle},
title = {A Standard Internal Calculus for Lewis' Counterfactual Logics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 24th
International Conference, {TABLEAUX} 2015, Wroc{\l}aw, Poland, September
21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9323},
pages = {270--286},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24312-2\_19},
doi = {10.1007/978-3-319-24312-2\_19},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/OlivettiP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GenoveseGGP14,
author = {Valerio Genovese and
Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Logics in access control: a conditional approach},
journal = {J. Log. Comput.},
volume = {24},
number = {4},
pages = {705--762},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs040},
doi = {10.1093/LOGCOM/EXS040},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/GenoveseGGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/OlivettiP14,
author = {Nicola Olivetti and
Gian Luca Pozzato},
editor = {St{\'{e}}phane Demri and
Deepak Kapur and
Christoph Weidenbach},
title = {{NESCOND:} An Implementation of Nested Sequent Calculi for Conditional
Logics},
booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 19-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8562},
pages = {511--518},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08587-6\_39},
doi = {10.1007/978-3-319-08587-6\_39},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/OlivettiP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/MicalizioP14,
author = {Roberto Micalizio and
Gianluca Pozzato},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Revising Description Logic Terminologies to Handle Exceptions: a First
Step},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {225--240},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long15.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/MicalizioP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GiordanoGOP14,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {Rational Closure in {SHIQ}},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {543--555},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_20.pdf},
timestamp = {Mon, 26 Jun 2023 20:43:45 +0200},
biburl = {https://dblp.org/rec/conf/dlog/GiordanoGOP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/GiordanoGOP14,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Stefano Bistarelli and
Andrea Formisano},
title = {Minimal models for rational closure in {SHIQ}},
booktitle = {Proceedings of the 15th Italian Conference on Theoretical Computer
Science, Perugia, Italy, September 17-19, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1231},
pages = {271--277},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1231/short6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/GiordanoGOP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cilc/2014,
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195},
urn = {urn:nbn:de:0074-1195-6},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GiordanoGOP14,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
title = {Rational Closure in {SHIQ}},
journal = {CoRR},
volume = {abs/1406.2023},
year = {2014},
url = {http://arxiv.org/abs/1406.2023},
eprinttype = {arXiv},
eprint = {1406.2023},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GiordanoGOP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GiordanoGOP13,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
title = {A non-monotonic Description Logic for reasoning about typicality},
journal = {Artif. Intell.},
volume = {195},
pages = {165--202},
year = {2013},
url = {https://doi.org/10.1016/j.artint.2012.10.004},
doi = {10.1016/J.ARTINT.2012.10.004},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/GiordanoGOP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/GiordanoGJOP13,
author = {Laura Giordano and
Valentina Gliozzi and
Adam Jalal and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Matteo Baldoni and
Cristina Baroglio and
Guido Boella and
Roberto Micalizio},
title = {PreDeLo 1.0: {A} Theorem Prover for Preferential Description Logics},
booktitle = {AI*IA 2013: Advances in Artificial Intelligence - XIIIth International
Conference of the Italian Association for Artificial Intelligence,
Turin, Italy, December 4-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8249},
pages = {60--72},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03524-6\_6},
doi = {10.1007/978-3-319-03524-6\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/GiordanoGJOP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/OlivettiP13,
author = {Nicola Olivetti and
Gian Luca Pozzato},
editor = {Domenico Cantone and
Marianna Nicolosi Asmundo},
title = {Nested Sequent Calculi and Theorem Proving for Normal Conditional
Logics},
booktitle = {Proceedings of the 28th Italian Conference on Computational Logic,
Catania, Italy, September 25-27, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1068},
pages = {49--63},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1068/paper-l04.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/OlivettiP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/GiordanoGOP13,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Domenico Cantone and
Marianna Nicolosi Asmundo},
title = {A Semantics for Rational Closure: Preliminary Results},
booktitle = {Proceedings of the 28th Italian Conference on Computational Logic,
Catania, Italy, September 25-27, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1068},
pages = {99--113},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1068/paper-l07.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/GiordanoGOP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GiordanoGOP13,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Thomas Eiter and
Birte Glimm and
Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch},
title = {Minimal Model Semantics and Rational Closure in Description Logics},
booktitle = {Informal Proceedings of the 26th International Workshop on Description
Logics, Ulm, Germany, July 23 - 26, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
pages = {168--180},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1014/paper\_5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GiordanoGOP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-1060,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
title = {On Rational Closure in Description Logics of Typicality},
journal = {CoRR},
volume = {abs/1305.1060},
year = {2013},
url = {http://arxiv.org/abs/1305.1060},
eprinttype = {arXiv},
eprint = {1305.1060},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-1060.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/GiordanoGOP12,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Francesca A. Lisi},
title = {A Modal Reconstruction of Rational Closure},
booktitle = {Proceedings of the 9th Italian Convention on Computational Logic,
Rome, Italy, June 6-7, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {857},
pages = {161--175},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-857/paper\_f12.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/GiordanoGOP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GiordanoGOP12,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {Preferential Low Complexity Description Logics: Complexity Results
and Proof Methods},
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/paper\_11.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GiordanoGOP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/AlendaOP12,
author = {R{\'{e}}gis Alenda and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig and
J{\'{e}}r{\^{o}}me Mengin},
title = {Nested Sequent Calculi for Conditional Logics},
booktitle = {Logics in Artificial Intelligence - 13th European Conference, {JELIA}
2012, Toulouse, France, September 26-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7519},
pages = {14--27},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33353-8\_2},
doi = {10.1007/978-3-642-33353-8\_2},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/AlendaOP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GiordanoGOP12,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig and
J{\'{e}}r{\^{o}}me Mengin},
title = {A Minimal Model Semantics for Nonmonotonic Reasoning},
booktitle = {Logics in Artificial Intelligence - 13th European Conference, {JELIA}
2012, Toulouse, France, September 26-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7519},
pages = {228--241},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33353-8\_18},
doi = {10.1007/978-3-642-33353-8\_18},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/GiordanoGOP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/GiordanoGOPS11,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato and
Camilla Schwind},
title = {Non-classical logics for knowledge representation and reasoning},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {127--131},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0015},
doi = {10.3233/IA-2011-0015},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/GiordanoGOPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/GiordanoGOP11,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Roberto Pirrone and
Filippo Sorbello},
title = {A Tableau Calculus for a Nonmonotonic Extension of the Description
Logic {\textdollar}{\textbackslash}mbox\{{\textbackslash}em DL-Lite\}{\_}\{{\textbackslash}mathit\{core\}\}{\textdollar}},
booktitle = {AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth
International Conference of the Italian Association for Artificial
Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6934},
pages = {164--176},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23954-0\_17},
doi = {10.1007/978-3-642-23954-0\_17},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/GiordanoGOP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/GiordanoGOP11,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Fabio Fioravanti},
title = {Nonmonotonic extensions of low-complexity DLs: complexity results
and proof methods},
booktitle = {Proceedings of the 26th Italian Conference on Computational Logic,
Pescara, Italy, August 31 - September 2, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {810},
pages = {41--55},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-810/paper-l03.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/GiordanoGOP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/DAprileGGMPD11,
author = {Davide D'Aprile and
Laura Giordano and
Valentina Gliozzi and
Alberto Martelli and
Gian Luca Pozzato and
Daniele Theseider Dupr{\'{e}}},
editor = {Fabio Fioravanti},
title = {Verifying Compliance of Business Processes with Temporal Answer Sets},
booktitle = {Proceedings of the 26th Italian Conference on Computational Logic,
Pescara, Italy, August 31 - September 2, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {810},
pages = {147--161},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-810/paper-l09.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/DAprileGGMPD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GiordanoGOP11,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Toby Walsh},
title = {Reasoning about Typicality in Low Complexity DLs: The Logics EL\({}^{\mbox{{\(\perp\)}}}\)T\({}_{\mbox{min}}\)
and DL-Lite\({}_{\mbox{c}}\) T\({}_{\mbox{min}}\)},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {894--899},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-155},
doi = {10.5591/978-1-57735-516-8/IJCAI11-155},
timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GiordanoGOP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GenoveseGGP11,
author = {Valerio Genovese and
Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
editor = {Kai Br{\"{u}}nnler and
George Metcalfe},
title = {A Conditional Constructive Logic for Access Control and Its Sequent
Calculus},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 20th
International Conference, {TABLEAUX} 2011, Bern, Switzerland, July
4-8, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6793},
pages = {164--179},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22119-4\_14},
doi = {10.1007/978-3-642-22119-4\_14},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/GenoveseGGP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GiordanoGOP11,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Kai Br{\"{u}}nnler and
George Metcalfe},
title = {A Tableau Calculus for a Nonmonotonic Extension of \emph{EL}\({}^{\mbox{{\^{}}}}\){\textbackslash}mathcal\{EL\}{\^{}}{\textbackslash}bot},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 20th
International Conference, {TABLEAUX} 2011, Bern, Switzerland, July
4-8, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6793},
pages = {180--195},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22119-4\_15},
doi = {10.1007/978-3-642-22119-4\_15},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/GiordanoGOP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/faia/2010-208,
author = {Gian Luca Pozzato},
title = {Conditional and Preferential Logics: Proof Methods and Theorem Proving},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {208},
publisher = {{IOS} Press},
year = {2010},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=14473},
isbn = {978-1-60750-094-0},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/2010-208.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/GenoveseGGP10,
author = {Valerio Genovese and
Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
editor = {Wolfgang Faber and
Nicola Leone},
title = {A Constructive Conditional Logic for Access Control},
booktitle = {Proceedings of the 25th Italian Conference on Computational Logic,
Rende, Italy, July 7-9, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {598},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-598/paper09.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/GenoveseGGP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/GiordanoGOP10,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Wolfgang Faber and
Nicola Leone},
title = {Reasoning About Typicality in Preferential Description Logics: Preferential
vs Rational Entailment},
booktitle = {Proceedings of the 25th Italian Conference on Computational Logic,
Rende, Italy, July 7-9, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {598},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-598/paper08.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/GiordanoGOP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/DAprileGGMPD10,
author = {Davide D'Aprile and
Laura Giordano and
Valentina Gliozzi and
Alberto Martelli and
Gian Luca Pozzato and
Daniele Theseider Dupr{\'{e}}},
editor = {J{\"{u}}rgen Dix and
Jo{\~{a}}o Leite and
Guido Governatori and
Wojtek Jamroga},
title = {Verifying Business Process Compliance by Reasoning about Actions},
booktitle = {Computational Logic in Multi-Agent Systems, 11th International Workshop,
{CLIMA} XI, Lisbon, Portugal, August 16-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6245},
pages = {99--116},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14977-1\_10},
doi = {10.1007/978-3-642-14977-1\_10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/DAprileGGMPD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GiordanoGOP10,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {Preferential vs Rational Description Logics: which one for Reasoning
About Typicality?},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {1069--1070},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-606-5-1069},
doi = {10.3233/978-1-60750-606-5-1069},
timestamp = {Fri, 26 Apr 2019 14:26:43 +0200},
biburl = {https://dblp.org/rec/conf/ecai/GiordanoGOP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GenoveseGGP10,
author = {Valerio Genovese and
Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {A constructive conditional logic for access control: a preliminary
report},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {1073--1074},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-606-5-1073},
doi = {10.3233/978-1-60750-606-5-1073},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/GenoveseGGP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GiordanoGOP10,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {A Nonmonotonic Extension of {KLM} Preferential Logic {P}},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {317--332},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_23},
doi = {10.1007/978-3-642-16242-8\_23},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/GiordanoGOP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GiordanoOGP09,
author = {Laura Giordano and
Nicola Olivetti and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {{ALC} + {T:} a Preferential Extension of Description Logics},
journal = {Fundam. Informaticae},
volume = {96},
number = {3},
pages = {341--372},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-182},
doi = {10.3233/FI-2009-182},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GiordanoOGP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GiordanoGOP09,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
title = {Analytic tableaux calculi for {KLM} logics of nonmonotonic reasoning},
journal = {{ACM} Trans. Comput. Log.},
volume = {10},
number = {3},
pages = {18:1--18:47},
year = {2009},
url = {https://doi.org/10.1145/1507244.1507248},
doi = {10.1145/1507244.1507248},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/GiordanoGOP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/GiordanoGOP09,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Roberto Serra and
Rita Cucchiara},
title = {Reasoning about Typicality with Low Complexity Description Logics:
The Logic \emph{EL}\({}^{\mbox{+\({}^{\mbox{{\^{}}}}\)}}\)T},
booktitle = {AI*IA 2009: Emergent Perspectives in Artificial Intelligence, XIth
International Conference of the Italian Association for Artificial
Intelligence, Reggio Emilia, Italy, December 9-12, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5883},
pages = {62--71},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10291-2\_7},
doi = {10.1007/978-3-642-10291-2\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/GiordanoGOP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GiordanoGOP09,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Boris Motik and
Ulrike Sattler},
title = {Reasoning About Typicality in {ALC} and {EL}},
booktitle = {Proceedings of the 22nd International Workshop on Description Logics
{(DL} 2009), Oxford, UK, July 27-30, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {477},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-477/paper\_15.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GiordanoGOP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GiordanoGOP09,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Prototypical Reasoning with Low Complexity Description Logics: Preliminary
Results},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {430--436},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_38},
doi = {10.1007/978-3-642-04238-6\_38},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GiordanoGOP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlendaOP10,
author = {R{\'{e}}gis Alenda and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Thomas Bolander and
Torben Bra{\"{u}}ner},
title = {CSL-lean: {A} Theorem-prover for the Logic of Comparative Concept
Similarity},
booktitle = {Proceedings of the 6th Workshop on Methods for Modalities, {M4M-6}
2009, Copenhagen, Denmark, November 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {262},
pages = {3--16},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.04.002},
doi = {10.1016/J.ENTCS.2010.04.002},
timestamp = {Thu, 09 Mar 2023 15:44:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlendaOP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/0001GOPS08,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato and
Camilla Schwind},
editor = {Matteo Baldoni and
Cristina Baroglio},
title = {Non-Classical Logics for Knowledge Representation and Reasoning},
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/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:22 +0100},
biburl = {https://dblp.org/rec/conf/birthday/0001GOPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GiordanoGOP08,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Steffen H{\"{o}}lldobler and
Carsten Lutz and
Heinrich Wansing},
title = {Reasoning about Typicality in Preferential Description Logics},
booktitle = {Logics in Artificial Intelligence, 11th European Conference, {JELIA}
2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5293},
pages = {192--205},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87803-2\_17},
doi = {10.1007/978-3-540-87803-2\_17},
timestamp = {Tue, 29 Dec 2020 18:34:12 +0100},
biburl = {https://dblp.org/rec/conf/jelia/GiordanoGOP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/OlivettiPS07,
author = {Nicola Olivetti and
Gian Luca Pozzato and
Camilla Schwind},
title = {A sequent calculus and a theorem prover for standard conditional logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {8},
number = {4},
pages = {22},
year = {2007},
url = {https://doi.org/10.1145/1276920.1276924},
doi = {10.1145/1276920.1276924},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/OlivettiPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/GiordanoGOP07,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Roberto Basili and
Maria Teresa Pazienza},
title = {An Implementation of a Free-Variable Tableaux for {KLM} Preferential
Logic {P} of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0},
booktitle = {AI*IA 2007: Artificial Intelligence and Human-Oriented Computing,
10th Congress of the Italian Association for Artificial Intelligence,
Rome, Italy, September 10-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4733},
pages = {84--96},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74782-6\_9},
doi = {10.1007/978-3-540-74782-6\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/GiordanoGOP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GiordanoGOP07,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Nachum Dershowitz and
Andrei Voronkov},
title = {Preferential Description Logics},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th
International Conference, {LPAR} 2007, Yerevan, Armenia, October 15-19,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4790},
pages = {257--272},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75560-9\_20},
doi = {10.1007/978-3-540-75560-9\_20},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GiordanoGOP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GiordanoGP07,
author = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
editor = {Nicola Olivetti},
title = {KLMLean 2.0: {A} Theorem Prover for {KLM} Logics of Nonmonotonic Reasoning},
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 = {238--244},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_19},
doi = {10.1007/978-3-540-73099-6\_19},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/GiordanoGP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GiordanoGOP06,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {Automated Deduction for Logics of Default Reasoning},
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 = {757--758},
publisher = {{IOS} Press},
year = {2006},
timestamp = {Fri, 01 Apr 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/GiordanoGOP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GiordanoGOP06,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Michael Fisher and
Wiebe van der Hoek and
Boris Konev and
Alexei Lisitsa},
title = {Analytic Tableau Calculi for {KLM} Rational Logic {R}},
booktitle = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
2006, Liverpool, UK, September 13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4160},
pages = {190--202},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11853886\_17},
doi = {10.1007/11853886\_17},
timestamp = {Fri, 03 Jun 2022 08:18:13 +0200},
biburl = {https://dblp.org/rec/conf/jelia/GiordanoGOP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0611046,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
title = {Analytic Tableaux Calculi for {KLM} Logics of Nonmonotonic Reasoning},
journal = {CoRR},
volume = {abs/cs/0611046},
year = {2006},
url = {http://arxiv.org/abs/cs/0611046},
eprinttype = {arXiv},
eprint = {cs/0611046},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0611046.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GiordanoGOP05,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Analytic Tableaux for {KLM} Preferential and Cumulative Logics},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {666--681},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_46},
doi = {10.1007/11591191\_46},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GiordanoGOP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/OlivettiP05,
author = {Nicola Olivetti and
Gian Luca Pozzato},
editor = {Bernhard Beckert},
title = {CondLean 3.0: Improving CondLean for Stronger Conditional Logics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {328--332},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_27},
doi = {10.1007/11554554\_27},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/OlivettiP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0407064,
author = {Nicola Olivetti and
Gian Luca Pozzato and
Camilla Schwind},
title = {A Sequent Calculus and a Theorem Prover for Standard Conditional Logics},
journal = {CoRR},
volume = {cs.LO/0407064},
year = {2004},
url = {http://arxiv.org/abs/cs.LO/0407064},
doi = {10.48550/ARXIV.CS/0407064},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0407064.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/OlivettiP03,
author = {Nicola Olivetti and
Gian Luca Pozzato},
editor = {Marta Cialdea Mayer and
Fiora Pirri},
title = {CondLean: {A} Theorem Prover for Conditional Logics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2003, Rome, Italy, September 9-12, 2003. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2796},
pages = {264--270},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45206-5\_23},
doi = {10.1007/978-3-540-45206-5\_23},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/OlivettiP03.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-11 22:48 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:
