Marianna Nicolosi Asmundo
Marianna Nicolosi Asmundo
Assistant Professor of Computer Science, Catania University
Verified email at aixia.it - Homepage
Title
Cited by
Cited by
Year
A Further and Effective Liberalization of the δ-Rule in Free Variable Semantic Tableaux
D Cantone, MN Asmundo
International Workshop on First-Order Theorem Proving, 109-125, 1998
181998
Ontoceramic: An OWL ontology for ceramics classification
D Cantone, M Nicolosi-Asmundo, SD Francesco, F Trapani
30th Italian Conference on Computational Logic, CILC 2015; Genova; Italy; 1 …, 2015
172015
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic
D Cantone, M Nicolosi-Asmundo
26th Italian Conference on Computational Logic, CILC 2011; Pescara; Italy …, 2011
172011
Dual tableau-based decision procedures for relational logics with restricted composition operator
D Cantone, MN Asmundo, E Orlowska
Journal of Applied Non-Classical Logics 21 (2), 177-200, 2011
162011
Dual Tableau-based Decision Procedures for Some Relational Logics.
D Cantone, MN Asmundo, E Orlowska
CILC, 2010
162010
An efficient relational deductive system for propositional non-classical logics
A Formisano, M Nicolosi-Asmundo
Journal of Applied Non-Classical Logics 16 (3-4), 367-408, 2006
162006
Web ontology representation and reasoning via fragments of set theory
D Cantone, C Longo, M Nicolosi-Asmundo, DF Santamaria
International Conference on Web Reasoning and Rule Systems, 61-76, 2015
132015
A Sound Framework for δ-Rule Variants in Free-Variable Semantic Tableaux
D Cantone, M Nicolosi-Asmundo
Journal of Automated Reasoning 38 (1-3), 31-56, 2007
112007
A decidable quantified fragment of set theory involving ordered pairs with applications to description logics
D Cantone, C Longo, M Nicolosi Asmundo
Computer Science Logic (CSL'11)-25th International Workshop/20th Annual …, 2011
102011
Consistent integration for sequential abstract state machines
MN Asmundo, E Riccobene
International Workshop on Abstract State Machines, 324-340, 2003
102003
A set-theoretic approach to ABox reasoning services
D Cantone, M Nicolosi-Asmundo, DF Santamaria
International Joint Conference on Rules and Reasoning, 87-102, 2017
92017
A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs.
D Cantone, C Longo, MN Asmundo
CILC, 2010
92010
Distant reading through ontologies: The case study of Catania’s Benedictines monastery
C Cantale, D Cantone, MN Asmundo, DF Santamaria
JLIS. it: Italian Journal of Library, Archives and Information Science …, 2017
72017
Conjunctive Query Answering via a Fragment of Set Theory (Extended Version)
D Cantone, M Nicolosi-Asmundo, DF Santamaria
arXiv preprint arXiv:1606.07337, 2016
72016
Cumulative hierarchies and computability over universes of sets
D Cantone, C Chiaruttini, MN Asmundo, EG Omedeo
Le Matematiche 63 (1), 31-84, 2008
72008
On the satisfiability problem for a 3-level quantified syllogistic
D Cantone, MN Asmundo
arXiv preprint arXiv:1304.2412, 2013
62013
Global Skolemization with Grouped Quantifiers.
D Cantone, MN Asmundo, EG Omodeo
APPIA-GULP-PRODE, 405-414, 1997
61997
A\textsf {C++} reasoner for the description logic $\shdlssx $(Extended Version)
D Cantone, M Nicolosi-Asmundo, DF Santamaria
arXiv preprint arXiv:1707.07545, 2017
52017
A relational dual tableau decision procedure for multimodal and description logics
D Cantone, J Golińska-Pilarek, M Nicolosi-Asmundo
International Conference on Hybrid Artificial Intelligence Systems, 466-477, 2014
52014
A setbased reasoner for the description logic DL4,× D
D Cantone, M Nicolosi-Asmundo, DF Santamaria
Proceedings of SETS 2018, Southampton, United Kingdom, 5 June 2018. CEUR …, 2018
32018
The system can't perform the operation now. Try again later.
Articles 1–20