default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Valentina Gliozzi
@inproceedings{DBLP:conf/ismis/ValeseGP24,
author = {Alberto Valese and
Valentina Gliozzi and
Gian Luca Pozzato},
editor = {Annalisa Appice and
Hanane Azzag and
Mohand{-}Said Hacid and
Allel Hadjali and
Zbigniew W. Ras},
title = {Learning Typicality Inclusions in a Probabilistic Description Logic
for Concept Combination},
booktitle = {Foundations of Intelligent Systems - 27th International Symposium,
{ISMIS} 2024, Poitiers, France, June 17-19, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14670},
pages = {24--32},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-62700-2\_3},
doi = {10.1007/978-3-031-62700-2\_3},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ismis/ValeseGP24.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/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/GiordanoGD22,
author = {Laura Giordano and
Valentina Gliozzi and
Daniele Theseider Dupr{\'{e}}},
title = {A conditional, a fuzzy and a probabilistic interpretation of self-organizing
maps},
journal = {J. Log. Comput.},
volume = {32},
number = {2},
pages = {178--205},
year = {2022},
url = {https://doi.org/10.1093/logcom/exab082},
doi = {10.1093/LOGCOM/EXAB082},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GiordanoGD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AlvianoBBE0GD22,
author = {Mario Alviano and
Francesco Bartoli and
Marco Botta and
Roberto Esposito and
Laura Giordano and
Valentina Gliozzi and
Daniele Theseider Dupr{\'{e}}},
editor = {Cataldo Musto and
Riccardo Guidotti and
Anna Monreale and
Giovanni Semeraro},
title = {Towards a Conditional and Multi-preferential Approach to Explainability
of Neural Network Models in Computational Logic (Extended Abstract)},
booktitle = {Proceedings of the 3rd Italian Workshop on Explainable Artificial
Intelligence co-located with 21th International Conference of the
Italian Association for Artificial Intelligence(AIxIA 2022), Udine,
Italy, November 28 - December 3, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3277},
pages = {64--72},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3277/short1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/AlvianoBBE0GD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BartoliBE0GD22,
author = {Francesco Bartoli and
Marco Botta and
Roberto Esposito and
Laura Giordano and
Valentina Gliozzi and
Daniele Theseider Dupr{\'{e}}},
editor = {Christoph Beierle and
Marco Ragni and
Frieder Stolzenburg and
Kai Sauerwald and
Matthias Thimm},
title = {From Common Sense Reasonig to Neural Network Models: a Conditional
and Multi-preferential Approach for Explainability and Neuro-Symbolic
Integration},
booktitle = {Proceedings of the 8th Workshop on Formal and Cognitive Reasoning
co-located with the 45th German Conference on Artificial Intelligence
{(KI} 2022), Virtual Event, Trier, Germany, September 19, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3242},
pages = {66--78},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3242/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:53 +0100},
biburl = {https://dblp.org/rec/conf/ki/BartoliBE0GD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GiordanoG21,
author = {Laura Giordano and
Valentina Gliozzi},
title = {A reconstruction of multipreference closure},
journal = {Artif. Intell.},
volume = {290},
pages = {103398},
year = {2021},
url = {https://doi.org/10.1016/j.artint.2020.103398},
doi = {10.1016/J.ARTINT.2020.103398},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/GiordanoG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/0001GD21,
author = {Laura Giordano and
Valentina Gliozzi and
Daniele Theseider Dupr{\'{e}}},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {Preferential Reasoning with Typicality and Neural Network Models (Extended
Abstract)},
booktitle = {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},
pages = {83--89},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper15.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:43 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/0001GD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jowo/0001GD21,
author = {Laura Giordano and
Valentina Gliozzi and
Daniele Theseider Dupr{\'{e}}},
editor = {Emilio M. Sanfilippo and
Oliver Kutz and
Nicolas Troquard and
Torsten Hahmann and
Claudio Masolo and
Robert Hoehndorf and
Randi Vita and
Maria M. Hedblom and
Guendalina Righetti and
Dusan Sormaz and
Walter Terkaj and
Tiago Prince Sales and
Sergio de Cesare and
Frederik Gailly and
Giancarlo Guizzardi and
Mark Lycett and
Chris Partridge and
Oscar Pastor and
Daniel Be{\ss}ler and
Stefano Borgo and
Mohammed Diab and
Aldo Gangemi and
Alberto Olivares Alarcos and
Mihai Pomarlan and
Robert Porzel and
Ludger Jansen and
Mathias Brochhausen and
Daniele Porello and
Pawel Garbacz and
Selja Sepp{\"{a}}l{\"{a}} and
Michael Gr{\"{u}}ninger and
Amanda Vizedom and
Damion M. Dooley and
Robert Warren and
Hande K{\"{u}}{\c{c}}{\"{u}}k{-}McGinty and
Matthew Lange and
Alsayed Algergawy and
Naouel Karam and
Friederike Klan and
Franck Michel and
Ilaria Rosati},
title = {A Multipreference Semantics from Common Sense Reasoning to Neural
Network Models: An Overview},
booktitle = {Proceedings of the Joint Ontology Workshops 2021 Episode {VII:} The
Bolzano Summer of Knowledge co-located with the 12th International
Conference on Formal Ontology in Information Systems {(FOIS} 2021),
and the 12th International Conference on Biomedical Ontologies {(ICBO}
2021), Bolzano, Italy, September 11-18, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2969},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2969/paper32-CAOS.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:57 +0100},
biburl = {https://dblp.org/rec/conf/jowo/0001GD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-06854,
author = {Laura Giordano and
Valentina Gliozzi and
Daniele Theseider Dupr{\'{e}}},
title = {A conditional, a fuzzy and a probabilistic interpretation of self-organising
maps},
journal = {CoRR},
volume = {abs/2103.06854},
year = {2021},
url = {https://arxiv.org/abs/2103.06854},
eprinttype = {arXiv},
eprint = {2103.06854},
timestamp = {Tue, 16 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-06854.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-04870,
author = {Laura Giordano and
Valentina Gliozzi and
Daniele Theseider Dupr{\'{e}}},
title = {From Common Sense Reasoning to Neural Network Models through Multiple
Preferences: an overview},
journal = {CoRR},
volume = {abs/2107.04870},
year = {2021},
url = {https://arxiv.org/abs/2107.04870},
eprinttype = {arXiv},
eprint = {2107.04870},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-04870.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GiordanoG20,
author = {Laura Giordano and
Valentina Gliozzi},
title = {Reasoning about Exceptions in Ontologies: from the Lexicographic Closure
to the Skeptical Closure},
journal = {Fundam. Informaticae},
volume = {176},
number = {3-4},
pages = {235--269},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1973},
doi = {10.3233/FI-2020-1973},
timestamp = {Thu, 07 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/GiordanoG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/0001GD20,
author = {Laura Giordano and
Valentina Gliozzi and
Daniele Theseider Dupr{\'{e}}},
editor = {Cataldo Musto and
Daniele Magazzeni and
Salvatore Ruggieri and
Giovanni Semeraro},
title = {Towards a Conditional Interpretation of Self Organizing Maps},
booktitle = {Proceedings of the Italian Workshop on Explainable Artificial Intelligence
co-located with 19th International Conference of the Italian Association
for Artificial Intelligence, XAI.it@AIxIA 2020, Online Event, November
25-26, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2742},
pages = {127--134},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2742/short7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/0001GD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/0001GD20,
author = {Laura Giordano and
Valentina Gliozzi and
Daniele Theseider Dupr{\'{e}}},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {On a Plausible Concept-wise Multipreference Semantics and its Relations
with Self-organising Maps},
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 = {127--140},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/0001GD20.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}
}
@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-2008-13278,
author = {Laura Giordano and
Valentina Gliozzi and
Daniele Theseider Dupr{\'{e}}},
title = {On a plausible concept-wise multipreference semantics and its relations
with self-organising maps},
journal = {CoRR},
volume = {abs/2008.13278},
year = {2020},
url = {https://arxiv.org/abs/2008.13278},
eprinttype = {arXiv},
eprint = {2008.13278},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-13278.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/0001G19,
author = {Laura Giordano and
Valentina Gliozzi},
editor = {Alberto Casagrande and
Eugenio G. Omodeo},
title = {Strengthening the Rational Closure for Description Logics: An Overview},
booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
Trieste, Italy, June 19-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2396},
pages = {68--81},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2396/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/0001G19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/CerratoAGE19,
author = {Mattia Cerrato and
Edoardo Arnaudo and
Valentina Gliozzi and
Roberto Esposito},
editor = {Ashok K. Goel and
Colleen M. Seifert and
Christian Freksa},
title = {Taxonomic and Whole Object Constraints: {A} Deep Architecture},
booktitle = {Proceedings of the 41th Annual Meeting of the Cognitive Science Society,
CogSci 2019: Creativity + Cognition + Computation, Montreal, Canada,
July 24-27, 2019},
pages = {1465--1471},
publisher = {cognitivesciencesociety.org},
year = {2019},
url = {https://mindmodeling.org/cogsci2019/papers/0265/index.html},
timestamp = {Wed, 17 Apr 2024 12:43:09 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/CerratoAGE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/0001G19,
author = {Laura Giordano and
Valentina Gliozzi},
editor = {Gabriele Kern{-}Isberner and
Zoran Ognjanovic},
title = {Reasoning About Exceptions in Ontologies: An Approximation of the
Multipreference Semantics},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
15th European Conference, {ECSQARU} 2019, Belgrade, Serbia, September
18-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11726},
pages = {212--225},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29765-7\_18},
doi = {10.1007/978-3-030-29765-7\_18},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecsqaru/0001G19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-03855,
author = {Laura Giordano and
Valentina Gliozzi},
title = {A reconstruction of the multipreference closure},
journal = {CoRR},
volume = {abs/1905.03855},
year = {2019},
url = {http://arxiv.org/abs/1905.03855},
eprinttype = {arXiv},
eprint = {1905.03855},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-03855.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cogsr/GliozziM18,
author = {Valentina Gliozzi and
Matteo Madeddu},
title = {A visual auditory model based on Growing Self-Organizing Maps to analyze
the taxonomic response in early childhood},
journal = {Cogn. Syst. Res.},
volume = {52},
pages = {668--677},
year = {2018},
url = {https://doi.org/10.1016/j.cogsys.2018.07.034},
doi = {10.1016/J.COGSYS.2018.07.034},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cogsr/GliozziM18.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}
}
@inproceedings{DBLP:conf/cade/0001G18,
author = {Laura Giordano and
Valentina Gliozzi},
editor = {Thomas Lukasiewicz and
Rafael Pe{\~{n}}aloza and
Anni{-}Yasmin Turhan},
title = {Reasoning About Exceptions in Ontologies: from the Lexicographic Closure
to the Skeptical Closure},
booktitle = {Proceedings of the Second Workshop on Logics for Reasoning about Preferences,
Uncertainty, and Vagueness co-located with the 9th International Joint
Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July
19th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2157},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2157/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/0001G18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-07161,
author = {Laura Giordano and
Valentina Gliozzi},
title = {Reasoning about multiple aspects in DLs: Semantics and Closure Construction},
journal = {CoRR},
volume = {abs/1801.07161},
year = {2018},
url = {http://arxiv.org/abs/1801.07161},
eprinttype = {arXiv},
eprint = {1801.07161},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-07161.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-09442,
author = {Valentina Gliozzi and
Kim Plunkett},
title = {Self-organizing maps and generalization: an algorithmic description
of Numerosity and Variability Effects},
journal = {CoRR},
volume = {abs/1802.09442},
year = {2018},
url = {http://arxiv.org/abs/1802.09442},
eprinttype = {arXiv},
eprint = {1802.09442},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-09442.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-02879,
author = {Laura Giordano and
Valentina Gliozzi},
title = {Reasoning about exceptions in ontologies: from the lexicographic closure
to the skeptical closure},
journal = {CoRR},
volume = {abs/1807.02879},
year = {2018},
url = {http://arxiv.org/abs/1807.02879},
eprinttype = {arXiv},
eprint = {1807.02879},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-02879.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}
}
@inproceedings{DBLP:conf/cogsci/FenoglioEG17,
author = {Giorgia Fenoglio and
Roberto Esposito and
Valentina Gliozzi},
editor = {Glenn Gunzelmann and
Andrew Howes and
Thora Tenbrink and
Eddy J. Davelaar},
title = {A Neural Network Model for Taxonomic Responding with Realistic Visual
Inputs},
booktitle = {Proceedings of the 39th Annual Meeting of the Cognitive Science Society,
CogSci 2017, London, UK, 16-29 July 2017},
publisher = {cognitivesciencesociety.org},
year = {2017},
url = {https://mindmodeling.org/cogsci2017/papers/0382/index.html},
timestamp = {Wed, 17 Apr 2024 12:43:29 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/FenoglioEG17.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/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/aiia/Gliozzi16,
author = {Valentina Gliozzi},
editor = {Giovanni Adorni and
Stefano Cagnoni and
Marco Gori and
Marco Maratea},
title = {Reasoning about Multiple Aspects in Rational Closure for DLs},
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 = {392--405},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49130-1\_29},
doi = {10.1007/978-3-319-49130-1\_29},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/Gliozzi16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Gliozzi16,
author = {Valentina Gliozzi},
title = {A strengthening of rational closure in DLs: reasoning about multiple
aspects},
journal = {CoRR},
volume = {abs/1604.00301},
year = {2016},
url = {http://arxiv.org/abs/1604.00301},
eprinttype = {arXiv},
eprint = {1604.00301},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Gliozzi16.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}
}
@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/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/ismis/GiordanoG15,
author = {Laura Giordano and
Valentina Gliozzi},
editor = {Floriana Esposito and
Olivier Pivert and
Mohand{-}Sa{\"{\i}}d Hacid and
Zbigniew W. Ras and
Stefano Ferilli},
title = {Encoding a Preferential Extension of the Description Logic \emph{SROIQ}
into \emph{SROIQ}},
booktitle = {Foundations of Intelligent Systems - 22nd International Symposium,
{ISMIS} 2015, Lyon, France, October 21-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9384},
pages = {248--258},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25252-0\_27},
doi = {10.1007/978-3-319-25252-0\_27},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/GiordanoG15.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/cogsci/Gliozzi14,
author = {Valentina Gliozzi},
editor = {Paul Bello and
Marcello Guarini and
Marjorie McShane and
Brian Scassellati},
title = {A logical analysis of typicality},
booktitle = {Proceedings of the 36th Annual Meeting of the Cognitive Science Society,
CogSci 2014, Quebec City, Canada, July 23-26, 2014},
publisher = {cognitivesciencesociety.org},
year = {2014},
url = {https://escholarship.org/uc/item/66f9g1fd},
timestamp = {Tue, 30 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/Gliozzi14.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/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 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/GiordanoGOP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/GliozziAMP13,
author = {Valentina Gliozzi and
Nadja Althaus and
Julien Mayor and
Kim Plunkett},
editor = {Markus Knauff and
Michael Pauen and
Natalie Sebanz and
Ipke Wachsmuth},
title = {Primacy/recency effects in infant categorisation},
booktitle = {Proceedings of the 35th Annual Meeting of the Cognitive Science Society,
CogSci 2013, Berlin, Germany, July 31 - August 3, 2013},
publisher = {cognitivesciencesociety.org},
year = {2013},
url = {https://escholarship.org/uc/item/92f4h97p},
timestamp = {Tue, 30 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/GliozziAMP13.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/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 = {Tue, 14 May 2019 10:00:44 +0200},
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}
}
@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 = {Tue, 07 May 2024 20:13:36 +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/cogsci/GliozziMHP09,
author = {Valentina Gliozzi and
Julien Mayor and
Jon{-}Fan Hu and
Kim Plunkett},
title = {Labels as Features (Not Names) for Infant Categorization: {A} Neurocomputational
Approach},
journal = {Cogn. Sci.},
volume = {33},
number = {4},
pages = {709--738},
year = {2009},
url = {https://doi.org/10.1111/j.1551-6709.2009.01026.x},
doi = {10.1111/J.1551-6709.2009.01026.X},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cogsci/GliozziMHP09.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/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}
}
@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}
}
@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}
}
@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/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}
}
@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}
}
@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/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}
}
@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}
}
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-07-05 21:06 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:
