![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Valentina Gliozzi
Person information
- affiliation: University of Turin, Italy
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2022
- [j17]Valentina Gliozzi, Gian Luca Pozzato
, Alberto Valese
:
Combining neural and symbolic approaches to solve the Picasso problem: A first step. Displays 74: 102203 (2022) - [j16]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
:
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps. J. Log. Comput. 32(2): 178-205 (2022) - 2021
- [j15]Laura Giordano, Valentina Gliozzi
:
A reconstruction of multipreference closure. Artif. Intell. 290: 103398 (2021) - 2020
- [j14]Laura Giordano, Valentina Gliozzi:
Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure. Fundam. Informaticae 176(3-4): 235-269 (2020) - 2018
- [j13]Valentina Gliozzi, Matteo Madeddu:
A visual auditory model based on Growing Self-Organizing Maps to analyze the taxonomic response in early childhood. Cogn. Syst. Res. 52: 668-677 (2018) - [j12]Laura Giordano
, Valentina Gliozzi, Nicola Olivetti:
Towards a Rational Closure for Expressive Description Logics: the Case of 풮풽풾퓆. Fundam. Informaticae 159(1-2): 95-122 (2018) - 2017
- [j11]Laura Giordano
, Valentina Gliozzi, Alberto Pettorossi
, Gian Luca Pozzato:
Preface. Fundam. Informaticae 150(1): v-vi (2017) - 2015
- [j10]Laura Giordano
, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Semantic characterization of rational closure: From propositional logic to description logics. Artif. Intell. 226: 1-33 (2015) - 2014
- [j9]Valerio Genovese, Laura Giordano
, Valentina Gliozzi, Gian Luca Pozzato:
Logics in access control: a conditional approach. J. Log. Comput. 24(4): 705-762 (2014) - 2013
- [j8]Laura Giordano
, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
:
A non-monotonic Description Logic for reasoning about typicality. Artif. Intell. 195: 165-202 (2013) - 2011
- [j7]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind:
Non-classical logics for knowledge representation and reasoning. Intelligenza Artificiale 5(1): 127-131 (2011) - 2009
- [j6]Valentina Gliozzi, Julien Mayor
, Jon-Fan Hu, Kim Plunkett:
Labels as Features (Not Names) for Infant Categorization: A Neurocomputational Approach. Cogn. Sci. 33(4): 709-738 (2009) - [j5]Laura Giordano
, Nicola Olivetti, Valentina Gliozzi, Gian Luca Pozzato
:
ALC + T: a Preferential Extension of Description Logics. Fundam. Informaticae 96(3): 341-372 (2009) - [j4]Laura Giordano
, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
:
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. ACM Trans. Comput. Log. 10(3): 18:1-18:47 (2009) - [j3]Laura Giordano
, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind:
Tableau calculus for preference-based conditional logics: PCL and its extensions. ACM Trans. Comput. Log. 10(3): 21:1-21:50 (2009) - 2005
- [j2]Laura Giordano
, Valentina Gliozzi, Nicola Olivetti:
Weak AGM postulates and strong Ramsey Test: A logical formalization. Artif. Intell. 168(1-2): 1-37 (2005) - 2002
- [j1]Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
Iterated Belief Revision and Conditional Logic. Stud Logica 70(1): 23-47 (2002)
Conference and Workshop Papers
- 2024
- [c56]Alberto Valese, Valentina Gliozzi
, Gian Luca Pozzato
:
Learning Typicality Inclusions in a Probabilistic Description Logic for Concept Combination. ISMIS 2024: 24-32 - 2023
- [c55]Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese:
Proof Methods and Theorem Proving for Conditional Logics with Strong Centering. CILC 2023 - 2022
- [c54]Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract). XAI.it@AI*IA 2022: 64-72 - [c53]Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
From Common Sense Reasonig to Neural Network Models: a Conditional and Multi-preferential Approach for Explainability and Neuro-Symbolic Integration. FCR@KI 2022: 66-78 - 2021
- [c52]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract). OVERLAY@GandALF 2021: 83-89 - [c51]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
A Multipreference Semantics from Common Sense Reasoning to Neural Network Models: An Overview. JOWO 2021 - 2020
- [c50]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
Towards a Conditional Interpretation of Self Organizing Maps. XAI.it@AI*IA 2020: 127-134 - [c49]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps. CILC 2020: 127-140 - 2019
- [c48]Laura Giordano, Valentina Gliozzi:
Strengthening the Rational Closure for Description Logics: An Overview. CILC 2019: 68-81 - [c47]Mattia Cerrato, Edoardo Arnaudo
, Valentina Gliozzi, Roberto Esposito:
Taxonomic and Whole Object Constraints: A Deep Architecture. CogSci 2019: 1465-1471 - [c46]Laura Giordano
, Valentina Gliozzi:
Reasoning About Exceptions in Ontologies: An Approximation of the Multipreference Semantics. ECSQARU 2019: 212-225 - 2018
- [c45]Laura Giordano, Valentina Gliozzi:
Reasoning About Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure. PRUV@IJCAR 2018 - 2017
- [c44]Giorgia Fenoglio, Roberto Esposito, Valentina Gliozzi:
A Neural Network Model for Taxonomic Responding with Realistic Visual Inputs. CogSci 2017 - [c43]Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli:
An Efficient Reasoner for Description Logics of Typicality and Rational Closure. Description Logics 2017 - [c42]Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli:
RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality. ICTCS/CILC 2017: 306-320 - 2016
- [c41]Valentina Gliozzi:
Reasoning about Multiple Aspects in Rational Closure for DLs. AI*IA 2016: 392-405 - 2015
- [c40]Laura Giordano
, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti:
A Multi-engine Theorem Prover for a Description Logic of Typicality. AI*IA 2015: 164-178 - [c39]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti:
DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics. Description Logics 2015 - [c38]Laura Giordano
, Valentina Gliozzi:
Encoding a Preferential Extension of the Description Logic SROIQ into SROIQ. ISMIS 2015: 248-258 - 2014
- [c37]Valentina Gliozzi:
A logical analysis of typicality. CogSci 2014 - [c36]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Rational Closure in SHIQ. Description Logics 2014: 543-555 - [c35]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Minimal models for rational closure in SHIQ. ICTCS 2014: 271-277 - 2013
- [c34]Laura Giordano
, Valentina Gliozzi, Adam Jalal, Nicola Olivetti, Gian Luca Pozzato:
PreDeLo 1.0: A Theorem Prover for Preferential Description Logics. AI*IA 2013: 60-72 - [c33]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Semantics for Rational Closure: Preliminary Results. CILC 2013: 99-113 - [c32]Valentina Gliozzi, Nadja Althaus, Julien Mayor, Kim Plunkett:
Primacy/recency effects in infant categorisation. CogSci 2013 - [c31]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Minimal Model Semantics and Rational Closure in Description Logics. Description Logics 2013: 168-180 - 2012
- [c30]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Modal Reconstruction of Rational Closure. CILC 2012: 161-175 - [c29]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. Description Logics 2012 - [c28]Laura Giordano
, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
:
A Minimal Model Semantics for Nonmonotonic Reasoning. JELIA 2012: 228-241 - 2011
- [c27]Laura Giordano
, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
:
A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $\mbox{\em DL-Lite}_{\mathit{core}}$. AI*IA 2011: 164-176 - [c26]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. CILC 2011: 41-55 - [c25]Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré:
Verifying Compliance of Business Processes with Temporal Answer Sets. CILC 2011: 147-161 - [c24]Laura Giordano
, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
:
Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin. IJCAI 2011: 894-899 - [c23]Valerio Genovese, Laura Giordano
, Valentina Gliozzi, Gian Luca Pozzato
:
A Conditional Constructive Logic for Access Control and Its Sequent Calculus. TABLEAUX 2011: 164-179 - [c22]Laura Giordano
, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
:
A Tableau Calculus for a Nonmonotonic Extension of EL^\mathcal{EL}^\bot. TABLEAUX 2011: 180-195 - 2010
- [c21]Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
A Constructive Conditional Logic for Access Control. CILC 2010 - [c20]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment. CILC 2010 - [c19]Davide D'Aprile, Laura Giordano
, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato
, Daniele Theseider Dupré
:
Verifying Business Process Compliance by Reasoning about Actions. CLIMA 2010: 99-116 - [c18]Laura Giordano
, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
:
Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. ECAI 2010: 1069-1070 - [c17]Valerio Genovese, Laura Giordano
, Valentina Gliozzi, Gian Luca Pozzato
:
A constructive conditional logic for access control: a preliminary report. ECAI 2010: 1073-1074 - [c16]Laura Giordano
, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Nonmonotonic Extension of KLM Preferential Logic P. LPAR (Yogyakarta) 2010: 317-332 - 2009
- [c15]Laura Giordano
, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
:
Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T. AI*IA 2009: 62-71 - [c14]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Reasoning About Typicality in ALC and EL. Description Logics 2009 - [c13]Laura Giordano
, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
:
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. LPNMR 2009: 430-436 - 2008
- [c12]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind:
Non-Classical Logics for Knowledge Representation and Reasoning. Il Milione 2008 - [c11]Laura Giordano
, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
:
Reasoning about Typicality in Preferential Description Logics. JELIA 2008: 192-205 - 2007
- [c10]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0. AI*IA 2007: 84-96 - [c9]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Preferential Description Logics. LPAR 2007: 257-272 - [c8]Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. TABLEAUX 2007: 238-244 - 2006
- [c7]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Automated Deduction for Logics of Default Reasoning. ECAI 2006: 757-758 - [c6]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Analytic Tableau Calculi for KLM Rational Logic R. JELIA 2006: 190-202 - 2005
- [c5]Laura Giordano
, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
:
Analytic Tableaux for KLM Preferential and Cumulative Logics. LPAR 2005: 666-681 - 2003
- [c4]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind:
Tableau Calculi for Preference-Based Conditional Logics. TABLEAUX 2003: 81-101 - 2001
- [c3]Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
Belief Revision and the Ramsey Test: A Solution. AI*IA 2001: 165-175 - 2000
- [c2]Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
A Conditional Logic for Iterated Belief Revision. ECAI 2000: 28-32 - 1998
- [c1]Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
A Conditional Logic for Belief Revision. JELIA 1998: 294-308
Parts in Books or Collections
- 2020
- [p1]Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato:
Reasoning About Typicality and Probabilities in Preferential Description Logics. Applications and Practices in Ontology Design, Extraction, and Reasoning 2020: 145-161
Editorship
- 2014
- [e1]Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014. CEUR Workshop Proceedings 1195, CEUR-WS.org 2014 [contents]
Informal and Other Publications
- 2021
- [i12]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
A conditional, a fuzzy and a probabilistic interpretation of self-organising maps. CoRR abs/2103.06854 (2021) - [i11]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview. CoRR abs/2107.04870 (2021) - 2020
- [i10]Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato:
Reasoning about Typicality and Probabilities in Preferential Description Logics. CoRR abs/2004.09507 (2020) - [i9]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
On a plausible concept-wise multipreference semantics and its relations with self-organising maps. CoRR abs/2008.13278 (2020) - 2019
- [i8]Laura Giordano, Valentina Gliozzi:
A reconstruction of the multipreference closure. CoRR abs/1905.03855 (2019) - 2018
- [i7]Laura Giordano, Valentina Gliozzi:
Reasoning about multiple aspects in DLs: Semantics and Closure Construction. CoRR abs/1801.07161 (2018) - [i6]Valentina Gliozzi, Kim Plunkett:
Self-organizing maps and generalization: an algorithmic description of Numerosity and Variability Effects. CoRR abs/1802.09442 (2018) - [i5]Laura Giordano, Valentina Gliozzi:
Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure. CoRR abs/1807.02879 (2018) - 2016
- [i4]Valentina Gliozzi:
A strengthening of rational closure in DLs: reasoning about multiple aspects. CoRR abs/1604.00301 (2016) - 2014
- [i3]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Rational Closure in SHIQ. CoRR abs/1406.2023 (2014) - 2013
- [i2]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
On Rational Closure in Description Logics of Typicality. CoRR abs/1305.1060 (2013) - 2006
- [i1]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning. CoRR abs/cs/0611046 (2006)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
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