Marianna Nicolosi Asmundo

Available identifiers

zbMath Open nicolosi-asmundo.mariannaDBLP13/3873WikidataQ61956406 ScholiaQ61956406MaRDI QIDQ737086

List of research outcomes

Publication	Date of Publication	Type
Dual tableau-based decision procedures for fragments of the logic of binary relations	2024-09-06	Paper
An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$	2023-06-28	Paper
A Set-Theoretic Approach to ABox Reasoning Services	2022-07-01	Paper
An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆	2021-06-04	Paper
A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,×	2021-05-20	Paper
Herbrand-satisfiability of a Quantified Set-theoretic Fragment*	2017-11-10	Paper
Web ontology representation and reasoning via fragments of set theory	2017-06-26	Paper
The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations	2016-08-05	Paper
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic	2013-07-30	Paper
A decidable quantified fragment of set theory involving ordered pairs with applications to description logics	2012-09-18	Paper
Dual tableau-based decision procedures for relational logics with restricted composition operator	2012-07-17	Paper
A graphical representation of relational formulae with complementation	2012-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q3002400	2011-05-20	Paper
An efficient relational deductive system for propositional non-classical logics	2009-11-30	Paper
https://portal.mardi4nfdi.de/entity/Q3645585	2009-11-18	Paper
A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux	2007-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q4413689	2003-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4503905	2000-09-14	Paper

Research outcomes over time

This page was built for person: Marianna Nicolosi Asmundo