IRIS
NICOLOSI ASMUNDO, MARIANNA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.576
EU - Europa 2.084
AS - Asia 1.717
SA - Sud America 398
AF - Africa 216
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 7.994
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.460
SG - Singapore 852
RU - Federazione Russa 695
IT - Italia 476
CN - Cina 454
BR - Brasile 327
IE - Irlanda 237
UA - Ucraina 164
DE - Germania 133
VN - Vietnam 132
CI - Costa d'Avorio 111
FR - Francia 109
CA - Canada 102
KR - Corea 89
FI - Finlandia 66
NG - Nigeria 40
GB - Regno Unito 35
JP - Giappone 34
NL - Olanda 33
SE - Svezia 30
SN - Senegal 29
BD - Bangladesh 27
IN - India 26
AR - Argentina 24
BE - Belgio 19
PL - Polonia 19
IQ - Iraq 17
AT - Austria 16
ZA - Sudafrica 15
TR - Turchia 14
HK - Hong Kong 12
RO - Romania 11
CH - Svizzera 10
EC - Ecuador 10
UZ - Uzbekistan 10
MX - Messico 9
CO - Colombia 8
CL - Cile 7
CZ - Repubblica Ceca 7
MA - Marocco 7
PK - Pakistan 6
SA - Arabia Saudita 6
UY - Uruguay 6
VE - Venezuela 6
ES - Italia 5
PS - Palestinian Territory 5
AE - Emirati Arabi Uniti 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
CR - Costa Rica 2
EG - Egitto 2
GR - Grecia 2
HU - Ungheria 2
JO - Giordania 2
PE - Perù 2
SI - Slovenia 2
TN - Tunisia 2
TW - Taiwan 2
AL - Albania 1
BG - Bulgaria 1
BO - Bolivia 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
EU - Europa 1
GE - Georgia 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
PT - Portogallo 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
TH - Thailandia 1
Totale 7.994
Salva come PNG Salva come JPEG
Città #
Dallas 831
Santa Clara 574
Singapore 471
Chandler 325
Moscow 288
San Jose 248
Dublin 236
Jacksonville 160
Ashburn 154
Abidjan 111
Catania 103
Boardman 90
Seoul 89
Hefei 83
Andover 76
Los Angeles 71
Lauterbourg 68
Civitanova Marche 65
Lawrence 63
Nanjing 63
Cambridge 61
Beijing 59
Helsinki 56
Toronto 53
Grafing 47
Bremen 46
Ho Chi Minh City 42
San Mateo 40
New York 36
Tokyo 33
Chicago 32
Des Moines 30
Dakar 29
São Paulo 29
Buffalo 26
Council Bluffs 24
Hanoi 24
Ottawa 24
Lagos 22
Amsterdam 21
Wilmington 21
Brussels 18
Nanchang 18
Palermo 18
Warsaw 18
Montreal 16
Orem 16
Abuja 14
Shenyang 14
Belo Horizonte 13
Caltagirone 13
Hebei 13
Munich 13
Rio de Janeiro 13
Rome 13
Saint Petersburg 13
Jiaxing 12
Stockholm 12
The Dalles 12
Changsha 11
Hong Kong 11
Milan 11
Brooklyn 10
Horia 10
London 10
Salerno 10
San Francisco 10
Brasília 9
Columbus 9
Da Nang 9
Johannesburg 9
Nuremberg 9
Campinas 8
Denver 8
Dong Ket 8
Messina 8
Seattle 8
Vienna 8
Atlanta 7
Chennai 7
Norwalk 7
Phoenix 7
Sant'Agata di Militello 7
Syracuse 7
Tashkent 7
Tianjin 7
Baghdad 6
Dhaka 6
Houston 6
Lappeenranta 6
Pune 6
Turin 6
Bogotá 5
Gravina di Catania 5
Guangzhou 5
Guayaquil 5
Haiphong 5
Liberty Lake 5
Licata 5
Manchester 5
Totale 5.491
Salva come PNG Salva come JPEG
Nome #
GODSCAPES: TOWARDS A MODEL OF MATERIAL RELIGION IN THE SECOND MILLENNIUM BCE LEVANT VIA SEMANTIC WEB ONTOLOGIES 330
A C++ reasoner for the description logic DL4;× D? 199
An ontology for legacy data on ancient ceramics of the plain of Catania 191
An OWL framework for rule-based recognition of places in Italian non-structured text 158
A Set-Based Reasoner for the Description Logic DL4, xD 155
Distant reading through ontologies: The case study of catania's benedictines monastery 146
A certification of Lagrange's theorem with the proof assistant AEtnanova/Referee 141
28th Italian Conference on Computational Logic (CILC 2013) 140
Towards an ontology of the Museum of Archaeology of the University of Catania: from the digitization of the legacy data to the Semantic Web 140
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics 139
A set-theoretic approach to ABox reasoning services 139
A certification of Lagrange's theorem with the proof assistant Ætnanova/Referee 137
Towards an ontology-based framework for a behavior-oriented integration of the IoT 137
Towards an ontology for investigating on archaeological Sicilian landscapes 132
A behaviouristic semantic approach to blockchain-based e-commerce 130
A graphical representation of relational formulae with complementation 129
A graphical representation of relational formulae with complementation 128
CoMOntology. Towards An Ontology for the Chronology of Mediterranean archaeologies: a model for the digital memory 126
A Sound Framework for delta-rule Variants in Free Variable Semantic Tableaux 126
An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4, \!\times }$$ 124
A decision procedure for a two-sorted extension of Multi-Level Syllogistic with the Cartesian product and some map constructs 121
Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS 120
An EPIDOC ontological perspective: The epigraphs of the Castello Ursino Civic museum of Catania via CIDOC CRM 118
Towards ontological interoperability of cognitive IoT agents based on natural language processing 117
A consistent operation to compose Abstract State Machines and rigorous techniques to define, recognize and prove properties of distributed ASMs 117
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation 116
Conjunctive Query Answering via a Fragment of Set Theory 113
A General Proviso for Existential Quantifiers Elimination in Free Variable Semantic Tableaux 111
A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics 109
The shape of a Benedictine monastery: The SaintGall ontology 109
A meta-ontological approach to securing the semantic web data 107
Herbrand-satisfiability of a Quantified Set-theoretic Fragment 106
SW-CASPAR: Reactive-Cognitive Architecture based on Natural Language Processing for the task of Decision-Making in the Open World Assumption 106
Web Ontology Representation and Reasoning via Fragments of Set Theory 105
A Formal Approach for Specification Composition and Inconsistency Handling Using ASMs 102
A further and effective liberalization of the delta-rule in free variable semantic tableaux 101
A further and effective liberalization of the delta-rule in free variable semantic tableaux 100
A Set-theoretic Approach to Reasoning Services for the Description Logic ; D 4,× 100
An ontology for the iconographic sources of la divina commedia 100
Cumulative hierarchies and computability over universes of sets 99
An ontology for ceramics cataloguing 99
Conceiving Elements of Divinity: The Use of the Semantic Web for the Definition of Material Religiosity in the Levant during the Second Millennium BCE 99
Ontological Smart Contracts in {OASIS}: Ontology for Agents, Systems, and Integration of Services 96
The ontology for agents, systems and integration of services: OASIS version 2 96
A graphical representation of relational formulae with complementation 95
The ideal Benedictine Monastery: From the Saint Gall map to ontologies 93
An Improved Set-based Reasoner for the Description Logic 4,× 91
The Ontology for Agents, Systems and Integration of Services: recent advancements of OASIS 88
Gerarchie Cumulative e Computabilità sopra Universi di Insiemi 88
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic 87
On the elimination of quantifiers through descriptors in predicate logic 85
Consistent integration for sequential Abstract State Machines 84
Solvable set/hyperset contexts: III. A tableau system for a fragment of hyperset theory 83
The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations. 81
A Sound Framework for $\delta$-Rule Variants in Free Variable Semantic Tableaux (Short abstract) 80
Il progetto Storage: dai dati al Web 78
Dual Tableau-Based Decision Procedures for Fragments of the Logic of Binary Relations 77
Special Issue on the Italian Conference on Computational Logic: CILC 2013 Preface 76
OntoCeramic: an OWL ontology for ceramics classification 75
A Tableau-Based Decision Procedure for a Fragment of the Hyperset Theory 74
Global Skolemization with grouped quantifiers 73
Godscapes: Modeling Second Millennium BCE Polytheisms in the Eastern Mediterranean thanks to the Storage project 73
Dual tableau-based decision procedures for some relational logics 71
Towards a semantic blockchain: A behaviouristic approach to modelling Ethereum 70
On the satisfiability problem for a 3-level quantified syllogistic 70
Dual tableau-based decision procedures for relational logics with restricted composition operator 70
Semantic Representation as a Key Enabler for Blockchain-Based Commerce 69
Global skolemization with grouped quantifiers 67
On Dual Tableau-Based Decision Procedures for Relational Fragments 65
Modeling the Video Game Environment: the VideOWL Ontology 64
An efficient relational deductive system for propositional non-classical logics 64
On the satisfiability problem for a 3-level quantified syllogistic and applications 63
Herbrand-Satisfiability of a Quantified Set-theoretical Fragment 62
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic 61
Using ASMs for Inconsistency Handling through ViewPoint Framework 60
Foreword 57
Towards an efficient relational deductive system for propositional non-classical logics 57
On the satisfiability problem for a 3-level quantified syllogistic 53
Skolem functions and Hilbert's epsilon-terms in Free Variable Tableau Systems 51
An Etymological Dataset for Nouns and Verbs in the Gallo-Italic Variety Spoken in Nicosia and Sperlinga 27
Beyond GoodRelations: A Behaviouristic Ontological Approach for the WEB 3 Challenges 24
Editorial: Special Issue on Semantic Web and Ontology Design for Cultural Heritage 2
Totale 8.222
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.051
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 24.051
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202148 0 0 0 0 0 0 0 0 0 0 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/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.663 203 185 842 207 562 772 385 66 198 221 22 0
Totale 8.222