Marianna NICOLOSI ASMUNDO

Ricercatrice di INFORMATICA [INF/01]
Ufficio: V.le A. Doria, 6 - Edificio 5 (DMI) - Primo Blocco, stanza 329
Email: nicolosi@dmi.unict.it
Telefono: 0957383076
Fax: 095 330094
Sito web: www.dmi.unict.it/~nicolosi/


Marianna Nicolosi-Asmundo è ricercatrice a tempo indeterminato confermata S.S.D. INF/01 presso il Dipartimento di Matematica e Informatica (DMI) dell'Università di Catania dal 2007. Ha ricevuto il titolo di Dottore di Ricerca dall'Università di Catania nel 2003. E' membro del Consiglio Direttivo del GULP – Gruppo Ricercatori e Utenti Logic Programming e membro proponente del CINUM - Centro Interdipartimentale di Informatica Umanistica. Insegna nei corsi di Laurea di Informatica Magistrale, di Matematica Triennale e di  Scienze e lingue per la comunicazione (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: 

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

Anno accademico  


Insegnamenti tenuti presso altri dipartimenti nell'anno accademico 2018/2019

  • DIPARTIMENTO DI SCIENZE UMANISTICHE
    Corso di laurea in Scienze e lingue per la comunicazione - 1 anno
    INFORMATICA
12/03/2018
Inizio lezioni Web Reasoning e Laboratorio

Si comunica che per motivi di salute sono costretta a posticipare l'inizio delle
lezioni di Web Reasoning e Laboratorio a martedì 20 marzo. 

Cordiali saluti,
Marianna Nicolosi