( en | de | ru )

 

Disambiguation of "Asmundo, Marianna Nicolosi"

Author of the publication

copydeleteadd this publication to your clipboard
A Set-Theoretic Approach to ABox Reasoning Services.

, , and . RuleML+RR, volume 10364 of Lecture Notes in Computer Science, page 87-102. Springer, (2017)

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 Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux., and . J. Autom. Reason., 38 (1-3): 31-56 (2007)Herbrand-satisfiability of a Quantified Set-theoretic Fragment., , and . Fundam. Informaticae, 150 (1): 49-71 (2017)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)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)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)A graphical representation of relational formulae with complementation., , , and . RAIRO Theor. Informatics Appl., 46 (2): 261-289 (2012)Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services., , , , and . CoRR, (2020)Conjunctive Query Answering via a Fragment of Set Theory (Extended Version)., , and . CoRR, (2016)A set-theoretical approach for ABox reasoning services (Extended Version)., , and . CoRR, (2017)