Valentina Gliozzi

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 32

Top Topics

Description Logics

Top Venues

Fundam. Informaticae

Description Logics

Publications

Alberto Valese, Valentina Gliozzi, Gian Luca Pozzato
Learning Typicality Inclusions in a Probabilistic Description Logic for Concept Combination. ISMIS (2024)
Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese
Proof Methods and Theorem Proving for Conditional Logics with Strong Centering. CILC (2023)
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)
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)
Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese
Combining neural and symbolic approaches to solve the Picasso problem: A first step. Displays 74 (2022)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps. J. Log. Comput. 32 (2) (2022)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract). OVERLAY@GandALF (2021)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
A conditional, a fuzzy and a probabilistic interpretation of self-organising maps. CoRR (2021)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
A Multipreference Semantics from Common Sense Reasoning to Neural Network Models: An Overview. JOWO (2021)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview. CoRR (2021)
Laura Giordano, Valentina Gliozzi
A reconstruction of multipreference closure. Artif. Intell. 290 (2021)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps. CILC (2020)
Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato
Reasoning about Typicality and Probabilities in Preferential Description Logics. CoRR (2020)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
Towards a Conditional Interpretation of Self Organizing Maps. XAI.it@AI*IA (2020)
Laura Giordano, Valentina Gliozzi
Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure. Fundam. Informaticae 176 (3-4) (2020)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
On a plausible concept-wise multipreference semantics and its relations with self-organising maps. CoRR (2020)
Laura Giordano, Valentina Gliozzi
Strengthening the Rational Closure for Description Logics: An Overview. CILC (2019)
Mattia Cerrato, Edoardo Arnaudo, Valentina Gliozzi, Roberto Esposito
Taxonomic and Whole Object Constraints: A Deep Architecture. CogSci (2019)
Laura Giordano, Valentina Gliozzi
A reconstruction of the multipreference closure. CoRR (2019)
Laura Giordano, Valentina Gliozzi
Reasoning About Exceptions in Ontologies: An Approximation of the Multipreference Semantics. ECSQARU (2019)
Laura Giordano, Valentina Gliozzi
Reasoning About Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure. PRUV@IJCAR (2018)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti
Towards a Rational Closure for Expressive Description Logics: the Case of 풮풽풾퓆. Fundam. Informaticae 159 (1-2) (2018)
Laura Giordano, Valentina Gliozzi
Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure. CoRR (2018)
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 (2018)
Valentina Gliozzi, Kim Plunkett
Self-organizing maps and generalization: an algorithmic description of Numerosity and Variability Effects. CoRR (2018)
Laura Giordano, Valentina Gliozzi
Reasoning about multiple aspects in DLs: Semantics and Closure Construction. CoRR (2018)
Laura Giordano, Valentina Gliozzi, Alberto Pettorossi, Gian Luca Pozzato
Preface. Fundam. Informaticae 150 (1) (2017)
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli
RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality. ICTCS/CILC (2017)
Giorgia Fenoglio, Roberto Esposito, Valentina Gliozzi
A Neural Network Model for Taxonomic Responding with Realistic Visual Inputs. CogSci (2017)
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli
An Efficient Reasoner for Description Logics of Typicality and Rational Closure. Description Logics (2017)
Valentina Gliozzi
Reasoning about Multiple Aspects in Rational Closure for DLs. AI*IA (2016)
Valentina Gliozzi
A strengthening of rational closure in DLs: reasoning about multiple aspects. CoRR (2016)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti
DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics. Description Logics (2015)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Semantic characterization of rational closure: From propositional logic to description logics. Artif. Intell. 226 (2015)
Laura Giordano, Valentina Gliozzi
. ISMIS (2015)
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)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Rational Closure in SHIQ. CoRR (2014)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Rational Closure in SHIQ. Description Logics (2014)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Minimal models for rational closure in SHIQ. ICTCS (2014)
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
Logics in access control: a conditional approach. J. Log. Comput. 24 (4) (2014)
Valentina Gliozzi
A logical analysis of typicality. CogSci (2014)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
A Semantics for Rational Closure: Preliminary Results. CILC (2013)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Minimal Model Semantics and Rational Closure in Description Logics. Description Logics (2013)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
On Rational Closure in Description Logics of Typicality CoRR (2013)
Laura Giordano, Valentina Gliozzi, Adam Jalal, Nicola Olivetti, Gian Luca Pozzato
PreDeLo 1.0: A Theorem Prover for Preferential Description Logics. AI*IA (2013)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
A non-monotonic Description Logic for reasoning about typicality. Artif. Intell. 195 (2013)
Valentina Gliozzi, Nadja Althaus, Julien Mayor, Kim Plunkett
Primacy/recency effects in infant categorisation. CogSci (2013)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
A Minimal Model Semantics for Nonmonotonic Reasoning. JELIA (2012)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
A Modal Reconstruction of Rational Closure. CILC (2012)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. Description Logics (2012)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
\mathcal{EL}^\bot. TABLEAUX (2011)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
Non-classical logics for knowledge representation and reasoning. Intelligenza Artificiale 5 (1) (2011)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. CILC (2011)
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)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
. IJCAI (2011)
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
A Conditional Constructive Logic for Access Control and Its Sequent Calculus. TABLEAUX (2011)
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)
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
A Constructive Conditional Logic for Access Control. CILC (2010)
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)
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
A constructive conditional logic for access control: a preliminary report. ECAI (2010)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment. CILC (2010)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
A Nonmonotonic Extension of KLM Preferential Logic P. LPAR (Yogyakarta) (2010)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. ECAI (2010)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. LPNMR (2009)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
T. AI*IA (2009)
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) (2009)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. ACM Trans. Comput. Log. 10 (3) (2009)
Laura Giordano, Nicola Olivetti, Valentina Gliozzi, Gian Luca Pozzato
ALC + T: a Preferential Extension of Description Logics. Fundam. Informaticae 96 (3) (2009)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Reasoning About Typicality in ALC and EL. Description Logics (2009)
Valentina Gliozzi, Julien Mayor, Jon-Fan Hu, Kim Plunkett
Labels as Features (Not Names) for Infant Categorization: A Neurocomputational Approach. Cogn. Sci. 33 (4) (2009)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
Non-Classical Logics for Knowledge Representation and Reasoning. Il Milione (2008)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Reasoning about Typicality in Preferential Description Logics. JELIA (2008)
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)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Preferential Description Logics. LPAR (2007)
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. TABLEAUX (2007)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Analytic Tableau Calculi for KLM Rational Logic R. JELIA (2006)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Automated Deduction for Logics of Default Reasoning. ECAI (2006)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning CoRR (2006)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Analytic Tableaux for KLM Preferential and Cumulative Logics. LPAR (2005)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti
Weak AGM postulates and strong Ramsey Test: A logical formalization. Artif. Intell. 168 (1-2) (2005)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind
Tableau Calculi for Preference-Based Conditional Logics. TABLEAUX (2003)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti
Iterated Belief Revision and Conditional Logic. Stud Logica 70 (1) (2002)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti
Belief Revision and the Ramsey Test: A Solution. AI*IA (2001)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti
A Conditional Logic for Iterated Belief Revision. ECAI (2000)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti
A Conditional Logic for Belief Revision. JELIA (1998)