( en | de | ru )

 

Disambiguation of "Asmundo, Marianna Nicolosi"

Author of the publication

copydeleteadd this publication to your clipboard
Blockchains Through Ontologies: The Case Study of the Ethereum ERC721 Standard in oasis.

, , , , and . IDC, volume 1026 of Studies in Computational Intelligence, page 249-259. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Riccardo Nicolosi

Leonardo Nicolosi

Marco Nicolosi

Marianna Hricová

Marianna Tsaroucha

 

Other publications of authors with the same name

An optimized KE-tableau-based system for reasoning in the description logic \shdlssx., , and . CoRR, (2018)A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics., , and . HAIS, volume 8480 of Lecture Notes in Computer Science, page 466-477. Springer, (2014)A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux., and . J. Autom. Reason., 38 (1-3): 31-56 (2007)A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics., , and . CSL, volume 12 of LIPIcs, page 129-143. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Herbrand-satisfiability of a Quantified Set-theoretic Fragment., , and . Fundam. Informaticae, 150 (1): 49-71 (2017)Towards an Ontology-Based Framework for a Behavior-Oriented Integration of the IoT., , , , and . WOA, volume 2404 of CEUR Workshop Proceedings, page 119-126. CEUR-WS.org, (2019)Global Skolemization with Grouped Quantifiers., , and . APPIA-GULP-PRODE, page 405-414. (1997)A graphical representation of relational formulae with complementation., , , and . RAIRO Theor. Informatics Appl., 46 (2): 261-289 (2012)A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version)., , and . CoRR, (2018)Conjunctive Query Answering via a Fragment of Set Theory (Extended Version)., , and . CoRR, (2016)