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,
    eKNOW 2020 - The Twelfth International Conference on Information, Process, and Knowledge Management,
    IARIA XPS Press,
    2020
    , pp. 82-
    83
    , (12th International Conference on Information, Process, and Knowledge Management (eKNOW 2020),
    Valencia, Spain,
    November 21-25, 2020)
  2. Bozzato, Loris; Bruscagin, Giulia; Calabrese, Gaetano; Serafini, Luciano; Furlanello, Cesare,
    eKNOW 2020 - The Twelfth International Conference on Information, Process, and Knowledge Management,
    IARIA XPS Press,
    2020
    , pp. 75-
    81
    , (12th International Conference on Information, Process, and Knowledge Management (eKNOW 2020),
    Valencia, Spain,
    November 21-25, 2020)
  3. 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
  4. 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)
  5. 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)
  6. Bozzato, Loris; Eiter, Thomas; Serafini, Luciano,
    Rules and Reasoning - Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings,
    Springer,
    vol.11784,
    2019
    , pp. 19-
    35
    , (3rd International Joint Conference on Rule and Reasoning (RuleML+RR 2019),
    Bolzano, Italy,
    September 16-19, 2019)
  7. Khan, Abdullah; Bozzato, Loris; Serafini, Luciano; Lazzerini, Beatrice,
    GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence,
    EasyChair,
    vol.65,
    2019
    , pp. 42-
    53
    , (5th Global Conference on Artificial Intelligence (GCAI 2019),
    Bolzano, Italy,
    September 17-19, 2019)
  8. Bozzato, Loris; Eiter, Thomas; Serafini, Luciano,
    Modeling and Using Context - 11th International and Interdisciplinary Conference, CONTEXT 2019, Trento, Italy, November 20-22, 2019, Proceedings,
    Springer,
    vol.11939,
    2019
    , pp. 26-
    39
    , (11th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2019),
    Trento, Italy,
    November 20-22, 2019)
  9. Loris, Bozzato; Thomas, Eiter; Luciano, Serafini,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 257,
    2018
    , pp. 72 -
    126
  10. Bozzato, Loris,
    in «FUNDAMENTA INFORMATICAE»,
    vol. 161,
    n. 1-2,
    2018
    , pp. 29 -
    51

Pages