Marianna Nicolosi-Asmundo

Available identifiers

zbMath Open nicolosi-asmundo.mariannaWikidataQ61956406 ScholiaQ61956406MaRDI QIDQ737086

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2915678	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marianna Nicolosi-Asmundo