Follow
Marianna Nicolosi Asmundo
Marianna Nicolosi Asmundo
Assistant Professor of Computer Science, Catania University
Verified email at aixia.it - Homepage
Title
Cited by
Cited by
Year
Ontoceramic: An OWL ontology for ceramics classification
D Cantone, M Nicolosi-Asmundo, SD Francesco, F Trapani
30th Italian Conference on Computational Logic, CILC 2015; Genova; Italy; 1 …, 2015
232015
Web ontology representation and reasoning via fragments of set theory
D Cantone, C Longo, M Nicolosi-Asmundo, DF Santamaria
Web Reasoning and Rule Systems: 9th International Conference, RR 2015 …, 2015
202015
A Further and Effective Liberalization of the δ-Rule in Free Variable Semantic Tableaux
D Cantone, MN Asmundo
International Workshop on First-Order Theorem Proving, 109-125, 1998
201998
Ontological smart contracts in OASIS: Ontology for agents, systems, and integration of services
D Cantone, CF Longo, M Nicolosi Asmundo, DF Santamaria, C Santoro
International Symposium on Intelligent and Distributed Computing, 237-247, 2021
192021
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic
D Cantone, M Nicolosi-Asmundo
26th Italian Conference on Computational Logic, CILC 2011; Pescara; Italy …, 2011
192011
Dual tableau-based decision procedures for relational logics with restricted composition operator
D Cantone, MN Asmundo, E Orlowska
Journal of Applied Non-Classical Logics 21 (2), 177-200, 2011
192011
Dual Tableau-based Decision Procedures for Some Relational Logics.
D Cantone, MN Asmundo, E Orlowska
CILC, 2010
192010
An efficient relational deductive system for propositional non-classical logics
A Formisano, M Nicolosi-Asmundo
Journal of Applied Non-Classical Logics 16 (3-4), 367-408, 2006
192006
Blockchains Through Ontologies: The Case Study of the Ethereum ERC721 Standard in oasis
G Bella, D Cantone, C Longo, M Nicolosi Asmundo, DF Santamaria
International Symposium on Intelligent and Distributed Computing, 249-259, 2021
172021
Towards an Ontology-Based Framework for a Behavior-Oriented Integration of the IoT.
D Cantone, CF Longo, MN Asmundo, DF Santamaria, C Santoro
WOA, 119-126, 2019
152019
A set-theoretic approach to ABox reasoning services
D Cantone, M Nicolosi-Asmundo, DF Santamaria
International Joint Conference on Rules and Reasoning, 87-102, 2017
132017
AN EPIDOC ONTOLOGICAL PERSPECTIVE: THE EPIGRAPHS OF THE CASTELLO URSINO CIVIC MUSEUM OF CATANIA VIA CIDOC CRM.
D Cantone, M NICOLOSI-ASMUNDO, DF Santamaria, S Cristofaro, ...
Archeologia e calcolatori, 2019
122019
A decidable quantified fragment of set theory involving ordered pairs with applications to description logics
D Cantone, C Longo, M Nicolosi Asmundo
Computer Science Logic (CSL'11)-25th International Workshop/20th Annual …, 2011
122011
Consistent integration for sequential abstract state machines
MN Asmundo, E Riccobene
Abstract State Machines 2003: Advances in Theory and Practice 10th …, 2003
122003
Distant reading through ontologies: The case study of Catania’s Benedictines monastery
C Cantale, D Cantone, M Nicolosi-Asmundo, D Santamaria
JLIS. it 8 (3), 203-219, 2017
112017
A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs.
D Cantone, C Longo, MN Asmundo
CILC, 2010
112010
A Sound Framework for δ-Rule Variants in Free-Variable Semantic Tableaux
D Cantone, M Nicolosi-Asmundo
Journal of Automated Reasoning 38, 31-56, 2007
112007
The ontology for agents, systems and integration of services: recent advancements of OASIS.
G Bella, D Cantone, MN Asmundo, DF Santamaria
WOA, 176-193, 2022
102022
Conjunctive Query Answering via a Fragment of Set Theory (Extended Version)
D Cantone, M Nicolosi-Asmundo, DF Santamaria
arXiv preprint arXiv:1606.07337, 2016
102016
A\textsf {C++} reasoner for the description logic $\shdlssx $(Extended Version)
D Cantone, M Nicolosi-Asmundo, DF Santamaria
arXiv preprint arXiv:1707.07545, 2017
82017
The system can't perform the operation now. Try again later.
Articles 1–20