Valentina Gliozzi
Orcid: 0000-0003-1045-8018Affiliations:
- University of Turin, Italy
According to our database1,
Valentina Gliozzi
authored at least 78 papers
between 1998 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on di.unito.it
On csauthors.net:
Bibliography
2023
Proceedings of the 38th Italian Conference on Computational Logic, 2023
2022
J. Log. Comput., 2022
Displays, 2022
From Common Sense Reasonig to Neural Network Models: a Conditional and Multi-preferential Approach for Explainability and Neuro-Symbolic Integration.
Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), 2022
Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract).
Proceedings of the 3rd Italian Workshop on Explainable Artificial Intelligence co-located with 21th International Conference of the Italian Association for Artificial Intelligence(AIxIA 2022), Udine, Italy, November 28, 2022
2021
From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview.
CoRR, 2021
CoRR, 2021
A Multipreference Semantics from Common Sense Reasoning to Neural Network Models: An Overview.
Proceedings of the Joint Ontology Workshops 2021 Episode VII: The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), 2021
Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract).
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021
2020
Proceedings of the Applications and Practices in Ontology Design, 2020
Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure.
Fundam. Informaticae, 2020
CoRR, 2020
On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps.
Proceedings of the 35th Italian Conference on Computational Logic, 2020
Proceedings of the Italian Workshop on Explainable Artificial Intelligence co-located with 19th International Conference of the Italian Association for Artificial Intelligence, 2020
2019
Reasoning About Exceptions in Ontologies: An Approximation of the Multipreference Semantics.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019
Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019
Proceedings of the 34th Italian Conference on Computational Logic, 2019
2018
Fundam. Informaticae, 2018
Self-organizing maps and generalization: an algorithmic description of Numerosity and Variability Effects.
CoRR, 2018
CoRR, 2018
A visual auditory model based on Growing Self-Organizing Maps to analyze the taxonomic response in early childhood.
Cogn. Syst. Res., 2018
2017
Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017
Proceedings of the 30th International Workshop on Description Logics, 2017
Proceedings of the 39th Annual Meeting of the Cognitive Science Society, 2017
2016
CoRR, 2016
Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016
2015
Semantic characterization of rational closure: From propositional logic to description logics.
Artif. Intell., 2015
Encoding a Preferential Extension of the Description Logic <i>SROIQ</i> into <i>SROIQ</i>.
Proceedings of the Foundations of Intelligent Systems - 22nd International Symposium, 2015
Proceedings of the 28th International Workshop on Description Logics, 2015
Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015
2014
Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014
Proceedings of the 36th Annual Meeting of the Cognitive Science Society, 2014
2013
Artif. Intell., 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
Proceedings of the 35th Annual Meeting of the Cognitive Science Society, 2013
Proceedings of the 28th Italian Conference on Computational Logic, 2013
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013
2012
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012
Preferential Low Complexity Description Logics: Complexity Results and Proof Methods.
Proceedings of the 2012 International Workshop on Description Logics, 2012
Proceedings of the 9th Italian Convention on Computational Logic, 2012
2011
Intelligenza Artificiale, 2011
A Tableau Calculus for a Nonmonotonic Extension of <i>EL</i><sup>^</sup>\mathcal{EL}^\bot.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011
Reasoning about Typicality in Low Complexity DLs: The Logics EL<sup>⊥</sup>T<sub>min</sub> and DL-Lite<sub>c</sub> T<sub>min</sub>.
Proceedings of the IJCAI 2011, 2011
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011
A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $\mbox{\em DL-Lite}_{\mathit{core}}$.
Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011
2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Preferential vs Rational Description Logics: which one for Reasoning About Typicality?.
Proceedings of the ECAI 2010, 2010
Proceedings of the ECAI 2010, 2010
Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010
Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment.
Proceedings of the 25th Italian Conference on Computational Logic, 2010
Proceedings of the 25th Italian Conference on Computational Logic, 2010
2009
ACM Trans. Comput. Log., 2009
ACM Trans. Comput. Log., 2009
Labels as Features (Not Names) for Infant Categorization: A Neurocomputational Approach.
Cogn. Sci., 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
Reasoning about Typicality with Low Complexity Description Logics: The Logic <i>EL</i><sup>+<sup>^</sup></sup>T.
Proceedings of the AI*IA 2009: Emergent Perspectives in Artificial Intelligence, 2009
2008
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008
2007
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007
An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0.
Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007
2006
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
Automated Deduction for Logics of Default Reasoning.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006
2005
Artif. Intell., 2005
Proceedings of the Logic for Programming, 2005
2003
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003
2002
2001
Proceedings of the AI*IA 2001: Advances in Artificial Intelligence, 2001
2000
A Conditional Logic for Iterated Belief Revision.
Proceedings of the ECAI 2000, 2000
1998
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998