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. 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)
  5. 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)
  6. 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)
  7. Loris, Bozzato; Thomas, Eiter; Luciano, Serafini,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 257,
    2018
    , pp. 72 -
    126
  8. Bozzato, Loris,
    in «FUNDAMENTA INFORMATICAE»,
    vol. 161,
    n. 1-2,
    2018
    , pp. 29 -
    51
  9. 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)
  10. 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)

Pages