default search action
Marianna Nicolosi Asmundo
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j14]Giampaolo Bella, Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
Towards a semantic blockchain: A behaviouristic approach to modelling Ethereum. Appl. Ontology 19(2): 143-180 (2024) - [j13]Giampaolo Bella, Domenico Cantone, Gianpietro Castiglione, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
A behaviouristic semantic approach to blockchain-based e-commerce. Semantic Web 15(5): 1863-1914 (2024) - [c33]Domenico Cantone, Vincenzo Nicolò Di Caro, Cristiano Longo, Salvatore Menza, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
An OWL Ontology for Linguistic Phenomena with Applications to Gallo-Italic Dialects in Sicily. SWODCH 2024 - [e4]Antonis Bikakis, Roberta Ferrario, Stéphane Jean, Béatrice Markhoff, Alessandro Mosca, Marianna Nicolosi Asmundo:
Proceedings of the fourth edition of the International Workshop on Semantic Web and Ontology Design for Cultural Heritage, Tours, France, October 30-31, 2024. CEUR Workshop Proceedings 3809, CEUR-WS.org 2024 [contents] - 2023
- [j12]Giampaolo Bella, Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
The ontology for agents, systems and integration of services: OASIS version 2$. Intelligenza Artificiale 17(1): 51-62 (2023) - [j11]Antonis Bikakis
, Roberta Ferrario
Editorial: Special Issue on Semantic Web and Ontology Design for Cultural Heritage. ACM Journal on Computing and Cultural Heritage 16(3): 54:1-54:5 (2023) - [c32]Simone De Martino, Marianna Nicolosi Asmundo, Stefano Angelo Rizzo, Daniele Francesco Santamaria:
Modeling the Video Game Environment: the VideOWL Ontology. WOA 2023: 191-205 - [e3]Antonis Bikakis, Roberta Ferrario, Stéphane Jean, Béatrice Markhoff, Alessandro Mosca, Marianna Nicolosi Asmundo:
Proceedings of the International Workshop on Semantic Web and Ontology Design for Cultural Heritage co-located with the International Semantic Web Conference 2023 (ISWC 2023), Athens, Greece, November 7, 2023. CEUR Workshop Proceedings 3540, CEUR-WS.org 2023 [contents] - [i14]Giampaolo Bella, Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
The Ontology for Agents, Systems and Integration of Services: OASIS version 2. CoRR abs/2306.10061 (2023) - 2022
- [j10]Carmelo Fabio Longo
Towards ontological interoperability of cognitive IoT agents based on natural language processing. Intelligenza Artificiale 16(1): 93-112 (2022) - [c31]Selenia Anastasi, Andrea De Domenico, Marianna Nicolosi Asmundo:
EGITH - Engendering Data. Steps Towards an Ontology for the Representation of Gender in Cultural Heritage. AI4CH@AI*IA 2022: 13-25 - [c30]Giampaolo Bella, Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
The ontology for agents, systems and integration of services: recent advancements of OASIS. WOA 2022: 176-193 - 2021
- [j9]Claudia Cantale, Domenico Cantone, Manuela Lupica Rinato, Marianna Nicolosi Asmundo
The ideal Benedictine Monastery: From the Saint Gall map to ontologies. Appl. Ontology 16(2): 137-160 (2021) - [j8]Domenico Cantone, Marianna Nicolosi Asmundo
An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4, ×. Fundam. Informaticae 178(4): 315-346 (2021) - [c29]Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
Semantic Representation as a Key Enabler for Blockchain-Based Commerce. GECON 2021: 191-198 - [c28]Domenico Cantone, Carmelo Fabio Longo
Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services. IDC 2021: 237-247 - [c27]Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
Blockchains Through Ontologies: The Case Study of the Ethereum ERC721 Standard in oasis. IDC 2021: 249-259 - [c26]Carmelo Fabio Longo, Corrado Santoro, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Domenico Cantone:
SW-CASPAR: Reactive-Cognitive Architecture based on Natural Language Processing for the task of Decision-Making in the Open-World Assumption. WOA 2021: 178-193 - [e2]Antonis Bikakis, Roberta Ferrario, Stéphane Jean, Béatrice Markhoff, Alessandro Mosca, Marianna Nicolosi Asmundo:
Proceedings of the International Joint Workshop on Semantic Web and Ontology Design for Cultural Heritage co-located with the Bolzano Summer of Knowledge 2021 (BOSK 2021), Virtual Event / Bozen-Bolzano, Italy, September 20-21, 2021. CEUR Workshop Proceedings 2949, CEUR-WS.org 2021 [contents] - [i13]Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version). CoRR abs/2109.02899 (2021) - 2020
- [j7]Domenico Cantone, Marianna Nicolosi Asmundo
A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟ℒD4, ×. Fundam. Informaticae 176(3-4): 349-384 (2020) - [c25]Andrea De Domenico, Domenico Cantone, Marianna Nicolosi Asmundo:
An Ontology for the Iconographic Sources of La Divina Commedia. CILC 2020: 157-168 - [i12]Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Corrado Santoro:
Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services. CoRR abs/2012.01410 (2020)
2010 – 2019
- 2019
- [c24]Roldolfo Brancato, Marianna Nicolosi Asmundo, Grazia Pagano, Daniele Francesco Santamaria, Salvatore Ucchino:
Towards an ontology for investigating on archaeological Sicilian landscapes. ODOCH@CAiSE 2019: 85-90 - [c23]Roldolfo Brancato, Marianna Nicolosi Asmundo, Grazia Pagano, Daniele Francesco Santamaria, Salvatore Ucchino:
An Ontology for Legacy Data on Ancient Ceramics of the Plain of Catania. CILC 2019: 59-67 - [c22]Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Corrado Santoro:
Towards an Ontology-Based Framework for a Behavior-Oriented Integration of the IoT. WOA 2019: 119-126 - 2018
- [c21]Domenico Cantone, Marianna Nicolosi Asmundo
An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4, \!\times }$$. RuleML+RR 2018: 239-247 - [c20]Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
A Set-Based Reasoner for the Description Logic DL4, xD. SETS@ABZ 2018: 52-66 - [i11]Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska:
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version). CoRR abs/1802.07508 (2018) - [i10]Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
An optimized KE-tableau-based system for reasoning in the description logic \shdlssx. CoRR abs/1804.11222 (2018) - [i9]Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
A set-based reasoner for the description logic \shdlssx (Extended Version). CoRR abs/1805.08606 (2018) - 2017
- [j6]Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
Herbrand-satisfiability of a Quantified Set-theoretic Fragment. Fundam. Informaticae 150(1): 49-71 (2017) - [c19]Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
A C++ Reasoner for the Description Logic DL-4X(D). ICTCS/CILC 2017: 276-280 - [c18]Claudia Cantale, Domenico Cantone, Manuela Lupica Rinato, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
The Shape of a Benedictine Monastery: The SaintGall Ontology. JOWO 2017 - [c17]Domenico Cantone, Marianna Nicolosi Asmundo
A Set-Theoretic Approach to ABox Reasoning Services. RuleML+RR 2017: 87-102 - [i8]Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
A set-theoretical approach for ABox reasoning services (Extended Version). CoRR abs/1702.03096 (2017) - [i7]Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
A \textsf{C++} reasoner for the description logic $\shdlssx$. CoRR abs/1707.07545 (2017) - [i6]Claudia Cantale, Domenico Cantone, Manuela Lupica Rinato, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
The Shape of a Benedictine Monastery: The SaintGall Ontology. CoRR abs/1709.02618 (2017) - 2016
- [c16]Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
Conjunctive Query Answering via a Fragment of Set Theory. ICTCS 2016: 23-35 - [c15]Domenico Cantone, Andrea Fornaia, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Emiliano Tramontana:
An OWL Framework for Rule-based Recognition of Places in Italian Non-structured Text. KDWeb 2016 - [i5]Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
Conjunctive Query Answering via a Fragment of Set Theory (Extended Version). CoRR abs/1606.07337 (2016) - 2015
- [c14]Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Francesca Trapani:
Ontoceramic: an OWL ontology for ceramics classification. CILC 2015: 122-127 - [c13]Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
Web Ontology Representation and Reasoning via Fragments of Set Theory. RR 2015: 61-76 - [c12]Domenico Cantone, Marianna Nicolosi Asmundo
The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations. ICTCS 2015: 69-86 - [i4]Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
Web ontology representation and reasoning via fragments of set theory. CoRR abs/1505.02075 (2015) - [i3]Domenico Cantone, Marianna Nicolosi Asmundo:
The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations. CoRR abs/1506.01476 (2015) - 2014
- [c11]Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo:
Herbrand-Satisfiability of a Quantified Set-theoretical Fragment. CILC 2014: 162-177 - [c10]Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska:
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation. CILC 2014: 194-209 - [c9]Domenico Cantone
A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics. HAIS 2014: 466-477 - 2013
- [j5]Domenico Cantone
On the Satisfiability Problem for a 4-level Quantified Syllogistic and Some Applications to Modal Logic. Fundam. Informaticae 124(4): 427-448 (2013) - [e1]Domenico Cantone, Marianna Nicolosi Asmundo:
Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013. CEUR Workshop Proceedings 1068, CEUR-WS.org 2013 [contents] - [i2]Domenico Cantone, Marianna Nicolosi Asmundo:
On the satisfiability problem for a 3-level quantified syllogistic. CoRR abs/1304.2412 (2013) - 2012
- [j4]Domenico Cantone
A graphical representation of relational formulae with complementation. RAIRO Theor. Informatics Appl. 46(2): 261-289 (2012) - [c8]Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo:
On the Elimination of Quantifiers through Descriptors in Predicate Logic. CILC 2012: 17-31 - [i1]Domenico Cantone, Marianna Nicolosi Asmundo:
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic (extended version). CoRR abs/1209.1943 (2012) - 2011
- [j3]Domenico Cantone
Dual tableau-based decision procedures for relational logics with restricted composition operator. J. Appl. Non Class. Logics 21(2): 177-200 (2011) - [c7]Domenico Cantone, Marianna Nicolosi Asmundo:
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic. CILC 2011: 73-97 - [c6]Domenico Cantone
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics. CSL 2011: 129-143 - 2010
- [c5]Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska:
Dual Tableau-based Decision Procedures for Some Relational Logics. CILC 2010 - [c4]Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo:
A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs. CILC 2010
2000 – 2009
- 2007
- [j2]Domenico Cantone
A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux. J. Autom. Reason. 38(1-3): 31-56 (2007) - 2006
- [j1]Andrea Formisano
An efficient relational deductive system for propositional non-classical logics. J. Appl. Non Class. Logics 16(3-4): 367-408 (2006) - 2003
- [c3]Marianna Nicolosi Asmundo, Elvinia Riccobene:
Consistent Integration for Sequential Abstract State Machines. Abstract State Machines 2003: 324-340
1990 – 1999
- 1998
- [c2]Domenico Cantone, Marianna Nicolosi Asmundo:
A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux. FTP (LNCS Selection) 1998: 109-125 - 1997
- [c1]Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo:
Global Skolemization with Grouped Quantifiers. APPIA-GULP-PRODE 1997: 405-414
Coauthor Index
[j14] [j13] [c33] [j12] [i14] [j10] [c30] [j9] [j8] [c29] [c28] [c27] [c26] [i13] [j7] [c25] [i12] [c22] [c21] [c20] [i11] [i10] [i9] [j6] [c19] [c18] [c17] [i8] [i7] [i6] [c16] [c15] [i5] [c14] [c13] [c12] [i4] [i3] [c11] [c10] [c9] [j5] [e1] [i2] [j4] [c8] [i1] [j3] [c7] [c6] [c5] [c4] [j2] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 22:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: