Valentina Gliozzi

Available identifiers

zbMath Open gliozzi.valentinaWikidataQ122209936 ScholiaQ122209936MaRDI QIDQ1602961

List of research outcomes

Publication	Date of Publication	Type
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps	2022-03-09	Paper
A reconstruction of multipreference closure	2021-08-16	Paper
Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure	2021-05-20	Paper
Reasoning about exceptions in ontologies: an approximation of the multipreference semantics	2020-02-20	Paper
Reasoning about Multiple Aspects in Rational Closure for DLs	2020-02-10	Paper
A Multi-engine Theorem Prover for a Description Logic of Typicality	2020-02-10	Paper
Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆	2018-05-03	Paper
Semantic characterization of rational closure: from propositional logic to description logics	2015-12-18	Paper
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning	2015-09-17	Paper
Tableau calculus for preference-based conditional logics	2015-09-17	Paper
Logics in access control: a conditional approach	2015-01-12	Paper
A non-monotonic description logic for reasoning about typicality	2013-08-26	Paper
A Minimal Model Semantics for Nonmonotonic Reasoning	2012-09-21	Paper
A Conditional Constructive Logic for Access Control and Its Sequent Calculus	2011-07-01	Paper
A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$	2011-07-01	Paper
A Nonmonotonic Extension of KLM Preferential Logic P	2010-10-12	Paper
Verifying Business Process Compliance by Reasoning about Actions	2010-08-24	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2010-03-09	Paper
ALC + T: a Preferential Extension of Description Logics	2010-02-05	Paper
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results	2009-11-10	Paper
Analytic Tableau Calculi for KLM Rational Logic R	2008-10-30	Paper
Reasoning about Typicality in Preferential Description Logics	2008-10-27	Paper
Analytic Tableaux for KLM Preferential and Cumulative Logics	2008-05-27	Paper
Preferential Description Logics	2008-05-15	Paper
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning	2008-01-04	Paper
Weak AGM postulates and strong Ramsey test: A logical formalization	2007-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4799257	2003-03-18	Paper
Iterated belief revision and conditional logic	2002-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q4246975	2000-01-12	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Valentina Gliozzi