CINECA IRIS Institutional Research Information System

GLIOZZI, Valentina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.806
EU - Europa 3.682
AS - Asia 3.028
SA - Sud America 484
Continente sconosciuto - Info sul continente non disponibili 442
AF - Africa 57
OC - Oceania 24
Totale 15.523
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.616
SG - Singapore 1.235
IT - Italia 875
CN - Cina 842
DK - Danimarca 641
BR - Brasile 385
DE - Germania 359
FR - Francia 338
VN - Vietnam 331
SE - Svezia 278
IE - Irlanda 258
FI - Finlandia 232
UA - Ucraina 224
GB - Regno Unito 175
KR - Corea 150
HK - Hong Kong 112
CA - Canada 104
PL - Polonia 78
BD - Bangladesh 75
AT - Austria 70
IN - India 54
JP - Giappone 48
AR - Argentina 38
RU - Federazione Russa 37
ID - Indonesia 36
IQ - Iraq 36
NL - Olanda 34
MX - Messico 32
VE - Venezuela 18
ZA - Sudafrica 17
AU - Australia 16
JM - Giamaica 15
BE - Belgio 14
TR - Turchia 14
CO - Colombia 12
UZ - Uzbekistan 12
EC - Ecuador 11
GR - Grecia 10
SA - Arabia Saudita 10
BG - Bulgaria 9
CL - Cile 9
CR - Costa Rica 9
EU - Europa 9
PK - Pakistan 9
MY - Malesia 8
NZ - Nuova Zelanda 8
PH - Filippine 8
TN - Tunisia 8
ES - Italia 7
TT - Trinidad e Tobago 7
AE - Emirati Arabi Uniti 6
EG - Egitto 6
LU - Lussemburgo 6
MA - Marocco 6
CH - Svizzera 5
DO - Repubblica Dominicana 5
IR - Iran 5
JO - Giordania 5
KE - Kenya 5
NO - Norvegia 5
OM - Oman 5
AL - Albania 4
CZ - Repubblica Ceca 4
DZ - Algeria 4
HN - Honduras 4
PE - Perù 4
PY - Paraguay 4
RO - Romania 4
TW - Taiwan 4
AO - Angola 3
KZ - Kazakistan 3
MD - Moldavia 3
NG - Nigeria 3
NP - Nepal 3
PR - Porto Rico 3
SV - El Salvador 3
AZ - Azerbaigian 2
BO - Bolivia 2
EE - Estonia 2
GT - Guatemala 2
IL - Israele 2
KW - Kuwait 2
MT - Malta 2
NI - Nicaragua 2
PA - Panama 2
PS - Palestinian Territory 2
RS - Serbia 2
TH - Thailandia 2
BA - Bosnia-Erzegovina 1
BH - Bahrain 1
BY - Bielorussia 1
BZ - Belize 1
CG - Congo 1
ET - Etiopia 1
GA - Gabon 1
HR - Croazia 1
KG - Kirghizistan 1
KH - Cambogia 1
KN - Saint Kitts e Nevis 1
LA - Repubblica Popolare Democratica del Laos 1
Totale 15.081
Salva come PNG Salva come JPEG
Città #
Ann Arbor 2.995
Singapore 681
San Jose 463
Santa Clara 404
Beijing 355
Chandler 298
Ashburn 274
Dublin 257
Wilmington 215
Jacksonville 170
Milan 154
Guangzhou 136
Houston 135
Dearborn 122
Dallas 107
Hong Kong 106
The Dalles 106
Villeurbanne 105
Ho Chi Minh City 96
Medford 95
Torino 94
Fairfield 91
Princeton 89
Lauterbourg 77
Columbus 73
Warsaw 71
New York 70
Los Angeles 69
Nuremberg 67
Hanoi 66
Helsinki 64
Buffalo 62
Rome 62
Turin 60
Hefei 56
Woodbridge 56
Dong Ket 55
Nyköping 54
Vienna 52
Seoul 50
Pisa 49
Memphis 46
Fremont 43
Toronto 38
Boston 37
São Paulo 36
Seattle 35
Tokyo 35
Council Bluffs 32
Düsseldorf 31
Frankfurt am Main 31
Norwalk 31
Boardman 29
Naples 26
Cambridge 22
Jakarta 21
Landshut 21
Rio de Janeiro 21
Bologna 20
Munich 19
Palermo 19
Turku 18
Wayne 18
Atlanta 16
Padova 16
Belo Horizonte 15
Bordeaux 15
Chicago 15
Verona 15
Brussels 14
Orem 14
Philadelphia 14
Da Nang 13
Haiphong 13
Washington 13
Kingston 12
Redwood City 12
San Diego 12
Bengaluru 11
Nanjing 11
Redondo Beach 11
Tashkent 11
Brooklyn 10
Figino 10
Jinan 10
Johannesburg 10
Las Vegas 10
Marseille 10
Mexico City 10
Catania 9
Chengdu 9
Falkenstein 9
Falls Church 9
Hangzhou 9
Paris 9
Phoenix 9
Sydney 9
Chennai 8
Erbil 8
Fort Worth 8
Totale 9.709
Salva come PNG Salva come JPEG
Nome #
A NonMonotonic Description Logic for Reasoning About Typicality 453
An efficient reasoner for description logics of typicality and rational closure 417
A Neural Network Model for Taxonomic Responding with Realistic Visual Inputs 356
RAT-OWL: Reasoning with rational closure in description logics of typicality 355
Semantic characterization of Rational Closure: from Propositional Logic to Description Logics 333
Special Issue on the 29th Italian Conference on Computational Logic: CILC 2014 312
Logics in Access Control: A Conditional Approach 272
Taxonomic and Whole Object Constraints: A Deep Architecture 266
A visual auditory model based on Growing Self-Organizing Maps to analyze the taxonomic response in early childhood. 261
A Modal Reconstruction of Rational Closure 241
A Multi-Engine Theorem Prover for a Description Logic of Typicality 235
A minimal model semantics for rational closure 229
Grounding Bayesian accounts of numerosity and variability effects in a similarity-based framework: the case of self-organising maps. 218
A minimal model semantics for nonmonotonic reasoning 217
DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics 217
Reasoning about Multiple Aspects in Rational Closure for DLs. 217
A Constructive Conditional Logic for Access Control:a completeness result and a sequent calculus 209
Rational Closure in SHIQ 209
A tableau calculus for a nonmonotonic extension of the Description Logic DL-Litecore 207
A conditional constructive logic for access control and its sequent calculus 206
A Non-monotonic Description Logic of Typicality 204
A tableau calculus for a nonmonotonic extension of EL^\bot 203
An Implmentation of a Free-variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: the Theorem Prover FreeP 1.0 202
A nonmonotonic extension of KLM Preferential Logic P 201
Minimal models for rational closure in SHIQ 196
Reasoning About Typicality in ALC and EL 191
A strengthening of rational closure in DLs: reasoning about multiple aspects 189
Verifying Compliance of Business Processes with Temporal Answer Sets 188
A Conditional Logic for Iterated Belief Revision. 184
Analytic Tableaux Calculi for KLM Rational Logic R 180
Analytic Tableaux for KLM Preferential and Cumulative Logics 180
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning 179
Verifying Business Process Compliance by Reasoning about Actions 179
Minimal Model Semantics and Rational Closure in Description Logics 178
ALC + T: a Preferential Extension of Description Logics 175
A Conditional Logic for Belief Revision. 175
Prototypical reasoning with low complexity Description Logics: preliminary results 173
ALC+T: Reasoning About Typicality in Description Logics 172
KLM Logics of Nonmonotonic Reasoning: Calculi and Implementations 171
Reasoning about typicality with low complexity Description Logics: the logic EL+⊥T 171
A semantics for Rational Closure: Preliminary Results 170
PreDeLo 1.0: a Theorem Prover for Preferential Description Logics 170
A Tableaux Calculus for KLM Preferential and Cumulative Logics 167
Preferential Description Logics 165
A constructive conditional logic for access control: a preliminary report 165
Proceedings of the 29th Italian Conference on Computational Logic 165
Extensions of Tableau calculi for preference-based conditional logics 163
Iterated Belief Revision and Conditional Logic 162
From Common Sense Reasonig to Neural Network Models: a Conditional and Multi-preferential Approach for Explainability and Neuro-Symbolic Integration 160
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning 159
Belief Revision and the Ramsey Test: a solution. 155
Reasoning about Typicality and Probabilities in Preferential Description Logics 152
Tableau Calculus for Preference-Based Conditional Logics: CE and Its Extensions 149
Preferential vs Rational Description Logics: which one for Reasoning About Typicality? 149
Weak AGM postulates and Strong Ramsey Test: a logical formalization 148
Reasoning About Typicality in Description Logics:the Logic ALC+T_{min} 146
Reasoning about typicality in low complexity DLs: the logics EL^\bot T_min and DL-lite_R T_min 145
Automated Deduction for Logics of Default Reasoning 144
Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment 143
Tableau Calculi for Preference-Based Conditional Logics. 141
Reasoning about Typicality in Preferential Description Logics 141
Rational closure for description logics of typicality 137
Primacy/recency effects in infant categorization 135
Extension of Description Logics for Reasoning About Typicality 132
Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods 131
Non-Classical Logics for Knowledge Representation and Reasoning 129
Non-Classical Logics for Knowledge Representation and Reasoning 129
Verifying Business Process Compliance by Reasoning about Actions 128
Encoding a Preferential Extension of the Description Logic SROIQ into SROIQ 128
Logics in Access Control: A Conditional Approach 125
The impact of labels onvisual categorisation: a neural network model 120
Labels as Features (not Names) for Infant Categorisation: A Neuro-computational approach 120
Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract) 117
Combining neural and symbolic approaches to solve the Picasso problem: A first step 115
Preferential Extensions of Lightweight Description Logics 111
Infant categorization as a dynamic process linked to memory. 111
PreDeLo 1.0 107
KLMLean 101
Towards a Rational Closure for expressive description logics: the case of SHIQ. 94
A reconstruction of the multipreference closure. 93
Proof Methods and Theorem Proving for Conditional Logics with Strong Centering 87
FreeP 79
Learning Typicality Inclusions in a Probabilistic Description Logic for Concept Combination 77
A Simple Computational Model of Semantic Priming in 18-Month-Olds 74
Strengthening the Rational Closure for Description Logics: An Overview 71
On a plausible concept-wise multipreference semantics and its relations with self-organising maps. 70
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps 69
Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure 62
Towards a Conditional Interpretation of Self Organising Maps 56
Reasoning about exceptions in ontologies: An approximation of the multipreference semantics 54
Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics 52
The impact of Inter Stimulus Interval on Semantic Priming: hysteresis or adaptation? A SOM neural network model 47
Preferential low complexity description logics: Complexity results and proof methods 23
Learning Typicality Inclusions in a Probabilistic Description Logic for Concept Combination 23
Learning typicality inclusions in a probabilistic description logic for concept combination and an application for recommending musical contents 18
Preface 13
null 5
Totale 15.523
Salva come PNG Salva come JPEG
Categoria #
all - tutte 40.091
article - articoli 0
book - libri 0
conference - conferenze 27.308
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 67.399
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022707 0 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/20264.297 224 232 255 399 360 220 439 227 330 404 393 814
2026/2027304 264 40 0 0 0 0 0 0 0 0 0 0
Totale 15.523