Marianna Nicolosi Asmundo
Orcid: 0000-0003-4456-5110
According to our database1,
Marianna Nicolosi Asmundo
authored at least 53 papers
between 1997 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2023
ACM Journal on Computing and Cultural Heritage, September, 2023
The ontology for agents, systems and integration of services: OASIS version 2<sup>$</sup>.
Intelligenza Artificiale, 2023
CoRR, 2023
Proceedings of the 24th Workshop "From Objects to Agents", 2023
2022
Towards ontological interoperability of cognitive IoT agents based on natural language processing.
Intelligenza Artificiale, 2022
The ontology for agents, systems and integration of services: recent advancements of OASIS.
Proceedings of the 23rd Workshop "From Objects to Agents", 2022
EGITH - Engendering Data. Steps Towards an Ontology for the Representation of Gender in Cultural Heritage.
Proceedings of the 1st Workshop on Artificial Intelligence for Cultural Heritage, 2022
2021
Fundam. Informaticae, 2021
Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version).
CoRR, 2021
Appl. Ontology, 2021
SW-CASPAR: Reactive-Cognitive Architecture based on Natural Language Processing for the task of Decision-Making in the Open-World Assumption.
Proceedings of the 22nd Workshop "From Objects to Agents", 2021
Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services.
Proceedings of the Intelligent Distributed Computing XIV, 2021
Blockchains Through Ontologies: The Case Study of the Ethereum ERC721 Standard in oasis.
Proceedings of the Intelligent Distributed Computing XIV, 2021
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2021
2020
Fundam. Informaticae, 2020
Proceedings of the 35th Italian Conference on Computational Logic, 2020
2019
Proceedings of the 20th Workshop "From Objects to Agents", 2019
Proceedings of the 34th Italian Conference on Computational Logic, 2019
Proceedings of the First International Workshop on Open Data and Ontologies for Cultural Heritage co-located with the 31st International Conference on Advanced Information Systems Engineering, 2019
2018
CoRR, 2018
An optimized KE-tableau-based system for reasoning in the description logic \shdlssx.
CoRR, 2018
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version).
CoRR, 2018
Proceedings of the 3rd International Workshop on Sets and Tools co-located with the 6th International ABZ Conference, 2018
An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4, \!\times }$$.
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018
2017
Fundam. Informaticae, 2017
CoRR, 2017
Proceedings of the Rules and Reasoning - International Joint Conference, 2017
Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017
Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017
2016
CoRR, 2016
An OWL Framework for Rule-based Recognition of Places in Italian Non-structured Text.
Proceedings of the 2nd International Workshop on Knowledge Discovery on the WEB, 2016
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016
2015
The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations.
Proceedings of the 16th Italian Conference on Theoretical Computer Science, 2015
Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015
Proceedings of the 30th Italian Conference on Computational Logic, 2015
2014
Proceedings of the Hybrid Artificial Intelligence Systems - 9th International Conference, 2014
Proceedings of the 29th Italian Conference on Computational Logic, 2014
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation.
Proceedings of the 29th Italian Conference on Computational Logic, 2014
2013
On the Satisfiability Problem for a 4-level Quantified Syllogistic and Some Applications to Modal Logic.
Fundam. Informaticae, 2013
2012
RAIRO Theor. Informatics Appl., 2012
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic (extended version)
CoRR, 2012
Proceedings of the 9th Italian Convention on Computational Logic, 2012
2011
Dual tableau-based decision procedures for relational logics with restricted composition operator.
J. Appl. Non Class. Logics, 2011
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics.
Proceedings of the Computer Science Logic, 2011
2010
A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs.
Proceedings of the 25th Italian Conference on Computational Logic, 2010
Proceedings of the 25th Italian Conference on Computational Logic, 2010
2007
J. Autom. Reason., 2007
2006
J. Appl. Non Class. Logics, 2006
2003
Proceedings of the Abstract State Machines, 2003
1998
A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux.
Proceedings of the Automated Deduction in Classical and Non-Classical Logics, 1998
1997
Global Skolemization with Grouped Quantifiers.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997