Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Nicola Olivetti
@inproceedings{DBLP:conf/csl/BalbianiGGO24,
author = {Philippe Balbiani and
Han Gao and
{\c{C}}igdem Gencer and
Nicola Olivetti},
editor = {Aniello Murano and
Alexandra Silva},
title = {A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested
Calculus},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {13:1--13:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.13},
doi = {10.4230/LIPICS.CSL.2024.13},
timestamp = {Wed, 07 Feb 2024 14:22:56 +0100},
biburl = {https://dblp.org/rec/conf/csl/BalbianiGGO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-06772,
author = {Philippe Balbiani and
Han Gao and
{\c{C}}igdem Gencer and
Nicola Olivetti},
title = {Local Intuitionistic Modal Logics and Their Calculi},
journal = {CoRR},
volume = {abs/2403.06772},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.06772},
doi = {10.48550/ARXIV.2403.06772},
eprinttype = {arXiv},
eprint = {2403.06772},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-06772.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/CiabattoniOPRR23,
author = {Agata Ciabattoni and
Nicola Olivetti and
Xavier Parent and
Revantha Ramanayake and
Dmitry Rozplokhas},
editor = {Juliano Maranh{\~{a}}o and
Clayton Peterson and
Christian Stra{\ss}er and
Leendert van der Torre},
title = {Analytic Proof Theory for {\AA}qvist's System {F}},
booktitle = {Deontic Logic and Normative Systems - 16th International Conference,
{DEON} 2023, Trois-Rivi{\`{e}}res, QC, Canada, July 5-7, 2023},
pages = {79--98},
publisher = {College Publications},
year = {2023},
timestamp = {Mon, 28 Aug 2023 14:54:51 +0200},
biburl = {https://dblp.org/rec/conf/deon/CiabattoniOPRR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/PattinsonON23,
author = {Dirk Pattinson and
Nicola Olivetti and
Cl{\'{a}}udia Nalon},
editor = {Revantha Ramanayake and
Josef Urban},
title = {Resolution Calculi for Non-normal Modal Logics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
September 18-21, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14278},
pages = {322--341},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43513-3\_18},
doi = {10.1007/978-3-031-43513-3\_18},
timestamp = {Wed, 01 Nov 2023 08:59:02 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/PattinsonON23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-06309,
author = {Philippe Balbiani and
Han Gao and
{\c{C}}igdem Gencer and
Nicola Olivetti},
title = {A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested
Calculus},
journal = {CoRR},
volume = {abs/2309.06309},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.06309},
doi = {10.48550/ARXIV.2309.06309},
eprinttype = {arXiv},
eprint = {2309.06309},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-06309.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-03426,
author = {Tim S. Lyon and
Agata Ciabattoni and
Didier Galmiche and
Dominique Larchey{-}Wendling and
Daniel M{\'{e}}ry and
Nicola Olivetti and
Revantha Ramanayake},
title = {Internal and External Calculi: Ordering the Jungle without Being Lost
in Translations},
journal = {CoRR},
volume = {abs/2312.03426},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.03426},
doi = {10.48550/ARXIV.2312.03426},
eprinttype = {arXiv},
eprint = {2312.03426},
timestamp = {Mon, 01 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-03426.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}
}
@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/prima/CiabattoniOP22,
author = {Agata Ciabattoni and
Nicola Olivetti and
Xavier Parent},
editor = {Reyhan Aydogan and
Natalia Criado and
J{\'{e}}r{\^{o}}me Lang and
V{\'{\i}}ctor S{\'{a}}nchez{-}Anguix and
Marc Serramia},
title = {Dyadic Obligations: Proofs and Countermodels via Hypersequents},
booktitle = {{PRIMA} 2022: Principles and Practice of Multi-Agent Systems - 24th
International Conference, Valencia, Spain, November 16-18, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13753},
pages = {54--71},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21203-1\_4},
doi = {10.1007/978-3-031-21203-1\_4},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prima/CiabattoniOP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/DalmonteGO22,
author = {Tiziano Dalmonte and
Charles Grellois and
Nicola Olivetti},
editor = {Agata Ciabattoni and
Elaine Pimentel and
Ruy J. G. B. de Queiroz},
title = {Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations},
booktitle = {Logic, Language, Information, and Computation - 28th International
Workshop, WoLLIC 2022, Ia{\c{s}}i, Romania, September 20-23, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13468},
pages = {280--294},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15298-6\_18},
doi = {10.1007/978-3-031-15298-6\_18},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/DalmonteGO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DalmonteLOP21,
author = {Tiziano Dalmonte and
Bj{\"{o}}rn Lellmann and
Nicola Olivetti and
Elaine Pimentel},
title = {Hypersequent calculi for non-normal modal and deontic logics: countermodels
and optimal complexity},
journal = {J. Log. Comput.},
volume = {31},
number = {1},
pages = {67--111},
year = {2021},
url = {https://doi.org/10.1093/logcom/exaa072},
doi = {10.1093/LOGCOM/EXAA072},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DalmonteLOP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GirlandoNO21,
author = {Marianna Girlando and
Sara Negri and
Nicola Olivetti},
title = {Uniform labelled calculi for preferential conditional logics based
on neighbourhood semantics},
journal = {J. Log. Comput.},
volume = {31},
number = {3},
pages = {947--997},
year = {2021},
url = {https://doi.org/10.1093/logcom/exab019},
doi = {10.1093/LOGCOM/EXAB019},
timestamp = {Wed, 29 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GirlandoNO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/DalmonteGO21,
author = {Tiziano Dalmonte and
Charles Grellois and
Nicola Olivetti},
editor = {Fenrong Liu and
Alessandra Marra and
Paul Portner and
Frederik Van De Putte},
title = {Proof Systems for the Logics of Bringing-It-About},
booktitle = {Deontic Logic and Normative Systems - 15th International Conference,
{DEON} 2020/21, Munich, Germany [virtual], July 21-24, 2021},
pages = {114--132},
publisher = {College Publications},
year = {2021},
timestamp = {Mon, 28 Aug 2023 10:20:20 +0200},
biburl = {https://dblp.org/rec/conf/deon/DalmonteGO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/DalmonteGO21,
author = {Tiziano Dalmonte and
Charles Grellois and
Nicola Olivetti},
editor = {Anupam Das and
Sara Negri},
title = {Terminating Calculi and Countermodels for Constructive Modal Logics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 30th
International Conference, {TABLEAUX} 2021, Birmingham, UK, September
6-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12842},
pages = {391--408},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86059-2\_23},
doi = {10.1007/978-3-030-86059-2\_23},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/DalmonteGO21.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/jphil/DalmonteGO20,
author = {Tiziano Dalmonte and
Charles Grellois and
Nicola Olivetti},
title = {Intuitionistic Non-normal Modal Logics: {A} General Framework},
journal = {J. Philos. Log.},
volume = {49},
number = {5},
pages = {833--882},
year = {2020},
url = {https://doi.org/10.1007/s10992-019-09539-3},
doi = {10.1007/S10992-019-09539-3},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/DalmonteGO20.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/lfcs/DalmonteLOP20,
author = {Tiziano Dalmonte and
Bj{\"{o}}rn Lellmann and
Nicola Olivetti and
Elaine Pimentel},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Countermodel Construction via Optimal Hypersequent Calculi for Non-normal
Modal Logics},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11972},
pages = {27--46},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36755-8\_3},
doi = {10.1007/978-3-030-36755-8\_3},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/DalmonteLOP20.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:conf/aiml/2020,
editor = {Nicola Olivetti and
Rineke Verbrugge and
Sara Negri and
Gabriel Sandu},
title = {13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland,
August 24-28, 2020},
publisher = {College Publications},
year = {2020},
url = {http://www.aiml.net/volumes/volume13/},
isbn = {978-1-84890-341-8},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-05958,
author = {Marianna Girlando and
Sara Negri and
Nicola Olivetti},
title = {Uniform labelled calculi for preferential conditional logics based
on neighbourhood semantics},
journal = {CoRR},
volume = {abs/2002.05958},
year = {2020},
url = {https://arxiv.org/abs/2002.05958},
eprinttype = {arXiv},
eprint = {2002.05958},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-05958.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/corr/abs-2006-05436,
author = {Tiziano Dalmonte and
Bj{\"{o}}rn Lellmann and
Nicola Olivetti and
Elaine Pimentel},
title = {Hypersequent calculi for non-normal modal and deontic logics: Countermodels
and optimal complexity},
journal = {CoRR},
volume = {abs/2006.05436},
year = {2020},
url = {https://arxiv.org/abs/2006.05436},
eprinttype = {arXiv},
eprint = {2006.05436},
timestamp = {Sat, 13 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-05436.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/jelia/GirlandoLO19,
author = {Marianna Girlando and
Bj{\"{o}}rn Lellmann and
Nicola Olivetti},
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {Nested Sequents for the Logic of Conditional Belief},
booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
2019, Rende, Italy, May 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11468},
pages = {709--725},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_46},
doi = {10.1007/978-3-030-19570-0\_46},
timestamp = {Fri, 27 Mar 2020 08:53:33 +0100},
biburl = {https://dblp.org/rec/conf/jelia/GirlandoLO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-09812,
author = {Tiziano Dalmonte and
Charles Grellois and
Nicola Olivetti},
title = {Intuitionistic Non-Normal Modal Logics: {A} general framework},
journal = {CoRR},
volume = {abs/1901.09812},
year = {2019},
url = {http://arxiv.org/abs/1901.09812},
eprinttype = {arXiv},
eprint = {1901.09812},
timestamp = {Sat, 02 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-09812.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GiordanoGO18,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti},
title = {Towards a Rational Closure for Expressive Description Logics: the
Case of {\unicode{54446}}{\unicode{54461}}{\unicode{54462}}{\unicode{54470}}},
journal = {Fundam. Informaticae},
volume = {159},
number = {1-2},
pages = {95--122},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1659},
doi = {10.3233/FI-2018-1659},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GiordanoGO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/GirlandoNOR18,
author = {Marianna Girlando and
Sara Negri and
Nicola Olivetti and
Vincent Risch},
title = {Conditional Beliefs: from neighbourhood Semantics to Sequent Calculus},
journal = {Rev. Symb. Log.},
volume = {11},
number = {4},
pages = {736--779},
year = {2018},
url = {https://doi.org/10.1017/S1755020318000023},
doi = {10.1017/S1755020318000023},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/GirlandoNOR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/DalmonteON18,
author = {Tiziano Dalmonte and
Nicola Olivetti and
Sara Negri},
editor = {Guram Bezhanishvili and
Giovanna D'Agostino and
George Metcalfe and
Thomas Studer},
title = {Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled
Calculi},
booktitle = {Advances in Modal Logic 12, proceedings of the 12th conference on
"Advances in Modal Logic," held in Bern, Switzerland, August 27-31,
2018},
pages = {159--178},
publisher = {College Publications},
year = {2018},
url = {http://www.aiml.net/volumes/volume12/Dalmonte-Olivetti-Negri.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/DalmonteON18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/GirlandoON18,
author = {Marianna Girlando and
Nicola Olivetti and
Sara Negri},
editor = {Guram Bezhanishvili and
Giovanna D'Agostino and
George Metcalfe and
Thomas Studer},
title = {Counterfactual Logic: Labelled and Internal Calculi, Two Sides of
the Same Coin?},
booktitle = {Advances in Modal Logic 12, proceedings of the 12th conference on
"Advances in Modal Logic," held in Bern, Switzerland, August 27-31,
2018},
pages = {291--310},
publisher = {College Publications},
year = {2018},
url = {http://www.aiml.net/volumes/volume12/Girlando-Olivetti-Negri.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/GirlandoON18.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/aiml/GirlandoNOR16,
author = {Marianna Girlando and
Sara Negri and
Nicola Olivetti and
Vincent Risch},
editor = {Lev D. Beklemishev and
St{\'{e}}phane Demri and
Andr{\'{a}}s Mat{\'{e}}},
title = {The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent
Calculus},
booktitle = {Advances in Modal Logic 11, proceedings of the 11th conference on
"Advances in Modal Logic," held in Budapest, Hungary, August 30 -
September 2, 2016},
pages = {322--341},
publisher = {College Publications},
year = {2016},
url = {http://www.aiml.net/volumes/volume11/Girlando-Negri-Olivetti-Risch.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/GirlandoNOR16.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}
}
@proceedings{DBLP:conf/cade/2016,
editor = {Nicola Olivetti and
Ashish Tiwari},
title = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9706},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40229-1},
doi = {10.1007/978-3-319-40229-1},
isbn = {978-3-319-40228-4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/2016.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/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/NegriO15,
author = {Sara Negri and
Nicola Olivetti},
editor = {Hans de Nivelle},
title = {A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood
Semantics},
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 = {115--134},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24312-2\_9},
doi = {10.1007/978-3-319-24312-2\_9},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/NegriO15.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 = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/OlivettiP15.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/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}
}
@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/AlendaO12,
author = {R{\'{e}}gis Alenda and
Nicola Olivetti},
editor = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig and
J{\'{e}}r{\^{o}}me Mengin},
title = {Preferential Semantics for the Logic of Comparative Similarity over
Triangular and Metric Models},
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 = {1--13},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33353-8\_1},
doi = {10.1007/978-3-642-33353-8\_1},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/AlendaO12.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 = {Sun, 04 Jun 2017 01:00:00 +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/corr/abs-1105-1256,
author = {George Metcalfe and
Nicola Olivetti},
title = {Towards a Proof Theory of G{\"{o}}del Modal Logics},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(2:10)2011},
doi = {10.2168/LMCS-7(2:10)2011},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-1256.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/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/AlendaO11,
author = {R{\'{e}}gis Alenda and
Nicola Olivetti},
editor = {Kai Br{\"{u}}nnler and
George Metcalfe},
title = {CSymLean: {A} Theorem Prover for the Logic {CSL} over Symmetric Minspaces},
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 = {21--26},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22119-4\_4},
doi = {10.1007/978-3-642-22119-4\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/AlendaO11.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}
}
@article{DBLP:journals/logcom/Olivetti10,
author = {Nicola Olivetti},
title = {Preface},
journal = {J. Log. Comput.},
volume = {20},
number = {1},
pages = {1--3},
year = {2010},
url = {https://doi.org/10.1093/logcom/exn057},
doi = {10.1093/LOGCOM/EXN057},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Olivetti10.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 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/GiordanoGOP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AlendaOST10,
author = {R{\'{e}}gis Alenda and
Nicola Olivetti and
Camilla Schwind and
Dmitry Tishkovsky},
editor = {Anuj Dawar and
Helmut Veith},
title = {Tableau Calculi for \emph{CSL}{\textbackslash}mathcal\{CSL\} over
minspaces},
booktitle = {Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th
Annual Conference of the EACSL, Brno, Czech Republic, August 23-27,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6247},
pages = {52--66},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15205-4\_8},
doi = {10.1007/978-3-642-15205-4\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/AlendaOST10.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/lpar/AlendaO10,
author = {R{\'{e}}gis Alenda and
Nicola Olivetti},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Tableau Calculus for the Logic of Comparative Similarity over Arbitrary
Distance Spaces},
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 = {52--66},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_5},
doi = {10.1007/978-3-642-16242-8\_5},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AlendaO10.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}
}
@article{DBLP:journals/tocl/GiordanoGOS09,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Camilla Schwind},
title = {Tableau calculus for preference-based conditional logics: {PCL} and
its extensions},
journal = {{ACM} Trans. Comput. Log.},
volume = {10},
number = {3},
pages = {21:1--21:50},
year = {2009},
url = {https://doi.org/10.1145/1507244.1507251},
doi = {10.1145/1507244.1507251},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/GiordanoGOS09.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:conf/tableaux/AlendaOS09,
author = {R{\'{e}}gis Alenda and
Nicola Olivetti and
Camilla Schwind},
editor = {Martin Giese and
Arild Waaler},
title = {Comparative Concept Similarity over Minspaces: Axiomatisation and
Tableaux Calculus},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 18th
International Conference, {TABLEAUX} 2009, Oslo, Norway, July 6-10,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5607},
pages = {17--31},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02716-1\_3},
doi = {10.1007/978-3-642-02716-1\_3},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/AlendaOS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/MetcalfeO09,
author = {George Metcalfe and
Nicola Olivetti},
editor = {Martin Giese and
Arild Waaler},
title = {Proof Systems for a G{\"{o}}del Modal Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 18th
International Conference, {TABLEAUX} 2009, Oslo, Norway, July 6-10,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5607},
pages = {265--279},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02716-1\_20},
doi = {10.1007/978-3-642-02716-1\_20},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/MetcalfeO09.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}
}
@article{DBLP:journals/corr/abs-0902-0899,
author = {R{\'{e}}gis Alenda and
Nicola Olivetti and
Camilla Schwind},
title = {Comparative concept similarity over Minspaces: Axiomatisation and
Tableaux Calculus},
journal = {CoRR},
volume = {abs/0902.0899},
year = {2009},
url = {http://arxiv.org/abs/0902.0899},
eprinttype = {arXiv},
eprint = {0902.0899},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0902-0899.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}
}
@proceedings{DBLP:conf/tableaux/2007,
editor = {Nicola Olivetti},
title = {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},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6},
doi = {10.1007/978-3-540-73099-6},
isbn = {978-3-540-73098-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/2007.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}
}
@article{DBLP:journals/ai/GiordanoGO05,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti},
title = {Weak {AGM} postulates and strong Ramsey Test: {A} logical formalization},
journal = {Artif. Intell.},
volume = {168},
number = {1-2},
pages = {1--37},
year = {2005},
url = {https://doi.org/10.1016/j.artint.2005.06.004},
doi = {10.1016/J.ARTINT.2005.06.004},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/GiordanoGO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MetcalfeOG05,
author = {George Metcalfe and
Nicola Olivetti and
Dov M. Gabbay},
title = {Lukasiewicz Logic: From Proof Systems To Logic Programming},
journal = {Log. J. {IGPL}},
volume = {13},
number = {5},
pages = {561--585},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi042},
doi = {10.1093/JIGPAL/JZI042},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/MetcalfeOG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/MetcalfeOG05,
author = {George Metcalfe and
Nicola Olivetti and
Dov M. Gabbay},
title = {Sequent and hypersequent calculi for abelian and {\L}ukasiewicz logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {6},
number = {3},
pages = {578--613},
year = {2005},
url = {https://doi.org/10.1145/1071596.1071600},
doi = {10.1145/1071596.1071600},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/MetcalfeOG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MetcalfeO05,
author = {George Metcalfe and
Nicola Olivetti},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Goal-Directed Methods for Fuzzy Logics},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {307--330},
publisher = {College Publications},
year = {2005},
timestamp = {Thu, 09 Jul 2020 09:13:39 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MetcalfeO05.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/aml/MetcalfeOG04,
author = {George Metcalfe and
Nicola Olivetti and
Dov M. Gabbay},
title = {Analytic Calculi for Product Logics},
journal = {Arch. Math. Log.},
volume = {43},
number = {7},
pages = {859--890},
year = {2004},
url = {https://doi.org/10.1007/s00153-004-0225-3},
doi = {10.1007/S00153-004-0225-3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/MetcalfeOG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MetcalfeOG04,
author = {George Metcalfe and
Nicola Olivetti and
Dov M. Gabbay},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Goal-Directed Methods for Lukasiewicz Logic},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {85--99},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_10},
doi = {10.1007/978-3-540-30124-0\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/MetcalfeOG04.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}
}
@article{DBLP:journals/sLogica/Olivetti03,
author = {Nicola Olivetti},
title = {Tableaux for Lukasiewicz Infinite-valued Logic},
journal = {Stud Logica},
volume = {73},
number = {1},
pages = {81--111},
year = {2003},
url = {https://doi.org/10.1023/A:1022989323091},
doi = {10.1023/A:1022989323091},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Olivetti03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MetcalfeOG03,
author = {George Metcalfe and
Nicola Olivetti and
Dov M. Gabbay},
editor = {Matthias Baaz and
Johann A. Makowsky},
title = {Goal-Directed Calculli for G{\"{o}}del-Dummett Logics},
booktitle = {Computer Science Logic, 17th International Workshop, {CSL} 2003, 12th
Annual Conference of the EACSL, and 8th Kurt G{\"{o}}del Colloquium,
{KGC} 2003, Vienna, Austria, August 25-30, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2803},
pages = {413--426},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45220-1\_33},
doi = {10.1007/978-3-540-45220-1\_33},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/MetcalfeOG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GiordanoGOS03,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Camilla Schwind},
editor = {Marta Cialdea Mayer and
Fiora Pirri},
title = {Tableau Calculi for Preference-Based 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 = {81--101},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45206-5\_9},
doi = {10.1007/978-3-540-45206-5\_9},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/GiordanoGOS03.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 = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/OlivettiP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/GiordanoGO02,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti},
title = {Iterated Belief Revision and Conditional Logic},
journal = {Stud Logica},
volume = {70},
number = {1},
pages = {23--47},
year = {2002},
url = {https://doi.org/10.1023/A:1014602224874},
doi = {10.1023/A:1014602224874},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/GiordanoGO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BonattiO02,
author = {Piero A. Bonatti and
Nicola Olivetti},
title = {Sequent calculi for propositional nonmonotonic logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {3},
number = {2},
pages = {226--278},
year = {2002},
url = {https://doi.org/10.1145/505372.505374},
doi = {10.1145/505372.505374},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BonattiO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/MetcalfeOG02,
author = {George Metcalfe and
Nicola Olivetti and
Dov M. Gabbay},
editor = {Uwe Egly and
Christian G. Ferm{\"{u}}ller},
title = {Analytic Sequent Calculi for Abelian and ukasiewicz Logics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2002, Copenhagen, Denmark, July 30 - August
1, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2381},
pages = {191--205},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45616-3\_14},
doi = {10.1007/3-540-45616-3\_14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/MetcalfeOG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0211021,
author = {George Metcalfe and
Nicola Olivetti and
Dov M. Gabbay},
title = {Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics},
journal = {CoRR},
volume = {cs.LO/0211021},
year = {2002},
url = {http://arxiv.org/abs/cs/0211021},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0211021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/GiordanoGO01,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti},
editor = {Floriana Esposito},
title = {Belief Revision and the Ramsey Test: {A} Solution},
booktitle = {AI*IA 2001: Advances in Artificial Intelligence, 7th Congress of the
Italian Association for Artificial Intelligence, Bari, Italy, September
25-28, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2175},
pages = {165--175},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45411-X\_18},
doi = {10.1007/3-540-45411-X\_18},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/GiordanoGO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/OlivettiS01,
author = {Nicola Olivetti and
Camilla Schwind},
editor = {Antonio Restivo and
Simona Ronchi Della Rocca and
Luca Roversi},
title = {A Calculus and Complexity Bound for Minimal Conditional Logic},
booktitle = {Theoretical Computer Science, 7th Italian Conference, {ICTCS} 2001,
Torino, Italy, October 4-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2202},
pages = {384--404},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45446-2\_25},
doi = {10.1007/3-540-45446-2\_25},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/OlivettiS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GabbayGMOS00,
author = {Dov M. Gabbay and
Laura Giordano and
Alberto Martelli and
Nicola Olivetti and
Maria Luisa Sapino},
title = {Conditional reasoning in logic programming},
journal = {J. Log. Program.},
volume = {44},
number = {1-3},
pages = {37--74},
year = {2000},
url = {https://doi.org/10.1016/S0743-1066(99)00072-2},
doi = {10.1016/S0743-1066(99)00072-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/GabbayGMOS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GiordanoGO00,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti},
editor = {Werner Horn},
title = {A Conditional Logic for Iterated Belief Revision},
booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
Intelligence, Berlin, Germany, August 20-25, 2000},
pages = {28--32},
publisher = {{IOS} Press},
year = {2000},
timestamp = {Fri, 01 Apr 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/GiordanoGO00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GiordanoO98,
author = {Laura Giordano and
Nicola Olivetti},
title = {Combining Negation as Failure and Embedded Implications in Logic Programs},
journal = {J. Log. Program.},
volume = {36},
number = {2},
pages = {91--147},
year = {1998},
url = {https://doi.org/10.1016/S0743-1066(97)10014-0},
doi = {10.1016/S0743-1066(97)10014-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/GiordanoO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/GabbayO98,
author = {Dov M. Gabbay and
Nicola Olivetti},
title = {Algorithmic Proof Methods and Cut Elimination for Implicational Logics
Part {I:} Modal Implication},
journal = {Stud Logica},
volume = {61},
number = {2},
pages = {237--280},
year = {1998},
url = {https://doi.org/10.1023/A:1005077431494},
doi = {10.1023/A:1005077431494},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/GabbayO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/CiabattoniGO98,
author = {Agata Ciabattoni and
Dov M. Gabbay and
Nicola Olivetti},
title = {Cut-free proof systems for logics of weak excluded middle},
journal = {Soft Comput.},
volume = {2},
number = {4},
pages = {147--156},
year = {1998},
url = {https://doi.org/10.1007/s005000050047},
doi = {10.1007/S005000050047},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/soco/CiabattoniGO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MundiciO98,
author = {Daniele Mundici and
Nicola Olivetti},
title = {Resolution and Model Building in the Infinite-Valued Calculus of Lukasiewicz},
journal = {Theor. Comput. Sci.},
volume = {200},
number = {1-2},
pages = {335--366},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(98)00012-7},
doi = {10.1016/S0304-3975(98)00012-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MundiciO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GiordanoGO98,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {A Conditional Logic for Belief Revision},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {294--308},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_20},
doi = {10.1007/3-540-49545-2\_20},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/GiordanoGO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BonattiO97,
author = {Piero A. Bonatti and
Nicola Olivetti},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {A Sequent Calculus for Circumscription},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {98--114},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028009},
doi = {10.1007/BFB0028009},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/BonattiO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BonattiO97,
author = {Piero A. Bonatti and
Nicola Olivetti},
editor = {Didier Galmiche},
title = {A Sequent Calculus for Skeptical Default Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '97, Pont-{\`{a}}-Mousson, France, May 13-16,
1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1227},
pages = {107--121},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027408},
doi = {10.1007/BFB0027408},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BonattiO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GabbayGMO96,
author = {Dov M. Gabbay and
Laura Giordano and
Alberto Martelli and
Nicola Olivetti},
title = {A Language for Handling Hypothetical Updates and Inconsistency},
journal = {Log. J. {IGPL}},
volume = {4},
number = {3},
pages = {385--416},
year = {1996},
url = {https://doi.org/10.1093/jigpal/4.3.385},
doi = {10.1093/JIGPAL/4.3.385},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GabbayGMO96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GabbayGMO95,
author = {Dov M. Gabbay and
Laura Giordano and
Alberto Martelli and
Nicola Olivetti},
editor = {V. Wiktor Marek and
Anil Nerode},
title = {Hypothetical Updates, Priority and Inconsistency in a Logic Programming
Language},
booktitle = {Logic Programming and Nonmonotonic Reasoning, Third International
Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {928},
pages = {203--216},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59487-6\_15},
doi = {10.1007/3-540-59487-6\_15},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GabbayGMO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GabbayGMO94,
author = {Dov M. Gabbay and
Laura Giordano and
Alberto Martelli and
Nicola Olivetti},
editor = {Pascal Van Hentenryck},
title = {Conditonal Logic Programming},
booktitle = {Logic Programming, Proceedings of the Eleventh International Conference
on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
pages = {272--289},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Fri, 01 Apr 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GabbayGMO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Olivetti92,
author = {Nicola Olivetti},
title = {Tableaux and Sequent Calculus for Minimal Entailment},
journal = {J. Autom. Reason.},
volume = {9},
number = {1},
pages = {99--139},
year = {1992},
url = {https://doi.org/10.1007/BF00247828},
doi = {10.1007/BF00247828},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Olivetti92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/OlivettiT92,
author = {Nicola Olivetti and
Lea Terracini},
title = {N-Prolog and equivalence of logic programs},
journal = {J. Log. Lang. Inf.},
volume = {1},
number = {4},
pages = {253--340},
year = {1992},
url = {https://doi.org/10.1007/BF00172059},
doi = {10.1007/BF00172059},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/OlivettiT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GiordanoO92,
author = {Laura Giordano and
Nicola Olivetti},
editor = {Krzysztof R. Apt},
title = {Negation as Failure in Intuitionistic Logic Programming},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {431--445},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 01 Apr 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GiordanoO92.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 02:20 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:
