You are here

Loris Bozzato

  • SKYPE: loris.bozzato
  • Phone: 0461314331
  • FBK Povo
Short bio

Since March 2011, I work as a researcher in the DKM unit: my reserch activity in the group mainly focuses on the (description) logic theoretical foundations of the Contextualized Knowledge Repositories (CKR) framework. On January 2011, I obtained my PhD (Dottorato di Ricerca) in Computer Science with the Thesis: Kripke semantics and tableau procedures for constructive description logics.

Research interests
Context representation and reasoning Tableaux algorithms for description logics Constructive semantics for description logics
Publications
  1. Loris Bozzato; Mauro Ferrari,
    Springer,
    vol.6333,
    2010
    , pp. 223-
    226
    , (RR2010 - Web Reasoning and Rule Systems,
    Bressanone/Brixen, Italy,
    da 22/09/2010 a 24/09/2010)
  2. Loris Bozzato; Mauro Ferrari; Camillo Fiorentini; Guido Fiorino,
    A decidable constructive description logic.,
    Springer,
    vol.6341,
    2010
    , pp. 51-
    63
    , (JELIA 2010 - 12th European Conference on Logics in Artificial Intelligence,
    Helsinki, Finland,
    da 13/09/2010 a 15/09/2010)
  3. Loris Bozzato; Mauro Ferrari; Paola Villa,
    in «FUNDAMENTA INFORMATICAE»,
    vol. 96,
    n. 3,
    2009
    , pp. 253 -
    269
  4. Loris Bozzato; Mauro Ferrari; Paola Villa,
    2009
    , (CILC09 - 24-esimo Convegno Italiano di Logica Computazionale,
    Ferrara, Italy,
    da 25/06/2009 a 26/06/2009)
  5. Loris Bozzato; Mauro Ferrari; Alberto Trombetta,
    CEUR-WS.org,
    vol.426,
    2008
    , (SWAP 2008 - 5th Workshop on Semantic Web Applications and Perspectives,
    Roma, Italy,
    da 15/12/2008 a 17/12/2008)
  6. Loris Bozzato; Mauro Ferrari; Paola Villa,
    2008
    , (CILC08 - 23-esimo Convegno Italiano di Logica Computazionale,
    Perugia, Italy,
    da 10/07/2008 a 12/07/2008)
  7. Loris Bozzato; Mauro Ferrari; Paola Villa,
    CEUR-WS.org,
    vol.353,
    2008
    , (DL2008 - 21st International Workshop on Description Logics,
    Dresden, Germany,
    da 13/05/2008 a 16/05/2008)
  8. Loris Bozzato; Mauro Ferrari; Camillo Fiorentini; Guido Fiorino,
    CEUR-WS.org,
    vol.250,
    2007
    , pp. 219-
    226
    , (DL2007 - 20th International Workshop on Description Logics,
    Bressanone/Brixen, Italy,
    da 08/06/2007 a 10/06/2007)
  9. Elisabetta Binaghi; Loris Bozzato; Cristina Ghiselli; Alberto Trombetta,
    Archives & Museum Informatics Europe,
    2005
    , (ICHIM 2005: the International Cultural Heritage Informatics Meeting,
    Paris, France,
    da 21/09/2005 a 23/09/2005)
  10. Cristina Ghiselli; Loris Bozzato; Alberto Trombetta,
    CEUR-WS.org,
    vol.166,
    2005
    , (SWAP 2005 - 2nd Italian Semantic Web Workshop,
    Trento, Italy,
    da 14/12/2005 a 16/12/2005)

Pages