The following pages link to Valentina Gliozzi (Q1602961):
Displayed 30 items.
- (Q360110) (redirect page) (← links)
- A non-monotonic description logic for reasoning about typicality (Q360113) (← links)
- Semantic characterization of rational closure: from propositional logic to description logics (Q898736) (← links)
- Iterated belief revision and conditional logic (Q1602962) (← links)
- A reconstruction of multipreference closure (Q2046040) (← links)
- Reasoning about exceptions in ontologies: an approximation of the multipreference semantics (Q2297768) (← links)
- Weak AGM postulates and strong Ramsey test: A logical formalization (Q2457649) (← links)
- A Minimal Model Semantics for Nonmonotonic Reasoning (Q2915074) (← links)
- Logics in access control: a conditional approach (Q2937691) (← links)
- Analytic tableaux calculi for KLM logics of nonmonotonic reasoning (Q2946576) (← links)
- Tableau calculus for preference-based conditional logics (Q2946579) (← links)
- A Conditional Constructive Logic for Access Control and Its Sequent Calculus (Q3010367) (← links)
- A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$ (Q3010368) (← links)
- ALC + T: a Preferential Extension of Description Logics (Q3400571) (← links)
- Preferential Description Logics (Q3498470) (← links)
- Reasoning about Typicality in Preferential Description Logics (Q3532467) (← links)
- Analytic Tableau Calculi for KLM Rational Logic R (Q3533131) (← links)
- Verifying Business Process Compliance by Reasoning about Actions (Q3582738) (← links)
- Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results (Q3643136) (← links)
- (Q4246975) (← links)
- Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆 (Q4637881) (← links)
- (Q4799257) (← links)
- A Nonmonotonic Extension of KLM Preferential Logic P (Q4933314) (← links)
- Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure (Q4988945) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187861) (← links)
- Reasoning about Multiple Aspects in Rational Closure for DLs (Q5215373) (← links)
- A Multi-engine Theorem Prover for a Description Logic of Typicality (Q5215376) (← links)
- Analytic Tableaux for KLM Preferential and Cumulative Logics (Q5387873) (← links)
- KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning (Q5434493) (← links)
- A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps (Q5862466) (← links)