Marianna Nicolosi Asmundo
Marianna Nicolosi Asmundo
Assistant Professor of Computer Science, Catania University
Email verificata su aixia.it - Home page
Titolo
Citata da
Citata da
Anno
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
191998
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
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
152015
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
122015
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
112011
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
102010
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
102007
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
82017
Cumulative hierarchies and computability over universes of sets
D Cantone, C Chiaruttini, MN Asmundo, EG Omedeo
Le Matematiche 63 (1), 31-84, 2008
72008
Conjunctive Query Answering via a Fragment of Set Theory.
D Cantone, MN Asmundo, DF Santamaria
ICTCS, 23-35, 2016
62016
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
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
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\textsf {C++} reasoner for the description logic $\shdlssx $(Extended Version)
D Cantone, M Nicolosi-Asmundo, DF Santamaria
arXiv preprint arXiv:1707.07545, 2017
42017
The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations
D Cantone, M Nicolosi-Asmundo
Electronic Notes in Theoretical Computer Science 322, 69-86, 2016
32016
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20