GLIOZZI, Valentina

GLIOZZI, Valentina  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 88 (tempo di esecuzione: 0.04 secondi).
Titolo Data di pubblicazione Autore(i) File
A conditional constructive logic for access control and its sequent calculus 2011 Genovese V.; Giordano L.; Gliozzi V.; Pozzato G.L.
A Conditional Logic for Belief Revision. 1998 L. GIORDANO; V. GLIOZZI; AND N. OLIVETTI
A Conditional Logic for Iterated Belief Revision. 2000 L. GIORDANO; V. GLIOZZI; AND N. OLIVETTI
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps 2022 L.Giordano, V.Gliozzi, D.Theseider Dupré
A constructive conditional logic for access control: a preliminary report 2010 V. Genovese; L. Giordano; V. Gliozzi; G.L. Pozzato
A Constructive Conditional Logic for Access Control:a completeness result and a sequent calculus 2010 V. Genovese; L. Giordano; V. Gliozzi; G.L. Pozzato
A minimal model semantics for nonmonotonic reasoning 2012 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
A minimal model semantics for rational closure 2012 Laura Giordano; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato
A Modal Reconstruction of Rational Closure 2012 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
A Multi-Engine Theorem Prover for a Description Logic of Typicality 2015 Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca; Violanti, Luca
A Neural Network Model for Taxonomic Responding with Realistic Visual Inputs 2017 G. Fenoglio; R. Esposito; V. Gliozzi
A Non-monotonic Description Logic of Typicality 2009 L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G.L. POZZATO
A NonMonotonic Description Logic for Reasoning About Typicality 2013 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
A nonmonotonic extension of KLM Preferential Logic P 2010 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
A reconstruction of the multipreference closure. 2021 Giordano L., Gliozzi V.
A semantics for Rational Closure: Preliminary Results 2013 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
A strengthening of rational closure in DLs: reasoning about multiple aspects 2016 Gliozzi, V
A tableau calculus for a nonmonotonic extension of EL^\bot 2011 Giordano L.; Gliozzi V.; Olivetti N.; Pozzato G.L.
A tableau calculus for a nonmonotonic extension of the Description Logic DL-Litecore 2011 Giordano L.; Gliozzi V.; Olivetti N.; Pozzato G.L.
A Tableaux Calculus for KLM Preferential and Cumulative Logics 2005 L. GIORDANO; N. OLIVETTI; V. GLIOZZI; G. POZZATO