Marianna NICOLOSI ASMUNDO

Professoressa associata di LOGICA MATEMATICA [MAT/01]

Marianna Nicolosi-Asmundo è professore associato S.S.D. Logica Matematica MAT/01 presso il Dipartimento di Matematica e Informatica (DMI) dell'Università di Catania. Ha ricevuto il titolo di Dottore di Ricerca dall'Università di Catania nel 2003. E' membro proponente del CINUM - Centro Interdipartimentale di Informatica Umanistica. Insegna nei corsi di Laurea di Matematica Triennale e Magistrale, di Informatica Magistrale, e di  Scienze del Testo per le Professioni Digitali (Dipartimento di Scienze Umanistiche). Svolge attività di ricerca nell'ambito della deduzione automatica (sistemi deduttivi basati sui tableaux, procedure di decisione in teoria elementare degli insiemi e logiche non classiche, theorem proving interattivo), basi di conoscenza, ontologie e servizi di ragionamento per il semantic web. 

Selezione di pubblicazioni recenti:

  •  Longo C.F., Santoro C., Nicolosi Asmundo M., Cantone D., Santamaria D.F. Towards ontological interoperability of cognitive IoT agents based on natural language processing. In R. Calgary, G. Ciatto, A. Omicini and G. Vizzari, INTELLIGENZA ARTIFICIALE Vol. 16, Issue 1, Special Issue for the 22nd Workshop from Objects to Agents (WOA 2021), 1 Jan. 2022, pp. 178-193.
  • Cantale C., Cantone D., Lupica Rinato M., Nicolosi Asmundo M., Santamaria D.F., Stufano Melone M R. The ideal Benedictine Monastery: From the Saint Gall map to ontologies. APPLIED ONTOLOGY, Vol. 16, Issue 2, pp. 137-160 (2021).
  • Cantone D., Nicolosi Asmundo M., Santamaria D.F. An Improved Set-based Reasoner for the Description Logic DL^4x_D. FUNDAMENTA INFORMATICAE 178, no. 4, pp. 315-346 (2021).
  • Cantone D., Nicolosi Asmundo M., Santamaria D.F. A Set-theoretic Approach to Reasoning Services for the Description Logic DL^4x_D. FUNDAMENTA INFORMATICAE176. no. 3-4, pp. 349-384 (2020).
  • Brancato R., Nicolosi Asmundo M., Pagano G., Santamaria D.F., Ucchino S. Towards an ontology for investigating on archaeological Sicilian landscapes. In Carlo Meghini, Antonella Poggi (eds.), proceedings for the First International Workshop on Open Data and Ontologies for Cultural Heritage, ODOCH 2019, Rome, Italy, 3 June 2019. CEUR Workshop Proceedings, ISSN 1613-0073, Vol. 2375, pp. 85-90.       
  • Cantone D., Nicolosi Asmundo, M., Santamaria D.F. An Optimized KE-Tableau-Based System for Reasoning in the Description Logic DL^4x_D. In proceedings of Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18-21, 2018, pp. 239-247, LECTURE NOTES IN COMPUTER SCIENCE 11092, Springer.
  • Cantale C., Cantone, D., Nicolosi Asmundo M., Santamaria, D.F. (2017). Distant reading through ontologies: The case study of Catania's benedictines monastery. ITALIAN JOURNAL OF LIBRARY AND INFORMATION SCIENCE, vol. 8, pp. 205-219, ISSN: 2038-5366, doi: 10.4403/jlis.it-12342.

  • Cantone D., Longo C., Nicolosi Asmundo M. (2017). Herbrand-satisfiability of a Quantified Set-theoretic Fragment. FUNDAMENTA INFORMATICAE, vol. 150, pp. 49-71, ISSN: 0169-2968, doi: 10.3233/FI-2017-1460. 

  • Cantone D., Nicolosi Asmundo M., Santamaria D.F. (2017). A set-theoretic approach to ABox reasoning services. In: Rules and Reasoning. International Joint Conference, RuleML+RR 2017, London, UK, July 12--15, 2017. Proceedings. LECTURE NOTES IN COMPUTER SCIENCE, vol. 10364, p. 87-102, Springer, ISBN:978-3-319-61251-5, ISSN: 0302-9743, London, UK, doi:10.1007/978-3-319-61252-2 7.

  • Cantone D., Nicolosi Asmundo M. (2016). The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations.. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 322, p. 69-86, ISSN: 1571-0661, doi:10.1016/j.entcs.2016.03.006. 

  • Cantone D., Longo C., Nicolosi Asmundo M., Santamaria D.F. (2015). Web Ontology Representation and Reasoning via Fragments of Set Theory. In: Web Ontology Representation and Reasoning via Fragments of Set Theory. LECTURE NOTES IN COMPUTER SCIENCE vol. 9209, pp. 61-76, Cham: Springer International Publishing AG, ISBN: 978-3-319-22001-7, Berlin, Germany, August 4-5, 2015, doi: 10.1007/978-3-319-22002-4_6.

  • Cantone D., Golinska-Pilarek J., Nicolosi Asmundo M.. (2014). A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics. In: Proc. of 9th International Conference on Hybrid Artificial Intelligence Systems, Salamanca, Spain, June 11-13, 2014. LECTURE NOTES IN COMPUTER SCIENCE vol. 8480, pp. 466-477, Berlin:Springer, ISBN: 978-3-319-07617-1, Salamanca, Spain, June 11-13, 2014.

  • Cantone D., Nicolosi Asmundo M. (2013). On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic. FUNDAMENTA INFORMATICAE, vol. 124, pp. 427-448, ISSN: 0169-2968, doi: 10.3233/FI-2013-842.

  • Cantone D., Formisano A., Nicolosi Asmundo M., Omodeo E. (2012). A graphical representation of relational formulae with complementation. RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS, vol. 46, pp. 261-289, ISSN: 0988-3754, doi: 10.1051/ita/2012003.

  • Cantone D., Nicolosi Asmundo M., Orłowska E. (2011). Dual tableau-based decision procedures for relational logics with restricted composition operator. JOURNAL OF APPLIED NON-CLASSICAL LOGICS, vol. 21, pp. 177-200, ISSN: 1166-3081, doi: 10.3166/jancl.21.177-200.

VISUALIZZA GLI INSEGNAMENTI DALL'A.A. 2022/2023 AD OGGI

Anno accademico 2021/2022


Anno accademico 2020/2021


Anno accademico 2019/2020


Anno accademico 2018/2019


Anno accademico 2017/2018
  • DIPARTIMENTO DI MATEMATICA E INFORMATICA
    Corso di laurea magistrale in Informatica - 2° anno
    WEB REASONING E LABORATORIO

  • DIPARTIMENTO DI MATEMATICA E INFORMATICA
    Corso di laurea in Matematica - 3° anno
    INFORMATICA II



Anno accademico 2016/2017


Anno accademico 2015/2016
  • DIPARTIMENTO DI MATEMATICA E INFORMATICA
    Corso di laurea magistrale in Informatica - 2° anno
    WEB REASONING

  • DIPARTIMENTO DI MATEMATICA E INFORMATICA
    Corso di laurea magistrale in Informatica - 2° anno
    WEB REASONING

  • DIPARTIMENTO DI SCIENZE BIOLOGICHE, GEOLOGICHE E AMBIENTALI
    Corso di laurea magistrale in Scienze per la tutela dell'ambiente - 1° anno
    ABILITA' INFORMATICHE

Attività e interessi di ricerca:

  • Sistemi di deduzione basati sul sul sistema di dimostrazione formale dei tableau semantici;
  • Procedure di decisione in teoria elementare degli insiemi, in algebra delle relazioni e in logiche non classiche;
  • Dimostrazione interattiva di teoremi;
  • Metodologie per la verifica del programma;
  • Ontologie per vari domini di applicazione quali le scienze umane e sociali, sistemi multiagenti e blockchain.