CINECA IRIS Institutional Research Information System

GLIOZZI, Valentina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.266
EU - Europa 3.028
AS - Asia 2.148
SA - Sud America 366
AF - Africa 26
OC - Oceania 23
Continente sconosciuto - Info sul continente non disponibili 10
Totale 11.867
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.175
SG - Singapore 928
CN - Cina 687
DK - Danimarca 641
IT - Italia 418
DE - Germania 339
BR - Brasile 307
SE - Svezia 275
IE - Irlanda 256
FR - Francia 241
FI - Finlandia 228
UA - Ucraina 221
VN - Vietnam 164
GB - Regno Unito 157
KR - Corea 144
PL - Polonia 76
HK - Hong Kong 63
AT - Austria 60
CA - Canada 60
IN - India 35
AR - Argentina 30
RU - Federazione Russa 29
ID - Indonesia 28
NL - Olanda 27
JP - Giappone 24
MX - Messico 21
AU - Australia 16
BD - Bangladesh 14
BE - Belgio 14
IQ - Iraq 14
ZA - Sudafrica 13
TR - Turchia 10
EU - Europa 9
GR - Grecia 9
VE - Venezuela 9
NZ - Nuova Zelanda 7
CO - Colombia 6
EC - Ecuador 6
ES - Italia 6
UZ - Uzbekistan 6
BG - Bulgaria 5
IR - Iran 5
NO - Norvegia 5
CL - Cile 4
DO - Repubblica Dominicana 4
PK - Pakistan 4
RO - Romania 4
SA - Arabia Saudita 4
AE - Emirati Arabi Uniti 3
AL - Albania 3
CH - Svizzera 3
CZ - Repubblica Ceca 3
JO - Giordania 3
MA - Marocco 3
AZ - Azerbaigian 2
BO - Bolivia 2
CR - Costa Rica 2
EE - Estonia 2
KE - Kenya 2
KW - Kuwait 2
KZ - Kazakistan 2
NG - Nigeria 2
NP - Nepal 2
RS - Serbia 2
TT - Trinidad e Tobago 2
AO - Angola 1
DZ - Algeria 1
EG - Egitto 1
ET - Etiopia 1
HR - Croazia 1
KN - Saint Kitts e Nevis 1
LK - Sri Lanka 1
LT - Lituania 1
MK - Macedonia 1
MT - Malta 1
MU - Mauritius 1
OM - Oman 1
PA - Panama 1
PE - Perù 1
PS - Palestinian Territory 1
PY - Paraguay 1
TN - Tunisia 1
TW - Taiwan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 11.867
Salva come PNG Salva come JPEG
Città #
Ann Arbor 2.995
Singapore 466
Santa Clara 365
Beijing 326
Chandler 298
Dublin 255
Wilmington 211
Jacksonville 165
Ashburn 142
Guangzhou 133
Houston 124
Dearborn 122
Villeurbanne 105
Dallas 98
Medford 94
Torino 94
Fairfield 91
Princeton 89
Columbus 71
Warsaw 70
Nuremberg 66
Helsinki 62
Hong Kong 60
Buffalo 55
Dong Ket 55
Hefei 55
Woodbridge 55
Nyköping 54
Los Angeles 50
Pisa 49
Turin 49
Seoul 45
Ho Chi Minh City 44
Fremont 43
Vienna 42
New York 38
Boston 36
Seattle 33
Toronto 33
Düsseldorf 31
Norwalk 31
Milan 29
Boardman 26
São Paulo 23
Cambridge 22
Hanoi 21
Landshut 21
Jakarta 20
Munich 19
Turku 18
Wayne 18
Frankfurt am Main 16
Padova 16
Bordeaux 15
Belo Horizonte 14
Brussels 14
Rio de Janeiro 14
Redwood City 12
Verona 12
Redondo Beach 11
The Dalles 11
Tokyo 11
Bengaluru 10
Jinan 10
Falkenstein 9
Falls Church 9
Johannesburg 9
Nanjing 9
San Diego 9
Sydney 9
Hangzhou 8
Mexico City 8
Naples 8
Paris 8
Kunming 7
San Mauro Torinese 7
Curitiba 6
Montreal 6
Mountain View 6
Nanchang 6
Rome 6
Tashkent 6
Wuhan 6
Alba 5
Campinas 5
Chengdu 5
Chennai 5
Deurne 5
Dresden 5
Haiphong 5
Kharkiv 5
Lachine 5
Lappeenranta 5
Novara 5
Old Bridge 5
San Mateo 5
Sofia 5
Stavanger 5
Stockholm 5
Zhengzhou 5
Totale 7.910
Salva come PNG Salva come JPEG
Nome #
An efficient reasoner for description logics of typicality and rational closure 379
A Neural Network Model for Taxonomic Responding with Realistic Visual Inputs 309
RAT-OWL: Reasoning with rational closure in description logics of typicality 309
Special Issue on the 29th Italian Conference on Computational Logic: CILC 2014 284
A NonMonotonic Description Logic for Reasoning About Typicality 277
Semantic characterization of Rational Closure: from Propositional Logic to Description Logics 271
Taxonomic and Whole Object Constraints: A Deep Architecture 235
A visual auditory model based on Growing Self-Organizing Maps to analyze the taxonomic response in early childhood. 234
Logics in Access Control: A Conditional Approach 220
A minimal model semantics for rational closure 188
Grounding Bayesian accounts of numerosity and variability effects in a similarity-based framework: the case of self-organising maps. 185
A Multi-Engine Theorem Prover for a Description Logic of Typicality 181
A tableau calculus for a nonmonotonic extension of the Description Logic DL-Litecore 174
A minimal model semantics for nonmonotonic reasoning 174
Reasoning about Multiple Aspects in Rational Closure for DLs. 173
A tableau calculus for a nonmonotonic extension of EL^\bot 169
An Implmentation of a Free-variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: the Theorem Prover FreeP 1.0 168
A Non-monotonic Description Logic of Typicality 166
A Modal Reconstruction of Rational Closure 166
A conditional constructive logic for access control and its sequent calculus 164
A nonmonotonic extension of KLM Preferential Logic P 162
Verifying Business Process Compliance by Reasoning about Actions 160
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning 157
A Constructive Conditional Logic for Access Control:a completeness result and a sequent calculus 157
Analytic Tableaux for KLM Preferential and Cumulative Logics 156
Rational Closure in SHIQ 155
DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics 154
PreDeLo 1.0: a Theorem Prover for Preferential Description Logics 153
Verifying Compliance of Business Processes with Temporal Answer Sets 152
A strengthening of rational closure in DLs: reasoning about multiple aspects 151
KLM Logics of Nonmonotonic Reasoning: Calculi and Implementations 149
ALC + T: a Preferential Extension of Description Logics 147
Extensions of Tableau calculi for preference-based conditional logics 146
Analytic Tableaux Calculi for KLM Rational Logic R 144
A Tableaux Calculus for KLM Preferential and Cumulative Logics 144
ALC+T: Reasoning About Typicality in Description Logics 144
Prototypical reasoning with low complexity Description Logics: preliminary results 144
A Conditional Logic for Belief Revision. 143
Minimal models for rational closure in SHIQ 141
A semantics for Rational Closure: Preliminary Results 137
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning 135
Reasoning About Typicality in ALC and EL 135
Preferential Description Logics 134
Reasoning about typicality with low complexity Description Logics: the logic EL+⊥T 134
A Conditional Logic for Iterated Belief Revision. 133
Preferential vs Rational Description Logics: which one for Reasoning About Typicality? 130
Minimal Model Semantics and Rational Closure in Description Logics 129
Reasoning About Typicality in Description Logics:the Logic ALC+T_{min} 126
Iterated Belief Revision and Conditional Logic 125
Belief Revision and the Ramsey Test: a solution. 122
Weak AGM postulates and Strong Ramsey Test: a logical formalization 122
Proceedings of the 29th Italian Conference on Computational Logic 120
Automated Deduction for Logics of Default Reasoning 119
From Common Sense Reasonig to Neural Network Models: a Conditional and Multi-preferential Approach for Explainability and Neuro-Symbolic Integration 117
A constructive conditional logic for access control: a preliminary report 117
Reasoning about Typicality and Probabilities in Preferential Description Logics 117
Reasoning about Typicality in Preferential Description Logics 116
Reasoning about typicality in low complexity DLs: the logics EL^\bot T_min and DL-lite_R T_min 116
Tableau Calculi for Preference-Based Conditional Logics. 114
Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment 112
Tableau Calculus for Preference-Based Conditional Logics: CE and Its Extensions 111
Encoding a Preferential Extension of the Description Logic SROIQ into SROIQ 110
Non-Classical Logics for Knowledge Representation and Reasoning 109
Primacy/recency effects in infant categorization 108
Non-Classical Logics for Knowledge Representation and Reasoning 106
Logics in Access Control: A Conditional Approach 106
Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods 106
Verifying Business Process Compliance by Reasoning about Actions 105
Rational closure for description logics of typicality 101
The impact of labels onvisual categorisation: a neural network model 97
Extension of Description Logics for Reasoning About Typicality 96
Preferential Extensions of Lightweight Description Logics 92
Labels as Features (not Names) for Infant Categorisation: A Neuro-computational approach 91
Combining neural and symbolic approaches to solve the Picasso problem: A first step 91
PreDeLo 1.0 83
Towards a Rational Closure for expressive description logics: the case of SHIQ. 70
A reconstruction of the multipreference closure. 70
Infant categorization as a dynamic process linked to memory. 69
Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract) 68
KLMLean 68
FreeP 60
Proof Methods and Theorem Proving for Conditional Logics with Strong Centering 55
A Simple Computational Model of Semantic Priming in 18-Month-Olds 47
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps 46
Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure 45
Learning Typicality Inclusions in a Probabilistic Description Logic for Concept Combination 40
Towards a Conditional Interpretation of Self Organising Maps 40
On a plausible concept-wise multipreference semantics and its relations with self-organising maps. 38
Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics 36
Strengthening the Rational Closure for Description Logics: An Overview 34
Reasoning about exceptions in ontologies: An approximation of the multipreference semantics 32
The impact of Inter Stimulus Interval on Semantic Priming: hysteresis or adaptation? A SOM neural network model 27
null 5
Totale 12.257
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.227
article - articoli 0
book - libri 0
conference - conferenze 22.145
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 54.372
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20213.207 0 0 0 0 387 464 436 453 539 479 357 92
2021/2022710 3 14 26 60 28 33 59 53 14 66 141 213
2022/2023961 138 68 25 89 75 261 101 63 61 7 40 33
2023/2024499 30 99 23 27 22 53 36 12 0 25 106 66
2024/20251.779 34 167 50 119 460 73 38 178 128 119 181 232
2025/20261.335 224 232 255 399 225 0 0 0 0 0 0 0
Totale 12.257