IRIS
NICOLOSI ASMUNDO, MARIANNA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.548
EU - Europa 1.171
AS - Asia 920
SA - Sud America 273
AF - Africa 152
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 5.066
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.459
SG - Singapore 438
IT - Italia 364
CN - Cina 323
BR - Brasile 243
IE - Irlanda 234
UA - Ucraina 163
DE - Germania 124
CI - Costa d'Avorio 104
CA - Canada 84
RU - Federazione Russa 64
FI - Finlandia 60
KR - Corea 28
SN - Senegal 28
FR - Francia 26
VN - Vietnam 26
JP - Giappone 25
NL - Olanda 23
GB - Regno Unito 21
BE - Belgio 19
SE - Svezia 17
BD - Bangladesh 16
AT - Austria 14
RO - Romania 11
TR - Turchia 10
CH - Svizzera 9
IN - India 9
IQ - Iraq 9
PL - Polonia 8
AR - Argentina 7
UZ - Uzbekistan 7
CZ - Repubblica Ceca 5
EC - Ecuador 5
MA - Marocco 5
ZA - Sudafrica 5
NG - Nigeria 4
PK - Pakistan 4
PS - Palestinian Territory 4
VE - Venezuela 4
AE - Emirati Arabi Uniti 3
CL - Cile 3
LB - Libano 3
MX - Messico 3
SA - Arabia Saudita 3
UY - Uruguay 3
CO - Colombia 2
EG - Egitto 2
ES - Italia 2
GR - Grecia 2
HK - Hong Kong 2
MY - Malesia 2
NP - Nepal 2
PE - Perù 2
PY - Paraguay 2
TN - Tunisia 2
TW - Taiwan 2
AU - Australia 1
BG - Bulgaria 1
BO - Bolivia 1
CR - Costa Rica 1
DZ - Algeria 1
EU - Europa 1
GY - Guiana 1
ID - Indonesia 1
IL - Israele 1
IR - Iran 1
KE - Kenya 1
KG - Kirghizistan 1
LT - Lituania 1
NO - Norvegia 1
PA - Panama 1
PT - Portogallo 1
SI - Slovenia 1
Totale 5.066
Salva come PNG Salva come JPEG
Città #
Santa Clara 553
Dallas 500
Chandler 325
Singapore 246
Dublin 234
Jacksonville 160
Abidjan 104
Catania 87
Boardman 85
Andover 76
Civitanova Marche 64
Lawrence 63
Nanjing 63
Cambridge 60
Hefei 60
Helsinki 53
Ashburn 52
Toronto 51
Grafing 47
Bremen 46
San Mateo 40
Beijing 32
Des Moines 29
Dakar 28
Seoul 28
Chicago 25
Los Angeles 24
Ottawa 24
Tokyo 24
Wilmington 21
Brussels 18
Nanchang 18
São Paulo 18
Amsterdam 14
Shenyang 14
Belo Horizonte 13
Caltagirone 13
Council Bluffs 13
Hebei 13
Saint Petersburg 13
Jiaxing 12
Munich 12
The Dalles 12
Changsha 11
Horia 10
Columbus 9
Rio de Janeiro 9
Rome 9
San Francisco 9
Dong Ket 8
Palermo 8
Brasília 7
Campinas 7
Norwalk 7
Nuremberg 7
Sant'Agata di Militello 7
Syracuse 7
Tianjin 7
Vienna 7
Warsaw 7
Brooklyn 6
Dhaka 6
Ho Chi Minh City 6
New York 6
Guangzhou 5
Liberty Lake 5
Licata 5
London 5
Mascalucia 5
Milan 5
Pedara 5
Silvi 5
Abuja 4
Caserta 4
Caxias do Sul 4
Fairfield 4
Medina 4
Messina 4
Mirabella Imbaccari 4
Pune 4
Tashkent 4
Washington 4
Atlanta 3
Bologna 3
Brno 3
Charlotte 3
Den Haag 3
Dongguan 3
Erbil 3
Gravina di Catania 3
Guarulhos 3
Guayaquil 3
Haiphong 3
Jinan 3
Lappeenranta 3
Maceió 3
Marburg 3
Mariana 3
Mosul 3
Philadelphia 3
Totale 3.681
Salva come PNG Salva come JPEG
Nome #
A C++ reasoner for the description logic DL4;× D? 143
An ontology for legacy data on ancient ceramics of the plain of Catania 136
A Sound Framework for delta-rule Variants in Free Variable Semantic Tableaux 114
Towards an ontology-based framework for a behavior-oriented integration of the IoT 111
Distant reading through ontologies: The case study of catania's benedictines monastery 106
Towards an ontology of the Museum of Archaeology of the University of Catania: from the digitization of the legacy data to the Semantic Web 99
A Set-Based Reasoner for the Description Logic DL4, xD 97
A certification of Lagrange's theorem with the proof assistant AEtnanova/Referee 96
A certification of Lagrange's theorem with the proof assistant Ætnanova/Referee 95
A graphical representation of relational formulae with complementation 94
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics 94
28th Italian Conference on Computational Logic (CILC 2013) 94
An OWL framework for rule-based recognition of places in Italian non-structured text 92
Towards an ontology for investigating on archaeological Sicilian landscapes 92
Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS 88
A set-theoretic approach to ABox reasoning services 88
A graphical representation of relational formulae with complementation 87
CoMOntology. Towards An Ontology for the Chronology of Mediterranean archaeologies: a model for the digital memory 85
Conjunctive Query Answering via a Fragment of Set Theory 84
Herbrand-satisfiability of a Quantified Set-theoretic Fragment 82
An EPIDOC ontological perspective: The epigraphs of the Castello Ursino Civic museum of Catania via CIDOC CRM 82
A decision procedure for a two-sorted extension of Multi-Level Syllogistic with the Cartesian product and some map constructs 81
Cumulative hierarchies and computability over universes of sets 80
The shape of a Benedictine monastery: The SaintGall ontology 80
A behaviouristic semantic approach to blockchain-based e-commerce 78
Web Ontology Representation and Reasoning via Fragments of Set Theory 78
A consistent operation to compose Abstract State Machines and rigorous techniques to define, recognize and prove properties of distributed ASMs 76
An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4, \!\times }$$ 76
An ontology for the iconographic sources of la divina commedia 76
A General Proviso for Existential Quantifiers Elimination in Free Variable Semantic Tableaux 74
Gerarchie Cumulative e Computabilità sopra Universi di Insiemi 74
A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics 73
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic 72
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation 72
The ideal Benedictine Monastery: From the Saint Gall map to ontologies 72
Ontological Smart Contracts in {OASIS}: Ontology for Agents, Systems, and Integration of Services 71
Solvable set/hyperset contexts: III. A tableau system for a fragment of hyperset theory 71
SW-CASPAR: Reactive-Cognitive Architecture based on Natural Language Processing for the task of Decision-Making in the Open World Assumption 71
A further and effective liberalization of the delta-rule in free variable semantic tableaux 70
Towards ontological interoperability of cognitive IoT agents based on natural language processing 69
On the elimination of quantifiers through descriptors in predicate logic 68
A further and effective liberalization of the delta-rule in free variable semantic tableaux 68
A Sound Framework for $\delta$-Rule Variants in Free Variable Semantic Tableaux (Short abstract) 67
The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations. 66
Consistent integration for sequential Abstract State Machines 66
An ontology for ceramics cataloguing 66
A Set-theoretic Approach to Reasoning Services for the Description Logic ; D 4,× 66
OntoCeramic: an OWL ontology for ceramics classification 65
A Formal Approach for Specification Composition and Inconsistency Handling Using ASMs 64
The Ontology for Agents, Systems and Integration of Services: recent advancements of OASIS 61
Global Skolemization with grouped quantifiers 60
Il progetto Storage: dai dati al Web 59
A graphical representation of relational formulae with complementation 59
A Tableau-Based Decision Procedure for a Fragment of the Hyperset Theory 56
Dual Tableau-Based Decision Procedures for Fragments of the Logic of Binary Relations 56
On Dual Tableau-Based Decision Procedures for Relational Fragments 54
Special Issue on the Italian Conference on Computational Logic: CILC 2013 Preface 54
Dual tableau-based decision procedures for some relational logics 53
Godscapes: Modeling Second Millennium BCE Polytheisms in the Eastern Mediterranean thanks to the Storage project 53
On the satisfiability problem for a 3-level quantified syllogistic 52
Herbrand-Satisfiability of a Quantified Set-theoretical Fragment 51
Dual tableau-based decision procedures for relational logics with restricted composition operator 51
Global skolemization with grouped quantifiers 50
Using ASMs for Inconsistency Handling through ViewPoint Framework 49
An efficient relational deductive system for propositional non-classical logics 49
Semantic Representation as a Key Enabler for Blockchain-Based Commerce 48
An Improved Set-based Reasoner for the Description Logic 4,× 48
On the satisfiability problem for a 3-level quantified syllogistic and applications 47
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic 46
On the satisfiability problem for a 3-level quantified syllogistic 40
Towards a semantic blockchain: A behaviouristic approach to modelling Ethereum 39
Towards an efficient relational deductive system for propositional non-classical logics 39
Skolem functions and Hilbert's epsilon-terms in Free Variable Tableau Systems 37
Totale 5.280
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.281
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 18.281
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021281 0 0 0 2 91 7 27 19 79 8 28 20
2021/2022466 54 63 1 3 67 0 85 20 56 5 13 99
2022/2023917 79 76 9 138 71 155 2 126 177 6 49 29
2023/2024465 21 109 23 16 17 36 3 17 3 76 99 45
2024/20251.750 34 141 103 149 441 287 98 62 94 128 117 96
2025/2026860 186 152 494 28 0 0 0 0 0 0 0 0
Totale 5.280