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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021346 0 28 37 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/2026206 186 20 0 0 0 0 0 0 0 0 0 0
Totale 4.626