Marianna NICOLOSI ASMUNDO

Ricercatrice di LOGICA MATEMATICA [MAT/01]
Ufficio: V.le A. Doria, 6 - Edificio 5 (DMI) - Primo Blocco, stanza 329
Email: nicolosi@dmi.unict.it
Telefono: 095 7383076
Fax: 095 330094
Sito web: www.dmi.unict.it/nicolosi/
Orario di ricevimento: Venerdì dalle 10:00 alle 12:00



Marianna Nicolosi-Asmundo è ricercatrice a tempo indeterminato confermata 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 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 Matematica Triennale e Magistrale, 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: 

  • 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 2021/2022

10/03/2020
Web reasoning e Laboratorio - Lezione telematica del 10 marzo 2020

Si comunica che per motivi di salute la lezione telematica del 10 marzo 2020 è annullata. Ulteriori informazioni sulla lezione di giovedì 12 marzo verranno date al più presto. Gli studenti interessati a seguire il corso di Web Reasoning e Laboratorio possono far parte del team con il codice zso2z7h. 

Cordiali

LEGGI TUTTO

07/11/2019
Lezioni di Analisi Matematica 2

Si comunica  che le lezioni di Analisi Matematica 2 del prof. Emmanuele riprenderanno regolarmente lunedì 11 novembre 2019. Cordiali saluti, Marianna Nicolosi

07/11/2019
Lezione Informatica 2 del 7 novembre 2019

Si comunica che la lezione di oggi, 7 novembre 2019, ore 15-17 è spostata a domani, venerdì 8 novembre dalle ore 11 alle ore 13. Cordiali saluti, Marianna Nicolosi

03/05/2019
Corso Web Reasoning: Seminario Dott.ssa Spampinato CNR

Venerdì 17 maggio 2019 in aula 24, dalle ore 10.00  alle ore 13.00 nell'ambito dell'insegnamento "Web Reasoning e Laboratorio" inteverrà la dott.ssa Daria Spampinato, CNR - Istituto di Scienze e Tecnologie della Cognizione e membro dell'Associazione Italiana per l'Informatica Umanistica

LEGGI TUTTO

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