Valentina Gliozzi

91 papers A* 1A 4B 16C 3Journal 32Unranked 33
YearRankTypeTitle / Venue / Authors
2026 J jnl
Learning typicality inclusions in a probabilistic description logic for concept combination and an application for recommending musical contents.
J. Log. Comput.
Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese
2024 J jnl
A Simple Computational Model of Semantic Priming in 18-Month-Olds.
Cogn. Sci.
Valentina Gliozzi
2024 C conf
Learning Typicality Inclusions in a Probabilistic Description Logic for Concept Combination.
ISMIS
Alberto Valese, Valentina Gliozzi, Gian Luca Pozzato
2024 J jnl
Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics.
J. Log. Comput.
Valentina Gliozzi, Gian Luca Pozzato, Gabriele Tessore, Alberto Valese
2024 B conf
The impact of Inter Stimulus Interval on Semantic Priming: hysteresis or adaptation? A SOM neural network model.
CogSci
Valentina Gliozzi
2023 — conf
Proof Methods and Theorem Proving for Conditional Logics with Strong Centering.
CILC
Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese
2022 J jnl
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps.
J. Log. Comput.
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2022 J jnl
Combining neural and symbolic approaches to solve the Picasso problem: A first step.
Displays
Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese
2022 — conf
From Common Sense Reasonig to Neural Network Models: a Conditional and Multi-preferential Approach for Explainability and Neuro-Symbolic Integration.
FCR@KI
Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2022 — conf
Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract).
XAI.it@AI*IA
Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2021 — conf
A Multipreference Semantics from Common Sense Reasoning to Neural Network Models: An Overview.
JOWO
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2021 J jnl
A conditional, a fuzzy and a probabilistic interpretation of self-organising maps.
CoRR
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2021 J jnl
A reconstruction of multipreference closure.
Artif. Intell.
Laura Giordano, Valentina Gliozzi
2021 J jnl
From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview.
CoRR
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2021 — conf
Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract).
OVERLAY@GandALF
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2020 — conf
On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps.
CILC
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2020 J jnl
On a plausible concept-wise multipreference semantics and its relations with self-organising maps.
CoRR
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2020 — ch.
Reasoning About Typicality and Probabilities in Preferential Description Logics.
Applications and Practices in Ontology Design, Extraction, and Reasoning
Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato
2020 J jnl
Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure.
Fundam. Informaticae
Laura Giordano, Valentina Gliozzi
2020 J jnl
Reasoning about Typicality and Probabilities in Preferential Description Logics.
CoRR
Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato
2020 — conf
Towards a Conditional Interpretation of Self Organizing Maps.
XAI.it@AI*IA
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2019 J jnl
A reconstruction of the multipreference closure.
CoRR
Laura Giordano, Valentina Gliozzi
2019 C conf
Reasoning About Exceptions in Ontologies: An Approximation of the Multipreference Semantics.
ECSQARU
Laura Giordano, Valentina Gliozzi
2019 — conf
Strengthening the Rational Closure for Description Logics: An Overview.
CILC
Laura Giordano, Valentina Gliozzi
2019 B conf
Taxonomic and Whole Object Constraints: A Deep Architecture.
CogSci
Mattia Cerrato, Edoardo Arnaudo, Valentina Gliozzi, Roberto Esposito
2018 J jnl
A visual auditory model based on Growing Self-Organizing Maps to analyze the taxonomic response in early childhood.
Cogn. Syst. Res.
Valentina Gliozzi, Matteo Madeddu
2018 — conf
Reasoning About Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure.
PRUV@IJCAR
Laura Giordano, Valentina Gliozzi
2018 J jnl
Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure.
CoRR
Laura Giordano, Valentina Gliozzi
2018 J jnl
Reasoning about multiple aspects in DLs: Semantics and Closure Construction.
CoRR
Laura Giordano, Valentina Gliozzi
2018 J jnl
Self-organizing maps and generalization: an algorithmic description of Numerosity and Variability Effects.
CoRR
Valentina Gliozzi, Kim Plunkett
2018 J jnl
Towards a Rational Closure for Expressive Description Logics: the Case of 풮풽풾퓆.
Fundam. Informaticae
Laura Giordano, Valentina Gliozzi, Nicola Olivetti
2017 B conf
A Neural Network Model for Taxonomic Responding with Realistic Visual Inputs.
CogSci
Giorgia Fenoglio, Roberto Esposito, Valentina Gliozzi
2017 — conf
An Efficient Reasoner for Description Logics of Typicality and Rational Closure.
Description Logics
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli
2017 J jnl
Preface.
Fundam. Informaticae
Laura Giordano, Valentina Gliozzi, Alberto Pettorossi, Gian Luca Pozzato
2017 — conf
RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality.
ICTCS/CILC
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli
2016 J jnl
A strengthening of rational closure in DLs: reasoning about multiple aspects.
CoRR
Valentina Gliozzi
2016 — conf
Reasoning about Multiple Aspects in Rational Closure for DLs.
AI*IA
Valentina Gliozzi
2015 — conf
A Multi-engine Theorem Prover for a Description Logic of Typicality.
AI*IA
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti
2015 — conf
DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics.
Description Logics
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti
2015 C conf
Encoding a Preferential Extension of the Description Logic
ISMIS
Laura Giordano, Valentina Gliozzi
2015 J jnl
Semantic characterization of rational closure: From propositional logic to description logics.
Artif. Intell.
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2014 B conf
A logical analysis of typicality.
CogSci
Valentina Gliozzi
2014 J jnl
Logics in access control: a conditional approach.
J. Log. Comput.
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
2014 — conf
Minimal models for rational closure in SHIQ.
ICTCS
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2014 — ed.
Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014.
CILC
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
2014 — conf
Rational Closure in SHIQ.
Description Logics
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2014 J jnl
Rational Closure in SHIQ.
CoRR
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013 — conf
A Semantics for Rational Closure: Preliminary Results.
CILC
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013 J jnl
A non-monotonic Description Logic for reasoning about typicality.
Artif. Intell.
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013 — conf
Minimal Model Semantics and Rational Closure in Description Logics.
Description Logics
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013 J jnl
On Rational Closure in Description Logics of Typicality
CoRR
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013 — conf
PreDeLo 1.0: A Theorem Prover for Preferential Description Logics.
AI*IA
Laura Giordano, Valentina Gliozzi, Adam Jalal, Nicola Olivetti, Gian Luca Pozzato
2013 B conf
Primacy/recency effects in infant categorisation.
CogSci
Valentina Gliozzi, Nadja Althaus, Julien Mayor, Kim Plunkett
2012 B conf
A Minimal Model Semantics for Nonmonotonic Reasoning.
JELIA
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2012 — conf
A Modal Reconstruction of Rational Closure.
CILC
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2012 — conf
Preferential Low Complexity Description Logics: Complexity Results and Proof Methods.
Description Logics
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2011 B conf
A Conditional Constructive Logic for Access Control and Its Sequent Calculus.
TABLEAUX
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
2011 B conf
A Tableau Calculus for a Nonmonotonic Extension of
TABLEAUX
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2011 — conf
A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $\mbox{\em DL-Lite}_{\mathit{core}}$.
AI*IA
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2011 J jnl
Non-classical logics for knowledge representation and reasoning.
Intelligenza Artificiale
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
2011 — conf
Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods.
CILC
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2011 A* conf
Reasoning about Typicality in Low Complexity DLs: The Logics EL
IJCAI
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2011 — conf
Verifying Compliance of Business Processes with Temporal Answer Sets.
CILC
Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré
2010 — conf
A Constructive Conditional Logic for Access Control.
CILC
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
2010 — conf
A Nonmonotonic Extension of KLM Preferential Logic P.
LPAR (Yogyakarta)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2010 A conf
A constructive conditional logic for access control: a preliminary report.
ECAI
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
2010 A conf
Preferential vs Rational Description Logics: which one for Reasoning About Typicality?.
ECAI
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2010 — conf
Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment.
CILC
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2010 — conf
Verifying Business Process Compliance by Reasoning about Actions.
CLIMA
Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré
2009 J jnl
ALC + T: a Preferential Extension of Description Logics.
Fundam. Informaticae
Laura Giordano, Nicola Olivetti, Valentina Gliozzi, Gian Luca Pozzato
2009 J jnl
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning.
ACM Trans. Comput. Log.
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2009 J jnl
Labels as Features (Not Names) for Infant Categorization: A Neurocomputational Approach.
Cogn. Sci.
Valentina Gliozzi, Julien Mayor, Jon-Fan Hu, Kim Plunkett
2009 B conf
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results.
LPNMR
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2009 — conf
Reasoning About Typicality in ALC and EL.
Description Logics
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2009 — conf
Reasoning about Typicality with Low Complexity Description Logics: The Logic
AI*IA
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2009 J jnl
Tableau calculus for preference-based conditional logics: PCL and its extensions.
ACM Trans. Comput. Log.
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind
2008 — conf
Non-Classical Logics for Knowledge Representation and Reasoning.
Il Milione
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
2008 B conf
Reasoning about Typicality in Preferential Description Logics.
JELIA
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2007 — conf
An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0.
AI*IA
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2007 B conf
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning.
TABLEAUX
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
2007 B conf
Preferential Description Logics.
LPAR
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2006 B conf
Analytic Tableau Calculi for KLM Rational Logic R.
JELIA
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2006 J jnl
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning
CoRR
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2006 A conf
Automated Deduction for Logics of Default Reasoning.
ECAI
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2005 B conf
Analytic Tableaux for KLM Preferential and Cumulative Logics.
LPAR
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2005 J jnl
Weak AGM postulates and strong Ramsey Test: A logical formalization.
Artif. Intell.
Laura Giordano, Valentina Gliozzi, Nicola Olivetti
2003 B conf
Tableau Calculi for Preference-Based Conditional Logics.
TABLEAUX
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind
2002 J jnl
Iterated Belief Revision and Conditional Logic.
Stud Logica
Laura Giordano, Valentina Gliozzi, Nicola Olivetti
2001 — conf
Belief Revision and the Ramsey Test: A Solution.
AI*IA
Laura Giordano, Valentina Gliozzi, Nicola Olivetti
2000 A conf
A Conditional Logic for Iterated Belief Revision.
ECAI
Laura Giordano, Valentina Gliozzi, Nicola Olivetti
1998 B conf
A Conditional Logic for Belief Revision.
JELIA
Laura Giordano, Valentina Gliozzi, Nicola Olivetti