IRIS
NICOLOSI ASMUNDO, MARIANNA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.164
EU - Europa 866
AS - Asia 189
AF - Africa 121
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
SA - Sud America 1
Totale 2.343
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.085
IE - Irlanda 238
IT - Italia 168
CN - Cina 166
UA - Ucraina 159
DE - Germania 107
CI - Costa d'Avorio 86
CA - Canada 79
RU - Federazione Russa 57
FI - Finlandia 37
SN - Senegal 28
FR - Francia 21
BE - Belgio 18
SE - Svezia 17
GB - Regno Unito 10
RO - Romania 10
CH - Svizzera 8
VN - Vietnam 8
AT - Austria 6
NG - Nigeria 6
IN - India 4
JP - Giappone 4
NL - Olanda 4
GR - Grecia 2
LB - Libano 2
UZ - Uzbekistan 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
BG - Bulgaria 1
CL - Cile 1
CZ - Repubblica Ceca 1
EU - Europa 1
MA - Marocco 1
NO - Norvegia 1
PL - Polonia 1
SG - Singapore 1
TR - Turchia 1
Totale 2.343
Salva come PNG Salva come JPEG
Città #
Chandler 330
Dublin 238
Jacksonville 160
Abidjan 86
Andover 76
Lawrence 63
Nanjing 63
Cambridge 60
Toronto 51
Bremen 47
Grafing 47
Catania 41
San Mateo 40
Helsinki 35
Des Moines 29
Dakar 28
Ashburn 26
Ottawa 24
Wilmington 21
Brussels 18
Nanchang 18
Boardman 15
Shenyang 14
Caltagirone 13
Hebei 13
Saint Petersburg 13
Jiaxing 12
Changsha 11
Horia 10
Dong Ket 8
Norwalk 7
Sant'Agata di Militello 7
Syracuse 7
Abuja 6
Liberty Lake 5
Rome 5
Tianjin 5
Caserta 4
Fairfield 4
Nuremberg 4
Pune 4
Washington 4
Bologna 3
Den Haag 3
Gravina di Catania 3
Jinan 3
Marburg 3
Milan 3
Niscemi 3
Philadelphia 3
Princeton 3
San Francisco 3
Seattle 3
Taizhou 3
Tokyo 3
Beijing 2
Boydton 2
Dallas 2
Hangzhou 2
Jönköping 2
Kunming 2
Lappeenranta 2
Lausanne 2
Longobardi 2
Messina 2
New York 2
Novara 2
San Jose 2
Zhengzhou 2
Zola Predosa 2
Ann Arbor 1
Athens 1
Bondeno 1
Bronte 1
Changchun 1
Civitavecchia 1
Dubai 1
Ebisu 1
Edinburgh 1
Fort St. James 1
Frankfurt Am Main 1
Guangzhou 1
Kocaeli 1
Lanzhou 1
Los Angeles 1
Ludwigshafen 1
Maletto 1
Mazzarrone 1
Montreal 1
Moscow 1
Nanaimo 1
Nocera Inferiore 1
Oslo 1
Padova 1
Palmi 1
Pedara 1
Porto Recanati 1
Rabat 1
Randazzo 1
Redmond 1
Totale 1.771
Salva come PNG Salva come JPEG
Nome #
A C++ reasoner for the description logic DL4;× D? 61
A Sound Framework for delta-rule Variants in Free Variable Semantic Tableaux 57
An ontology for legacy data on ancient ceramics of the plain of Catania 57
A certification of Lagrange's theorem with the proof assistant Ætnanova/Referee 53
The shape of a Benedictine monastery: The SaintGall ontology 53
A Set-Based Reasoner for the Description Logic DL4, xD 52
A certification of Lagrange's theorem with the proof assistant AEtnanova/Referee 50
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics 50
Solvable set/hyperset contexts: III. A tableau system for a fragment of hyperset theory 49
Towards an ontology-based framework for a behavior-oriented integration of the IoT 49
A graphical representation of relational formulae with complementation 48
A General Proviso for Existential Quantifiers Elimination in Free Variable Semantic Tableaux 47
Gerarchie Cumulative e Computabilità sopra Universi di Insiemi 47
A set-theoretic approach to ABox reasoning services 47
Cumulative hierarchies and computability over universes of sets 46
A graphical representation of relational formulae with complementation 46
Distant reading through ontologies: The case study of catania's benedictines monastery 46
An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4, \!\times }$$ 46
Towards an ontology for investigating on archaeological Sicilian landscapes 46
Towards an ontology of the Museum of Archaeology of the University of Catania: from the digitization of the legacy data to the Semantic Web 46
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic 45
Conjunctive Query Answering via a Fragment of Set Theory 45
null 45
Consistent integration for sequential Abstract State Machines 44
A decision procedure for a two-sorted extension of Multi-Level Syllogistic with the Cartesian product and some map constructs 44
An ontology for the iconographic sources of la divina commedia 44
Web Ontology Representation and Reasoning via Fragments of Set Theory 42
The ideal Benedictine Monastery: From the Saint Gall map to ontologies 42
An OWL framework for rule-based recognition of places in Italian non-structured text 41
OntoCeramic: an OWL ontology for ceramics classification 41
The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations. 40
A consistent operation to compose Abstract State Machines and rigorous techniques to define, recognize and prove properties of distributed ASMs 40
28th Italian Conference on Computational Logic (CILC 2013) 40
Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS 39
Herbrand-satisfiability of a Quantified Set-theoretic Fragment 39
A Tableau-Based Decision Procedure for a Fragment of the Hyperset Theory 38
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation 38
Global Skolemization with grouped quantifiers 36
A Sound Framework for $\delta$-Rule Variants in Free Variable Semantic Tableaux (Short abstract) 35
An EPIDOC ontological perspective: The epigraphs of the Castello Ursino Civic museum of Catania via CIDOC CRM 35
A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics 34
A further and effective liberalization of the delta-rule in free variable semantic tableaux 34
On the satisfiability problem for a 3-level quantified syllogistic 32
A Formal Approach for Specification Composition and Inconsistency Handling Using ASMs 31
A further and effective liberalization of the delta-rule in free variable semantic tableaux 30
Special Issue on the Italian Conference on Computational Logic: CILC 2013 Preface 30
Dual Tableau-Based Decision Procedures for Fragments of the Logic of Binary Relations 30
Dual tableau-based decision procedures for some relational logics 29
An efficient relational deductive system for propositional non-classical logics 29
A graphical representation of relational formulae with complementation 28
Global skolemization with grouped quantifiers 27
Herbrand-Satisfiability of a Quantified Set-theoretical Fragment 26
Dual tableau-based decision procedures for relational logics with restricted composition operator 26
SW-CASPAR: Reactive-Cognitive Architecture based on Natural Language Processing for the task of Decision-Making in the Open World Assumption 26
Towards ontological interoperability of cognitive IoT agents based on natural language processing 25
On Dual Tableau-Based Decision Procedures for Relational Fragments 25
A Set-theoretic Approach to Reasoning Services for the Description Logic ; D 4,× 24
Semantic Representation as a Key Enabler for Blockchain-Based Commerce 24
Using ASMs for Inconsistency Handling through ViewPoint Framework 23
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic 22
Ontological Smart Contracts in {OASIS}: Ontology for Agents, Systems, and Integration of Services 21
On the satisfiability problem for a 3-level quantified syllogistic 20
The Ontology for Agents, Systems and Integration of Services: recent advancements of OASIS 19
Towards an efficient relational deductive system for propositional non-classical logics 19
On the satisfiability problem for a 3-level quantified syllogistic and applications 19
Semantic Representation as a Key Enabler for Blockchain-Based Commerce 19
Skolem functions and Hilbert's epsilon-terms in Free Variable Tableau Systems 18
On the elimination of quantifiers through descriptors in predicate logic 18
An Improved Set-based Reasoner for the Description Logic 4,× 17
An ontology for ceramics cataloguing 5
CoMOntology. Towards An Ontology for the Chronology of Mediterranean archaeologies: a model for the digital memory 4
Totale 2.543
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.086
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 8.086
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201913 0 0 0 0 0 0 0 0 0 3 5 5
2019/2020286 116 12 16 0 16 17 20 2 28 1 41 17
2020/2021391 45 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/2023933 79 79 9 140 71 157 2 127 179 6 53 31
2023/2024322 21 112 24 19 17 36 3 17 3 70 0 0
Totale 2.543