Loris Bozzato

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.

1. Bozzato, Loris,
   Extending ASP Based Reasoning to Expressive Constructive Description Logics,
   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,
   Semantic Visual Query Answering on Heterogeneous Territorial Data,
   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,
   Reasoning with Justifiable Exceptions in EL_bot Contextualized Knowledge Repositories,
   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,
   Event Detection from Video Using Answer Set Programing,
   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,
   A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility,
   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,
   Reasoning on DL-Lite_R with Defeasibility in ASP,
   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,
   Visual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming,
   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,
   Justifiable Exceptions in General Contextual Hierarchies,
   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,
   Enhancing context knowledge repositories with justifiable exceptions,
   in «ARTIFICIAL INTELLIGENCE»,
   vol. 257,
   2018
   , pp. 72 -
   126
10. Bozzato, Loris,
    ASP Based Generation of Information Terms for Constructive EL,
    in «FUNDAMENTA INFORMATICAE»,
    vol. 161,
    n. 1-2,
    2018
    , pp. 29 -
    51

Pages