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. L. Bozzato; M. Homola; L. Serafini,
    2012
    , pp. 11-
    18
    , (ARCOE-12 - The 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge,
    Montpellier, France,
    28/08/2012)
  2. L. Bozzato; S. Braghin; A. Trombetta,
    CEUR-WS.org,
    vol.912,
    2012
    , pp. 73-
    84
    , (SDA 2012 - 2nd International Workshop on Semantic Digital Archives,
    Paphos, Cyprus,
    27/09/2012)
  3. Loris Bozzato; Francesco Corcoglioniti; Martin Homola; Mathew Joseph; Luciano Serafini,
    ESWC12 - 9th Extended Semantic Web Conference,
    Heraklion, Crete, Greece,
    da 27/05/2012 a 31/05/2012,
  4. 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)
  5. 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)
  6. Loris Bozzato; Mauro Ferrari; Paola Villa,
    in «FUNDAMENTA INFORMATICAE»,
    vol. 96,
    n. 3,
    2009
    , pp. 253 -
    269
  7. 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)
  8. 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)
  9. 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)
  10. 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)

Pages