Gliozzi Valentina
Department of Computer Science
University of Turin
Italy
Biography
Gliozzi Valentina is a Researcher at the Department of Computer Science, University of Turin, Italy.
Research Interest
Nonmonotonic Reasoning; Intuitionistic Logic; Sequent Calculi
Publications
-
Giordano L, Gliozzi V, Olivetti N, Pozzato GL. A Non-monotonic Description Logic of Typicality. InProceedings of the 24th Italian Conference on Computational Logic (CILC 2009). Ed. by Marco Gavanelli and Fabrizio Riguzzi. Vol. 0. Ferrara 2009 (pp. 1-13).
-
Genovese V, Giordano L, Gliozzi V, Pozzato GL. Logics in access control: a conditional approach. Journal of Logic and Computation. 2012 Oct 9;24(4):705-62.
