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. Bozzato, Loris; Eiter, Thomas; Serafini, Luciano,
    Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday,
    Springer,
    2019
    , pp. 110 -
    134
  2. Khan, Abdullah; Serafini, Luciano; Bozzato, Loris; Lazzerini, Beatrice,
    Proceedings of the 34th Italian Conference on Computational Logic (CILC 2019),
    CEUR-WS.org,
    vol.2396,
    2019
    , pp. 48-
    58
    , (CILC 2019 - 34th Italian Conference on Computational Logic,
    Trieste, Italy,
    June 19-21, 2019)
  3. Bozzato, Loris; Eiter, Thomas; Serafini, Luciano,
    Proceedings of the 32nd International Workshop on Description Logics (DL 2019),
    CEUR-WS.org,
    vol.2373,
    2019
    , (DL2019 - 32nd International Workshop on Description Logics,
    Oslo, Norway,
    June 18-21, 2019)
  4. Loris, Bozzato; Thomas, Eiter; Luciano, Serafini,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 257,
    2018
    , pp. 72 -
    126
  5. Bozzato, Loris,
    in «FUNDAMENTA INFORMATICAE»,
    vol. 161,
    n. 1-2,
    2018
    , pp. 29 -
    51
  6. Bozzato, Loris; Serafini, Luciano; Eiter, Thomas,
    Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona,30 October - 2 November 2018.,
    AAAI Press,
    2018
    , pp. 329-
    338
    , (Sixteenth International Conference on Knowledge Representation and Reasoning (KR 2018),
    Tempe, Arizona,
    30 October - 2 November 2018)
  7. Bozzato, Loris; Eiter, Thomas; Serafini, Luciano,
    Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.,
    ijcai.org,
    2018
    , pp. 5568-
    5572
    , (International Joint Conference on Artificial Intelligence (IJCAI 2018),
    Stockholm, Sweden,
    July 13-19)
  8. Stefano, Borgo; Loris, Bozzato; Alessio Palmero Aprosio, ; Marco, Rospocher; Luciano, Serafini,
    Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech,Morocco, April 3-7, 2017,
    ACM,
    2017
    , pp. 353-
    355
    , (Symposium on Applied Computing (SAC 2017),
    Marrakech, Morocco,
    April 3-7)
  9. Loris, Bozzato; Luciano, Serafini; Gaetano, Calabrese,
    Proceedings of the 30th International Workshop on Description Logics,Montpellier, France, July 18-21, 2017.,
    CEUR-WS.org,
    vol.1879,
    2017
    , (30th International Workshop on Description Logics (DL2017),
    Montpellier, France,
    July 18-21, 2017)
  10. Loris, Bozzato; Luciano, Serafini; Gaetano, Calabrese,
    16th International Semantic Web Conference (ISWC 2017),
    Vienna, Austria,
    October 23 - 25, 2017,

Pages