IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 70
Titolo Data di pubblicazione Autore(i) File
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 Tableau-Based Decision Procedure for a Fragment of the Hyperset Theory 1-gen-2009 Cantone, Domenico; Felici, M; NICOLOSI ASMUNDO, Marianna file da validare
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 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
Dual tableau-based decision procedures for some relational logics 1-gen-2010 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Orlowska, E. file da validare
Solvable set/hyperset contexts: III. A tableau system for a fragment of hyperset theory 1-gen-2010 Cantone, Domenico; Felici, M; NICOLOSI ASMUNDO, Marianna file da validare
A graphical representation of relational formulae with complementation 1-gen-2010 Cantone, Domenico; Formisano, A; NICOLOSI ASMUNDO, Marianna; Omodeo, E. file da validare
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic 1-gen-2011 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna file da validare
Dual tableau-based decision procedures for relational logics with restricted composition operator 1-gen-2011 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Orłowska, E.
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 graphical representation of relational formulae with complementation 1-gen-2012 Cantone, Domenico; Formisano, A; NICOLOSI ASMUNDO, Marianna; Omodeo, E.
On the elimination of quantifiers through descriptors in predicate logic 1-gen-2012 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Omodeo, E. G. file da validare
28th Italian Conference on Computational Logic (CILC 2013) 1-gen-2013 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna file da validare
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic 1-gen-2013 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna
On Dual Tableau-Based Decision Procedures for Relational Fragments 1-gen-2014 Cantone, Domenico; GOLINSKA PILAREK, J; NICOLOSI ASMUNDO, Marianna 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 Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation 1-gen-2014 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Orlowska, E.
Herbrand-Satisfiability of a Quantified Set-theoretical Fragment 1-gen-2014 Cantone, Domenico; Longo, C; NICOLOSI ASMUNDO, Marianna
An ontology for ceramics cataloguing 1-gen-2015 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Santamaria D., F; Trapani, F. file da validare
Web Ontology Representation and Reasoning via Fragments of Set Theory 1-gen-2015 Cantone, Domenico; Longo, C; NICOLOSI ASMUNDO, Marianna; Santamaria, D. F. file da validare
Mostrati risultati da 21 a 40 di 70
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile