Marianna NICOLOSI ASMUNDO
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.
Academic Year 2021/2022
- DEPARTMENT OF HUMANITIES
Master's Degree in Textual studies for digital professions - 2nd Year
BASI DI DATI, ONTOLOGIE E WEB SEMANTICO - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science - 2nd Year
WEB REASONING E LABORATORIO - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Mathematics - 1st Year
LOGICA MATEMATICA - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Mathematics - 2nd Year
COMPUTER SCIENCE 2
Academic Year 2020/2021
- DEPARTMENT OF HUMANITIES
Master's Degree in Textual studies for digital professions - 2nd Year
BASI DI DATI, ONTOLOGIE E WEB SEMANTICO - 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 - 2nd Year
COMPUTER SCIENCE 2
Academic Year 2019/2020
- DEPARTMENT OF HUMANITIES
Bachelor's Degree in Sciences and languages for communication - 1st Year
COMPUTER SCIENCE - 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 - 2nd Year
COMPUTER SCIENCE 2
Academic Year 2018/2019
- DEPARTMENT OF HUMANITIES
Bachelor's Degree in Sciences and languages for communication - 1st Year
COMPUTER SCIENCE - 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 - 2nd Year
COMPUTER SCIENCE 2
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
- DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science - 2nd Year
WEB REASONING E LABORATORIO
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.
-