GLIOZZI, Valentina
GLIOZZI, Valentina
INFORMATICA
A conditional constructive logic for access control and its sequent calculus
2011-01-01 Genovese V.; Giordano L.; Gliozzi V.; Pozzato G.L.
A Conditional Logic for Iterated Belief Revision.
2000-01-01 L. GIORDANO; V. GLIOZZI; AND N. OLIVETTI
A constructive conditional logic for access control: a preliminary report
2010-01-01 V. Genovese; L. Giordano; V. Gliozzi; G.L. Pozzato
A Constructive Conditional Logic for Access Control:a completeness result and a sequent calculus
2010-01-01 V. Genovese; L. Giordano; V. Gliozzi; G.L. Pozzato
A minimal model semantics for nonmonotonic reasoning
2012-01-01 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
A minimal model semantics for rational closure
2012-01-01 Laura Giordano; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato
A Modal Reconstruction of Rational Closure
2012-01-01 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
A Multi-Engine Theorem Prover for a Description Logic of Typicality
2015-01-01 Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca; Violanti, Luca
A Neural Network Model for Taxonomic Responding with Realistic Visual Inputs
2017-01-01 G. Fenoglio; R. Esposito; V. Gliozzi
A Non-monotonic Description Logic of Typicality
2009-01-01 L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G.L. POZZATO
A nonmonotonic extension of KLM Preferential Logic P
2010-01-01 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
A semantics for Rational Closure: Preliminary Results
2013-01-01 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
A strengthening of rational closure in DLs: reasoning about multiple aspects
2016-01-01 Gliozzi, V
A tableau calculus for a nonmonotonic extension of EL^\bot
2011-01-01 Giordano L.; Gliozzi V.; Olivetti N.; Pozzato G.L.
A tableau calculus for a nonmonotonic extension of the Description Logic DL-Litecore
2011-01-01 Giordano L.; Gliozzi V.; Olivetti N.; Pozzato G.L.
A Tableaux Calculus for KLM Preferential and Cumulative Logics
2005-01-01 L. GIORDANO; N. OLIVETTI; V. GLIOZZI; G. POZZATO
ALC+T: Reasoning About Typicality in Description Logics
2008-01-01 L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G. POZZATO
An efficient reasoner for description logics of typicality and rational closure
2017-01-01 Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca; Renzulli, Riccardo
An Implmentation of a Free-variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: the Theorem Prover FreeP 1.0
2007-01-01 L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G. POZZATO
Analytic Tableaux Calculi for KLM Rational Logic R
2006-01-01 L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G. POZZATO