NICOLOSI ASMUNDO, MARIANNA

NICOLOSI ASMUNDO, MARIANNA  

MATEMATICA E INFORMATICA  

Mostra records
Risultati 1 - 20 di 70 (tempo di esecuzione: 0.223 secondi).
Titolo Data di pubblicazione Autore(i) File
28th Italian Conference on Computational Logic (CILC 2013) 1-gen-2013 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna file da validare
A C++ reasoner for the description logic DL4;× D? 1-gen-2017 Cantone, Domenico; Nicolosi-asmundo, Marianna; Santamaria, Daniele Francesco
A certification of Lagrange's theorem with the proof assistant AEtnanova/Referee 1-gen-2009 Cantone, Domenico; Cristofaro, S; NICOLOSI ASMUNDO, Marianna file da validare
A certification of Lagrange's theorem with the proof assistant Ætnanova/Referee 1-gen-2009 Cantone, Domenico; Cristofaro, S; NICOLOSI ASMUNDO, Marianna file da validare
A consistent operation to compose Abstract State Machines and rigorous techniques to define, recognize and prove properties of distributed ASMs 1-gen-2002 NICOLOSI ASMUNDO, Marianna; Riccobene, E. file da validare
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics 1-gen-2011 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 1-gen-2010 Cantone, Domenico; Longo, C; NICOLOSI ASMUNDO, Marianna file da validare
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation 1-gen-2014 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Orlowska, E.
A Formal Approach for Specification Composition and Inconsistency Handling Using ASMs 1-gen-2001 NICOLOSI ASMUNDO, Marianna file da validare
A further and effective liberalization of the delta-rule in free variable semantic tableaux 1-gen-2000 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna file da validare
A further and effective liberalization of the delta-rule in free variable semantic tableaux 1-gen-2000 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna
A General Proviso for Existential Quantifiers Elimination in Free Variable Semantic Tableaux 1-gen-2005 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna file da validare
A graphical representation of relational formulae with complementation 1-gen-2008 Cantone, Domenico; A., Formisano; NICOLOSI ASMUNDO, Marianna; E. G., Omodeo file da validare
A graphical representation of relational formulae with complementation 1-gen-2012 Cantone, Domenico; Formisano, A; NICOLOSI ASMUNDO, Marianna; Omodeo, E.
A graphical representation of relational formulae with complementation 1-gen-2010 Cantone, Domenico; Formisano, A; NICOLOSI ASMUNDO, Marianna; Omodeo, E. file da validare
A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics 1-gen-2014 Cantone, Domenico; Golinska Pilarek, J; NICOLOSI ASMUNDO, Marianna
A Set-Based Reasoner for the Description Logic DL4, xD 1-gen-2018 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Santamaria, DANIELE FRANCESCO file da validare
A set-theoretic approach to ABox reasoning services 1-gen-2017 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Santamaria, DANIELE FRANCESCO
A Set-theoretic Approach to Reasoning Services for the Description Logic ; D 4,× 1-gen-2020 Cantone, D.; Nicolosi Asmundo, M.; Santamaria, D. F.
A Sound Framework for $\delta$-Rule Variants in Free Variable Semantic Tableaux (Short abstract) 1-gen-2005 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna file da validare