A Conditional Logic for Belief Revision. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti (JELIA, 1998)

A Conditional Logic for Iterated Belief Revision. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti (ECAI, 2000)

Belief Revision and the Ramsey Test: A Solution. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti (AI*IA, 2001)

Iterated Belief Revision and Conditional Logic. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti (Stud Logica, 2002)

Tableau Calculi for Preference-Based Conditional Logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Camilla Schwind (TABLEAUX, 2003)

Analytic Tableaux for KLM Preferential and Cumulative Logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (LPAR, 2005)

Weak AGM postulates and strong Ramsey Test: A logical formalization. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti (Artif. Intell., 2005)

Automated Deduction for Logics of Default Reasoning. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (ECAI, 2006)

Analytic Tableau Calculi for KLM Rational Logic R. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (JELIA, 2006)

An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (AI*IA, 2007)

Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (LPAR, 2007)

KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. - Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato (TABLEAUX, 2007)

Reasoning about Typicality in Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (JELIA, 2008)

Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (AI*IA, 2009)

Reasoning About Typicality in ALC and EL. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (Description Logics, 2009)

Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (LPNMR, 2009)

Labels as Features (Not Names) for Infant Categorization: A Neurocomputational Approach. - Valentina Gliozzi; Julien Mayor; Jon-Fan Hu; Kim Plunkett (Cogn. Sci., 2009)

ALC + T: a Preferential Extension of Description Logics. - Laura Giordano 001; Nicola Olivetti; Valentina Gliozzi; Gian Luca Pozzato (Fundam. Informaticae, 2009)

Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (ACM Trans. Comput. Log., 2009)

Tableau calculus for preference-based conditional logics: PCL and its extensions. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Camilla Schwind (ACM Trans. Comput. Log., 2009)

A Constructive Conditional Logic for Access Control. - Valerio Genovese; Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato (CILC, 2010)

Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (CILC, 2010)

Verifying Business Process Compliance by Reasoning about Actions. - Davide D'Aprile; Laura Giordano 001; Valentina Gliozzi; Alberto Martelli; Gian Luca Pozzato; Daniele Theseider Dupré (CLIMA, 2010)

A constructive conditional logic for access control: a preliminary report. - Valerio Genovese; Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato (ECAI, 2010)

Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (ECAI, 2010)

A Nonmonotonic Extension of KLM Preferential Logic P. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (LPAR (Yogyakarta), 2010)

A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $ mbox{ em DL-Lite}_{ mathit{core}}$. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (AI*IA, 2011)

Verifying Compliance of Business Processes with Temporal Answer Sets. - Davide D'Aprile; Laura Giordano 001; Valentina Gliozzi; Alberto Martelli; Gian Luca Pozzato; Daniele Theseider Dupré (CILC, 2011)

Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (CILC, 2011)

Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (IJCAI, 2011)

A Conditional Constructive Logic for Access Control and Its Sequent Calculus. - Valerio Genovese; Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato (TABLEAUX, 2011)

A Tableau Calculus for a Nonmonotonic Extension of EL^ mathcal{EL}^ bot. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (TABLEAUX, 2011)

Non-classical logics for knowledge representation and reasoning. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato; Camilla Schwind (Intelligenza Artificiale, 2011)

A Modal Reconstruction of Rational Closure. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (CILC, 2012)

Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (Description Logics, 2012)

A Minimal Model Semantics for Nonmonotonic Reasoning. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (JELIA, 2012)

PreDeLo 1.0: A Theorem Prover for Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Adam Jalal; Nicola Olivetti; Gian Luca Pozzato (AI*IA, 2013)

A Semantics for Rational Closure: Preliminary Results. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (CILC, 2013)

Primacy/recency effects in infant categorisation. - Valentina Gliozzi; Nadja Althaus; Julien Mayor; Kim Plunkett (CogSci, 2013)

Minimal Model Semantics and Rational Closure in Description Logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (Description Logics, 2013)

A non-monotonic Description Logic for reasoning about typicality. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (Artif. Intell., 2013)

On Rational Closure in Description Logics of Typicality - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (CoRR, 2013)

A logical analysis of typicality. - Valentina Gliozzi (CogSci, 2014)

Rational Closure in SHIQ. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (Description Logics, 2014)

Minimal models for rational closure in SHIQ. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (ICTCS, 2014)

Logics in access control: a conditional approach. - Valerio Genovese; Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato (J. Log. Comput., 2014)

A Multi-engine Theorem Prover for a Description Logic of Typicality. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato; Luca Violanti (AI*IA, 2015)

DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato; Luca Violanti (Description Logics, 2015)

Encoding a Preferential Extension of the Description Logic SROIQ into SROIQ. - Laura Giordano 001; Valentina Gliozzi (ISMIS, 2015)

Semantic characterization of rational closure: From propositional logic to description logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (Artif. Intell., 2015)

Reasoning about Multiple Aspects in Rational Closure for DLs. - Valentina Gliozzi (AI*IA, 2016)

A strengthening of rational closure in DLs: reasoning about multiple aspects. - Valentina Gliozzi (CoRR, 2016)

A Neural Network Model for Taxonomic Responding with Realistic Visual Inputs. - Giorgia Fenoglio; Roberto Esposito; Valentina Gliozzi (CogSci, 2017)

An Efficient Reasoner for Description Logics of Typicality and Rational Closure. - Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato; Riccardo Renzulli (Description Logics, 2017)

RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality. - Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato; Riccardo Renzulli (ICTCS/CILC, 2017)

Preface. - Laura Giordano 001; Valentina Gliozzi; Alberto Pettorossi; Gian Luca Pozzato (Fundam. Informaticae, 2017)

A visual auditory model based on Growing Self-Organizing Maps to analyze the taxonomic response in early childhood. - Valentina Gliozzi; Matteo Madeddu (Cogn. Syst. Res., 2018)

Reasoning about multiple aspects in DLs: Semantics and Closure Construction. - Laura Giordano 001; Valentina Gliozzi (CoRR, 2018)

Self-organizing maps and generalization: an algorithmic description of Numerosity and Variability Effects. - Valentina Gliozzi; Kim Plunkett (CoRR, 2018)

Towards a Rational Closure for Expressive Description Logics: the Case of 풮풽풾퓆. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti (Fundam. Informaticae, 2018)

Strengthening the Rational Closure for Description Logics: An Overview. - Laura Giordano 001; Valentina Gliozzi (CILC, 2019)

Taxonomic and Whole Object Constraints: A Deep Architecture. - Mattia Cerrato; Edoardo Arnaudo; Valentina Gliozzi; Roberto Esposito (CogSci, 2019)

Reasoning About Exceptions in Ontologies: An Approximation of the Multipreference Semantics. - Laura Giordano 001; Valentina Gliozzi (ECSQARU, 2019)

Towards a Conditional Interpretation of Self Organizing Maps. - Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (XAI.it@AI*IA, 2020)

On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps. - Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (CILC, 2020)

Reasoning about Typicality and Probabilities in Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Antonio Lieto; Nicola Olivetti; Gian Luca Pozzato (CoRR, 2020)

Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure. - Laura Giordano 001; Valentina Gliozzi (Fundam. Informaticae, 2020)

Reasoning About Typicality and Probabilities in Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Antonio Lieto; Nicola Olivetti; Gian Luca Pozzato (Applications and Practices in Ontology Design, Extraction, and Reasoning, 2020)

Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract). - Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (OVERLAY@GandALF, 2021)

A Multipreference Semantics from Common Sense Reasoning to Neural Network Models: An Overview. - Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (JOWO, 2021)

A reconstruction of multipreference closure. - Laura Giordano 001; Valentina Gliozzi (Artif. Intell., 2021)

A conditional, a fuzzy and a probabilistic interpretation of self-organising maps. - Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (CoRR, 2021)

From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview. - Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (CoRR, 2021)

Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract). - Mario Alviano; Francesco Bartoli; Marco Botta; Roberto Esposito; Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (XAI.it@AI*IA, 2022)

From Common Sense Reasonig to Neural Network Models: a Conditional and Multi-preferential Approach for Explainability and Neuro-Symbolic Integration. - Francesco Bartoli; Marco Botta; Roberto Esposito; Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (FCR@KI, 2022)

Combining neural and symbolic approaches to solve the Picasso problem: A first step. - Valentina Gliozzi; Gian Luca Pozzato; Alberto Valese (Displays, 2022)

A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps. - Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (J. Log. Comput., 2022)

Proof Methods and Theorem Proving for Conditional Logics with Strong Centering. - Valentina Gliozzi; Gian Luca Pozzato; Alberto Valese (CILC, 2023)

Learning Typicality Inclusions in a Probabilistic Description Logic for Concept Combination. - Alberto Valese; Valentina Gliozzi; Gian Luca Pozzato (ISMIS, 2024)

Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics. - Valentina Gliozzi; Gian Luca Pozzato; Gabriele Tessore; Alberto Valese (J. Log. Comput., 2024)

A Simple Computational Model of Semantic Priming in 18-Month-Olds. - Valentina Gliozzi (Cogn. Sci., 2024)