Fiorentini Camillo

RICERCATORE
SSD
INF/01 - INFORMATICA
Settore concorsuale
01/B1 - INFORMATICA

Contatti

Sede di lavoro

Via Celoria, 18

Numero di telefono dell'ufficio
02503 16269
E-mail di ateneo
Sito web
Ricevimento
Su appuntamento
Luogo di ricevimento
Via Comelico, 39 - Ufficio S.202
Ricerca

Pubblicazioni

Pubblicazioni
  • Efficient SAT-based Proof Search in Intuitionistic Propositional Logic / C. Fiorentini (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Automated Deduction – CADE 28 / [a cura di] A. Platzer, G. Sutcliffe. - Prima edizione. - [s.l] : Springer, 2021. - ISBN 9783030798758. - pp. 217-233 (( Intervento presentato al 28. convegno Conference on Automated Deduction tenutosi a Online nel 2021 [10.1007/978-3-030-79876-5_13].
  • A forward internal calculus for model generation in S4 / C. Fiorentini, M. Ferrari. - In: JOURNAL OF LOGIC AND COMPUTATION. - ISSN 0955-792X. - (2021). [Epub ahead of print]
  • Connections Between Answer Set Semantics and Information Terms Semantics in Constructive EL_bot (Extended Abstract) / L. Bozzato, C. Fiorentini (CEUR WORKSHOP PROCEEDINGS). - In: Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) / [a cura di] S. Borgwardt, T. Meyer. - [s.l] : CEUR Workshop Proceedings, 2020. - pp. 1-3 (( Intervento presentato al 33. convegno Description Logics 2020.
  • Reasoning on Information Term Semantics with ASP for Constructive ELꓕ / L. Bozzato, C. Fiorentini (CEUR WORKSHOP PROCEEDINGS). - In: CILC 2020 : Proceedings of CILC 2020 / [a cura di] F. Calimeri , S. Perri, E. Zumpano. - [s.l] : CEUR Workshop Proceedings, 2020. - pp. 141-156 (( Intervento presentato al 35. convegno Italian Conference on Computational Logic nel 2020.
  • Forward proof-search and Countermodel Construction in Intuitionistic Propositional Logic / C. Fiorentini, M. Ferrari (CEUR WORKSHOP PROCEEDINGS). - In: ICTCS 2020 : 21st Italian Conference on Theoretical Computer Science / [a cura di] G. Cordasco, L. Gargano , A. Rescigno. - Prima edizione. - [s.l] : CEUR Workshop Proceedings, 2020. - pp. 230-235 (( Intervento presentato al 21. convegno Italian Conference on Theoretical Computer Science tenutosi a Ischia nel 2020.