( 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

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)Herbrand-satisfiability of a Quantified Set-theoretic Fragment., , and . Fundam. Informaticae, 150 (1): 49-71 (2017)An optimized KE-tableau-based system for reasoning in the description logic \shdlssx., , and . CoRR, (2018)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)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)Conjunctive Query Answering via a Fragment of Set Theory (Extended Version)., , and . CoRR, (2016)On the satisfiability problem for a 3-level quantified syllogistic, and . CoRR, (2013)A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version)., , and . CoRR, (2018)