Valentina Gliozzi

91 papers A* 1A 4B 16C 3Journal 32Unranked 33

Year	Rank	Type	Title / 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