You are here
Loris Bozzato
- E-mail:
- 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
-
Schuetz, Christoph; Bozzato, Loris; Neumayr, Bernd; Schrefl, Michael; Serafini, Luciano,in «SEMANTIC WEB»,to be published
-
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)
-
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)
-
Bozzato, Loris; Serafini, Luciano; Eiter, Thomas,ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020),IOS Press,vol.325,2020, pp. 2889-2890, (24th European Conference on Artificial Intelligence (ECAI 2020),Santiago de Compostela, Spain,29 August - 8 September 2020)
-
Bozzato, Loris; Fiorentini, Camillo,Proceedings of the 33rd International Workshop on Description Logics (DL 2020),CEUR-WS.org,vol.2663,2020, (DL2020 - 33rd International Workshop on Description Logics,Online Event [Rhodes, Greece],September 12-14, 2020)
-
Bozzato, Loris; Fiorentini, Camillo,Proceedings of the 35th Italian Conference on Computational Logic (CILC 2020),CEUR-WS.org,vol.2710,2020, pp. 141-156, (CILC 2020 - 35th Italian Conference on Computational Logic,Online Event [Rende, Italy],October 13-15, 2020)
-
Bozzato, Loris; Schuetz, Christoph G.,Proceedings of the 35th Italian Conference on Computational Logic (CILC 2020),CEUR-WS.org,vol.2710,2020, pp. 82-90, (CILC 2020 - 35th Italian Conference on Computational Logic,Online Event [Rende, Italy],October 13-15, 2020)
-
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
-
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)
-
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)