IRIS
NICOLOSI ASMUNDO, MARIANNA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.833
EU - Europa 2.264
AS - Asia 1.770
SA - Sud America 410
Continente sconosciuto - Info sul continente non disponibili 230
AF - Africa 216
OC - Oceania 2
Totale 8.725
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.691
SG - Singapore 864
RU - Federazione Russa 696
IT - Italia 628
CN - Cina 462
BR - Brasile 332
IE - Irlanda 237
UA - Ucraina 164
DE - Germania 133
VN - Vietnam 133
CA - Canada 115
CI - Costa d'Avorio 111
FR - Francia 110
KR - Corea 89
FI - Finlandia 66
SE - Svezia 50
BD - Bangladesh 45
NG - Nigeria 40
JP - Giappone 37
GB - Regno Unito 35
NL - Olanda 33
SN - Senegal 29
IN - India 28
AR - Argentina 24
BE - Belgio 21
PL - Polonia 19
HK - Hong Kong 18
IQ - Iraq 17
AT - Austria 16
TR - Turchia 15
ZA - Sudafrica 15
EC - Ecuador 11
RO - Romania 11
CH - Svizzera 10
CO - Colombia 10
MX - Messico 10
UZ - Uzbekistan 10
ES - Italia 9
VE - Venezuela 9
CL - Cile 8
CZ - Repubblica Ceca 7
MA - Marocco 7
PK - Pakistan 6
SA - Arabia Saudita 6
UY - Uruguay 6
PS - Palestinian Territory 5
AE - Emirati Arabi Uniti 4
CR - Costa Rica 4
DZ - Algeria 4
LT - Lituania 4
PY - Paraguay 4
BJ - Benin 3
GY - Guiana 3
ID - Indonesia 3
KE - Kenya 3
LB - Libano 3
MY - Malesia 3
NP - Nepal 3
PH - Filippine 3
SY - Repubblica araba siriana 3
AU - Australia 2
BB - Barbados 2
EG - Egitto 2
GR - Grecia 2
HN - Honduras 2
HU - Ungheria 2
JM - Giamaica 2
JO - Giordania 2
PE - Perù 2
SI - Slovenia 2
TH - Thailandia 2
TN - Tunisia 2
TW - Taiwan 2
AL - Albania 1
AM - Armenia 1
BG - Bulgaria 1
BO - Bolivia 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
EU - Europa 1
GE - Georgia 1
GP - Guadalupe 1
GT - Guatemala 1
IL - Israele 1
IR - Iran 1
KG - Kirghizistan 1
KH - Cambogia 1
KZ - Kazakistan 1
LV - Lettonia 1
MT - Malta 1
NI - Nicaragua 1
NO - Norvegia 1
PA - Panama 1
PR - Porto Rico 1
PT - Portogallo 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
TT - Trinidad e Tobago 1
Totale 8.496
Salva come PNG Salva come JPEG
Città #
Dallas 831
Santa Clara 584
Singapore 477
Chandler 325
Moscow 289
San Jose 272
Dublin 236
Ashburn 162
Jacksonville 162
Catania 117
Abidjan 111
Boardman 90
Seoul 89
Council Bluffs 84
Hefei 83
Los Angeles 77
Andover 76
Lauterbourg 68
Civitanova Marche 65
Beijing 63
Lawrence 63
Nanjing 63
Cambridge 61
Helsinki 56
Toronto 55
Staranzano 54
Grafing 47
Bremen 46
Ho Chi Minh City 42
New York 40
San Mateo 40
Tokyo 33
Chicago 32
Des Moines 30
São Paulo 30
Dakar 29
Buffalo 28
Hanoi 24
Ottawa 24
Palermo 23
Lagos 22
Wilmington 22
Amsterdam 21
Rome 20
Brussels 18
Nanchang 18
Warsaw 18
Hong Kong 17
Montreal 17
Milan 16
Orem 16
Abuja 14
Rio de Janeiro 14
Shenyang 14
Belo Horizonte 13
Caltagirone 13
Hebei 13
Munich 13
Saint Petersburg 13
Brooklyn 12
Jiaxing 12
Seattle 12
Stockholm 12
The Dalles 12
Changsha 11
Columbus 10
Horia 10
London 10
Phoenix 10
Quinto di Treviso 10
Salerno 10
San Francisco 10
Atlanta 9
Brasília 9
Da Nang 9
Denver 9
Johannesburg 9
Nuremberg 9
Campinas 8
Dong Ket 8
Houston 8
Messina 8
Vienna 8
Chennai 7
Norwalk 7
Philadelphia 7
Sant'Agata di Militello 7
Syracuse 7
Tashkent 7
Tianjin 7
Turin 7
Baghdad 6
Bologna 6
Boston 6
Dhaka 6
Lappeenranta 6
Pune 6
Biancavilla 5
Bogotá 5
Charlotte 5
Totale 5.735
Salva come PNG Salva come JPEG
Nome #
GODSCAPES: TOWARDS A MODEL OF MATERIAL RELIGION IN THE SECOND MILLENNIUM BCE LEVANT VIA SEMANTIC WEB ONTOLOGIES 333
A C++ reasoner for the description logic DL4;× D? 207
An ontology for legacy data on ancient ceramics of the plain of Catania 198
An OWL framework for rule-based recognition of places in Italian non-structured text 166
A Set-Based Reasoner for the Description Logic DL4, xD 161
Distant reading through ontologies: The case study of catania's benedictines monastery 153
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics 148
A certification of Lagrange's theorem with the proof assistant AEtnanova/Referee 147
28th Italian Conference on Computational Logic (CILC 2013) 145
A set-theoretic approach to ABox reasoning services 145
Towards an ontology of the Museum of Archaeology of the University of Catania: from the digitization of the legacy data to the Semantic Web 144
A meta-ontological approach to securing the semantic web data 142
A certification of Lagrange's theorem with the proof assistant Ætnanova/Referee 141
Towards an ontology-based framework for a behavior-oriented integration of the IoT 141
A behaviouristic semantic approach to blockchain-based e-commerce 136
A graphical representation of relational formulae with complementation 135
A graphical representation of relational formulae with complementation 134
CoMOntology. Towards An Ontology for the Chronology of Mediterranean archaeologies: a model for the digital memory 133
Towards an ontology for investigating on archaeological Sicilian landscapes 133
A Sound Framework for delta-rule Variants in Free Variable Semantic Tableaux 132
An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4, \!\times }$$ 132
An EPIDOC ontological perspective: The epigraphs of the Castello Ursino Civic museum of Catania via CIDOC CRM 128
Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS 127
A decision procedure for a two-sorted extension of Multi-Level Syllogistic with the Cartesian product and some map constructs 125
Towards ontological interoperability of cognitive IoT agents based on natural language processing 121
A consistent operation to compose Abstract State Machines and rigorous techniques to define, recognize and prove properties of distributed ASMs 120
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation 120
A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics 117
Conjunctive Query Answering via a Fragment of Set Theory 117
A General Proviso for Existential Quantifiers Elimination in Free Variable Semantic Tableaux 114
SW-CASPAR: Reactive-Cognitive Architecture based on Natural Language Processing for the task of Decision-Making in the Open World Assumption 114
Web Ontology Representation and Reasoning via Fragments of Set Theory 113
The shape of a Benedictine monastery: The SaintGall ontology 113
Herbrand-satisfiability of a Quantified Set-theoretic Fragment 112
Conceiving Elements of Divinity: The Use of the Semantic Web for the Definition of Material Religiosity in the Levant during the Second Millennium BCE 111
The ontology for agents, systems and integration of services: OASIS version 2 108
A further and effective liberalization of the delta-rule in free variable semantic tableaux 108
An ontology for the iconographic sources of la divina commedia 108
A Set-theoretic Approach to Reasoning Services for the Description Logic ; D 4,× 107
A further and effective liberalization of the delta-rule in free variable semantic tableaux 105
An ontology for ceramics cataloguing 103
A Formal Approach for Specification Composition and Inconsistency Handling Using ASMs 103
Cumulative hierarchies and computability over universes of sets 102
Ontological Smart Contracts in {OASIS}: Ontology for Agents, Systems, and Integration of Services 101
The ideal Benedictine Monastery: From the Saint Gall map to ontologies 101
A graphical representation of relational formulae with complementation 99
An Improved Set-based Reasoner for the Description Logic 4,× 97
The Ontology for Agents, Systems and Integration of Services: recent advancements of OASIS 94
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic 92
On the elimination of quantifiers through descriptors in predicate logic 90
Gerarchie Cumulative e Computabilità sopra Universi di Insiemi 89
Solvable set/hyperset contexts: III. A tableau system for a fragment of hyperset theory 86
The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations. 85
Consistent integration for sequential Abstract State Machines 84
Towards a semantic blockchain: A behaviouristic approach to modelling Ethereum 83
A Sound Framework for $\delta$-Rule Variants in Free Variable Semantic Tableaux (Short abstract) 83
Godscapes: Modeling Second Millennium BCE Polytheisms in the Eastern Mediterranean thanks to the Storage project 83
Dual Tableau-Based Decision Procedures for Fragments of the Logic of Binary Relations 82
Il progetto Storage: dai dati al Web 79
Global Skolemization with grouped quantifiers 78
OntoCeramic: an OWL ontology for ceramics classification 78
Modeling the Video Game Environment: the VideOWL Ontology 77
A Tableau-Based Decision Procedure for a Fragment of the Hyperset Theory 77
Special Issue on the Italian Conference on Computational Logic: CILC 2013 Preface 77
Dual tableau-based decision procedures for relational logics with restricted composition operator 76
Dual tableau-based decision procedures for some relational logics 75
Semantic Representation as a Key Enabler for Blockchain-Based Commerce 73
On the satisfiability problem for a 3-level quantified syllogistic 72
Global skolemization with grouped quantifiers 68
An efficient relational deductive system for propositional non-classical logics 67
On Dual Tableau-Based Decision Procedures for Relational Fragments 66
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic 66
Herbrand-Satisfiability of a Quantified Set-theoretical Fragment 65
On the satisfiability problem for a 3-level quantified syllogistic and applications 65
An Etymological Dataset for Nouns and Verbs in the Gallo-Italic Variety Spoken in Nicosia and Sperlinga 62
Towards an efficient relational deductive system for propositional non-classical logics 62
Foreword 60
Using ASMs for Inconsistency Handling through ViewPoint Framework 60
On the satisfiability problem for a 3-level quantified syllogistic 54
Skolem functions and Hilbert's epsilon-terms in Free Variable Tableau Systems 53
Beyond GoodRelations: A Behaviouristic Ontological Approach for the WEB 3 Challenges 50
Ontologies for Simulating Smart Cities: the KnOCS Project 11
Editorial: Special Issue on Semantic Web and Ontology Design for Cultural Heritage 3
Totale 8.725
Salva come PNG Salva come JPEG
Categoria #
all - tutte 28.000
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 28.000
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022349 0 0 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/2024498 21 111 24 17 19 43 7 21 4 80 106 45
2024/20251.856 34 149 105 152 453 293 101 62 116 154 127 110
2025/20263.808 203 185 842 207 562 772 385 66 198 221 74 93
2026/2027358 113 157 88 0 0 0 0 0 0 0 0 0
Totale 8.725