Marianna Nicolosi Asmundo

MaRDI QIDQ737086zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 }$$ Rules and Reasoning	2023-06-28	Paper
A set-theoretic approach to ABox reasoning services Rules and Reasoning	2022-07-01	Paper
An improved set-based reasoner for the description logic \(\mathcal{DL}_\mathrm{D}^{4,\times\dagger}\) Fundamenta Informaticae	2021-06-04	Paper
A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,× Fundamenta Informaticae	2021-05-20	Paper
Herbrand-satisfiability of a quantified set-theoretic fragment Fundamenta Informaticae	2017-11-10	Paper
Web ontology representation and reasoning via fragments of set theory (available as arXiv preprint)	2017-06-26	Paper
The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations (available as arXiv preprint)	2016-08-05	Paper
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic Fundamenta Informaticae	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 Journal of Applied Non-Classical Logics	2012-07-17	Paper
A graphical representation of relational formulae with complementation RAIRO. Theoretical Informatics and Applications	2012-06-04	Paper
A graphical representation of relational formulae with complementation RAIRO. Theoretical Informatics and Applications	2012-06-04	Paper
scientific article; zbMATH DE number 5898609 (Why is no real title available?)	2011-05-20	Paper
An efficient relational deductive system for propositional non-classical logics Journal of Applied Non-Classical Logics	2009-11-30	Paper
scientific article; zbMATH DE number 5635093 (Why is no real title available?)	2009-11-18	Paper
A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux Journal of Automated Reasoning	2007-05-04	Paper
scientific article; zbMATH DE number 1951199 (Why is no real title available?)	2003-07-21	Paper
scientific article; zbMATH DE number 1507185 (Why is no real title available?)	2000-09-14	Paper

Research outcomes over time

This page was built for person: Marianna Nicolosi Asmundo