Vai al contenuto principaleVai al menu di navigazione
Università di Catania  >  DISUM
Area riservata
Logo UniCt

Corso di laurea in

Scienze e lingue per la comunicazione

Cerca

Marianna NICOLOSI ASMUNDO

Associate Professor of Mathematical logic [MAT/01]
Contacts

Office: V.le A. Doria, 6 - Edificio 5 (DMI) - Primo Blocco, stanza 329
Email: nicolosi@dmi.unict.it
Phone: 095 7383076
Fax: 095 330094
Web Site: www.dmi.unict.it/~nicolosi/

VERSIONE ITALIANASTUDIUMAREA RISERVATA

Marianna Nicolosi-Asmundo is an associate professor of Mathematical Logic at the Department of Mathematics and Computer Science of the University of Catania since 2007. She received her PhD in Computer Science from the University of Catania in 2003. She is member of the board of the CINUM – Centro di Informatica Umanistica (Digital Humanities Center) (Department of Humanistic Sciences of the University of Catania). She teaches in corsi di Laurea di Matematica Triennale e Magistrale, di Informatica Magistrale, e di  Scienze del Testo per le Professioni Digitali  (Department of Humanistic Sciences of the University of Catania). Her main research interests and activity regard tableau based deduction systems, decision procedures in elementary set theory and non classical logic, interactive theorem proving, ontologies and reasoning services for the semantic web.

Selection of recent publications:

  •  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.

VIEW THE COURSES FROM THE A.Y. 2022/2023 TO THE PRESENT

Academic Year 2021/2022

Academic Year 2020/2021

Academic Year 2019/2020

Academic Year 2018/2019

Academic Year 2017/2018
  • DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
    Master's Degree in Computer Science - 2nd Year
    WEB REASONING E LABORATORIO

  • DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
    Bachelor's Degree in Mathematics - 3rd Year
    COMPUTER SCIENCE 2


Academic Year 2016/2017

Academic Year 2015/2016
  • DEPARTMENT OF BIOLOGICAL, GEOLOGICAL AND ENVIRONMENTAL SCIENCES
    Master's Degree in Science of environmental protection - 1st Year
    ABILITA' INFORMATICHE

  • DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
    Master's Degree in Computer Science - 2nd Year
    WEB REASONING

  • DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
    Master's Degree in Computer Science - 2nd Year
    WEB REASONING

Research activity and interests:

    • Deduction systems based on the formal proof system of semantic tableaux;

    • Decision procedures in elementary set theory, in agebra of relations, and in non-classical logics;

    • Interactive theorem proving;

    • Program verification methodologies;

    • Ontologies for several application domains such as human and social sciences, multiagent systems and blockchains. 

 

RSS AVVISI DEL DOCENTE