NICOLOSI ASMUNDO, MARIANNA
NICOLOSI ASMUNDO, MARIANNA
MATEMATICA E INFORMATICA
28th Italian Conference on Computational Logic (CILC 2013)
file da validare2013-01-01 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna
A C++ reasoner for the description logic DL4;× D?
2017-01-01 Cantone, Domenico; Nicolosi-asmundo, Marianna; Santamaria, Daniele Francesco
A certification of Lagrange's theorem with the proof assistant AEtnanova/Referee
file da validare2009-01-01 Cantone, Domenico; Cristofaro, S; NICOLOSI ASMUNDO, Marianna
A certification of Lagrange's theorem with the proof assistant Ætnanova/Referee
file da validare2009-01-01 Cantone, Domenico; Cristofaro, S; NICOLOSI ASMUNDO, Marianna
A consistent operation to compose Abstract State Machines and rigorous techniques to define, recognize and prove properties of distributed ASMs
file da validare2002-01-01 NICOLOSI ASMUNDO, Marianna; Riccobene, E.
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics
2011-01-01 Cantone, Domenico; Longo, C; NICOLOSI ASMUNDO, Marianna
A decision procedure for a two-sorted extension of Multi-Level Syllogistic with the Cartesian product and some map constructs
file da validare2010-01-01 Cantone, Domenico; Longo, C; NICOLOSI ASMUNDO, Marianna
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation
2014-01-01 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Orlowska, E.
A Formal Approach for Specification Composition and Inconsistency Handling Using ASMs
file da validare2001-01-01 NICOLOSI ASMUNDO, Marianna
A further and effective liberalization of the delta-rule in free variable semantic tableaux
2000-01-01 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna
A further and effective liberalization of the delta-rule in free variable semantic tableaux
file da validare2000-01-01 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna
A General Proviso for Existential Quantifiers Elimination in Free Variable Semantic Tableaux
file da validare2005-01-01 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna
A graphical representation of relational formulae with complementation
file da validare2008-01-01 Cantone, Domenico; A., Formisano; NICOLOSI ASMUNDO, Marianna; E. G., Omodeo
A graphical representation of relational formulae with complementation
2012-01-01 Cantone, Domenico; Formisano, A; NICOLOSI ASMUNDO, Marianna; Omodeo, E.
A graphical representation of relational formulae with complementation
file da validare2010-01-01 Cantone, Domenico; Formisano, A; NICOLOSI ASMUNDO, Marianna; Omodeo, E.
A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics
2014-01-01 Cantone, Domenico; Golinska Pilarek, J; NICOLOSI ASMUNDO, Marianna
A Set-Based Reasoner for the Description Logic DL4, xD
file da validare2018-01-01 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Santamaria, DANIELE FRANCESCO
A set-theoretic approach to ABox reasoning services
2017-01-01 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Santamaria, DANIELE FRANCESCO
A Set-theoretic Approach to Reasoning Services for the Description Logic ; D 4,×
2020-01-01 Cantone, D.; Nicolosi Asmundo, M.; Santamaria, D. F.
A Sound Framework for $\delta$-Rule Variants in Free Variable Semantic Tableaux (Short abstract)
file da validare2005-01-01 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna