( en | de | ru )

 

Disambiguation of "Asmundo, Marianna Nicolosi"

Author of the publication

copydeleteadd this publication to your clipboard
Web Ontology Representation and Reasoning via Fragments of Set Theory.

, , , and . RR, volume 9209 of Lecture Notes in Computer Science, page 61-76. Springer, (2015)

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 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)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)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 Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version)., , and . CoRR, (2018)A set-theoretical approach for ABox reasoning services (Extended Version)., , and . CoRR, (2017)On the satisfiability problem for a 3-level quantified syllogistic, and . CoRR, (2013)