Marianna Nicolosi Asmundo

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 37

Top Topics

Top Venues

Fundam. Informaticae

Publications

Giampaolo Bella, Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
Towards a semantic blockchain: A behaviouristic approach to modelling Ethereum. Appl. Ontology 19 (2) (2024)
Simone De Martino, Marianna Nicolosi Asmundo, Stefano Angelo Rizzo, Daniele Francesco Santamaria
Modeling the Video Game Environment: the VideOWL Ontology. WOA (2023)
Giampaolo Bella, Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
. Intelligenza Artificiale 17 (1) (2023)
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 (2023)
Antonis Bikakis, Roberta Ferrario, Stéphane Jean, Béatrice Markhoff, Alessandro Mosca, Marianna Nicolosi Asmundo
Editorial: Special Issue on Semantic Web and Ontology Design for Cultural Heritage. ACM Journal on Computing and Cultural Heritage 16 (3) (2023)
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)
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)
Carmelo Fabio Longo, Corrado Santoro, Marianna Nicolosi Asmundo, Domenico Cantone, Daniele Francesco Santamaria
Towards ontological interoperability of cognitive IoT agents based on natural language processing. Intelligenza Artificiale 16 (1) (2022)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4, ×. Fundam. Informaticae 178 (4) (2021)
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 (2021)
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)
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. IDC (2021)
Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
Semantic Representation as a Key Enabler for Blockchain-Based Commerce. GECON (2021)
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)
Claudia Cantale, Domenico Cantone, Manuela Lupica Rinato, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Maria Rosaria Stufano Melone
The ideal Benedictine Monastery: From the Saint Gall map to ontologies. Appl. Ontology 16 (2) (2021)
Andrea De Domenico, Domenico Cantone, Marianna Nicolosi Asmundo
An Ontology for the Iconographic Sources of La Divina Commedia. CILC (2020)
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 (2020)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟ℒD4, ×. Fundam. Informaticae 176 (3-4) (2020)
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)
Roldolfo Brancato, Marianna Nicolosi Asmundo, Grazia Pagano, Daniele Francesco Santamaria, Salvatore Ucchino
Towards an ontology for investigating on archaeological Sicilian landscapes. ODOCH@CAiSE (2019)
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)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
. SETS@ABZ (2018)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
A set-based reasoner for the description logic \shdlssx (Extended Version). CoRR (2018)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
An optimized KE-tableau-based system for reasoning in the description logic \shdlssx. CoRR (2018)
Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version). CoRR (2018)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4, \!\times }$$. RuleML+RR (2018)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
A \textsf{C++} reasoner for the description logic $\shdlssx$. CoRR (2017)
Claudia Cantale, Domenico Cantone, Manuela Lupica Rinato, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
The Shape of a Benedictine Monastery: The SaintGall Ontology. JOWO (2017)
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
Herbrand-satisfiability of a Quantified Set-theoretic Fragment. Fundam. Informaticae 150 (1) (2017)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
A C++ Reasoner for the Description Logic DL-4X(D). ICTCS/CILC (2017)
Claudia Cantale, Domenico Cantone, Manuela Lupica Rinato, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
The Shape of a Benedictine Monastery: The SaintGall Ontology. CoRR (2017)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
A set-theoretical approach for ABox reasoning services (Extended Version). CoRR (2017)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
A Set-Theoretic Approach to ABox Reasoning Services. RuleML+RR (2017)
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)
Domenico Cantone, Marianna Nicolosi Asmundo
The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations. Electron. Notes Theor. Comput. Sci. 322 (2016)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
Conjunctive Query Answering via a Fragment of Set Theory. ICTCS (2016)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
Conjunctive Query Answering via a Fragment of Set Theory (Extended Version). CoRR (2016)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Francesca Trapani
Ontoceramic: an OWL ontology for ceramics classification. CILC (2015)
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
Web ontology representation and reasoning via fragments of set theory. CoRR (2015)
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
Web Ontology Representation and Reasoning via Fragments of Set Theory. RR (2015)
Domenico Cantone, Marianna Nicolosi Asmundo
The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations. CoRR (2015)
Domenico Cantone, Joanna Golinska-Pilarek, Marianna Nicolosi Asmundo
A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics. HAIS (2014)
Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation. CILC (2014)
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
Herbrand-Satisfiability of a Quantified Set-theoretical Fragment. CILC (2014)
Domenico Cantone, Marianna Nicolosi Asmundo
On the satisfiability problem for a 3-level quantified syllogistic CoRR (2013)
Domenico Cantone, Marianna Nicolosi Asmundo
On the Satisfiability Problem for a 4-level Quantified Syllogistic and Some Applications to Modal Logic. Fundam. Informaticae 124 (4) (2013)
Domenico Cantone, Marianna Nicolosi Asmundo
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic (extended version) CoRR (2012)
Domenico Cantone, Andrea Formisano, Marianna Nicolosi Asmundo, Eugenio Giovanni Omodeo
A graphical representation of relational formulae with complementation. RAIRO Theor. Informatics Appl. 46 (2) (2012)
Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo
On the Elimination of Quantifiers through Descriptors in Predicate Logic. CILC (2012)
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics. CSL (2011)
Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska
Dual tableau-based decision procedures for relational logics with restricted composition operator. J. Appl. Non Class. Logics 21 (2) (2011)
Domenico Cantone, Marianna Nicolosi Asmundo
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic. CILC (2011)
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)
Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska
Dual Tableau-based Decision Procedures for Some Relational Logics. CILC (2010)
Domenico Cantone, Marianna Nicolosi Asmundo
A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux. J. Autom. Reason. 38 (1-3) (2007)
Andrea Formisano, Marianna Nicolosi Asmundo
An efficient relational deductive system for propositional non-classical logics. J. Appl. Non Class. Logics 16 (3-4) (2006)
Marianna Nicolosi Asmundo, Elvinia Riccobene
Consistent Integration for Sequential Abstract State Machines. Abstract State Machines (2003)
Domenico Cantone, Marianna Nicolosi Asmundo
A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux. FTP (LNCS Selection) (1998)
Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo
Global Skolemization with Grouped Quantifiers. APPIA-GULP-PRODE (1997)