V. 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
A multi-engine theorem prover for a description logic of typicality	2020-02-10	Paper
Reasoning about Multiple Aspects in Rational Closure for DLs	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, PCL and its extensions	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
Tableau calculi for preference-based conditional logics	2010-03-09	Paper
\({\mathcal{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

This page was built for person: V. Gliozzi