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; 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
2. 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)
3. 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)
4. 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)
5. 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)
6. 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)
7. Loris, Bozzato; Thomas, Eiter; Luciano, Serafini,
   Enhancing context knowledge repositories with justifiable exceptions,
   in «ARTIFICIAL INTELLIGENCE»,
   vol. 257,
   2018
   , pp. 72 -
   126
8. Bozzato, Loris,
   ASP Based Generation of Information Terms for Constructive EL,
   in «FUNDAMENTA INFORMATICAE»,
   vol. 161,
   n. 1-2,
   2018
   , pp. 29 -
   51
9. Bozzato, Loris; Serafini, Luciano; Eiter, Thomas,
   Reasoning with Justifiable Exceptions in Contextual Hierarchies,
   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,
    Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract),
    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