CINECA IRIS Institutional Research Information System

GLIOZZI, Valentina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.260
EU - Europa 2.706
AS - Asia 794
OC - Oceania 17
Continente sconosciuto - Info sul continente non disponibili 9
AF - Africa 4
SA - Sud America 3
Totale 8.793
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.207
DK - Danimarca 641
CN - Cina 488
IT - Italia 363
SE - Svezia 270
IE - Irlanda 256
DE - Germania 234
FR - Francia 220
UA - Ucraina 218
FI - Finlandia 188
GB - Regno Unito 136
KR - Corea 102
SG - Singapore 92
PL - Polonia 70
VN - Vietnam 64
CA - Canada 49
AT - Austria 26
NL - Olanda 21
RU - Federazione Russa 18
JP - Giappone 16
BE - Belgio 14
IN - India 13
AU - Australia 11
EU - Europa 9
GR - Grecia 9
HK - Hong Kong 8
NZ - Nuova Zelanda 6
BG - Bulgaria 5
NO - Norvegia 5
MX - Messico 4
BR - Brasile 3
CH - Svizzera 3
ES - Italia 3
RO - Romania 3
TR - Turchia 3
AE - Emirati Arabi Uniti 2
EE - Estonia 2
IR - Iran 2
KW - Kuwait 2
NG - Nigeria 2
LK - Sri Lanka 1
MT - Malta 1
MU - Mauritius 1
PS - Palestinian Territory 1
ZA - Sudafrica 1
Totale 8.793
Salva come PNG Salva come JPEG
Città #
Ann Arbor 2.995
Chandler 298
Beijing 256
Dublin 255
Wilmington 211
Jacksonville 164
Guangzhou 129
Dearborn 122
Houston 122
Villeurbanne 105
Medford 94
Torino 94
Fairfield 91
Ashburn 90
Princeton 89
Warsaw 68
Dong Ket 55
Woodbridge 55
Nyköping 54
Pisa 49
Singapore 44
Fremont 43
Helsinki 43
Boston 35
Turin 35
Düsseldorf 31
New York 31
Norwalk 31
Seattle 31
Toronto 30
Milan 29
Boardman 26
Vienna 25
Cambridge 22
Landshut 21
Wayne 18
Bordeaux 14
Brussels 14
Padova 13
Redwood City 12
Verona 12
Hefei 10
Jinan 10
Falls Church 9
Nanjing 9
San Diego 9
Hangzhou 8
Naples 8
Kunming 7
Nuremberg 7
San Mauro Torinese 7
Hong Kong 6
Mountain View 6
Nanchang 6
Paris 6
Alba 5
Deurne 5
Dresden 5
Kharkiv 5
Lachine 5
Los Angeles 5
Novara 5
Old Bridge 5
Rome 5
San Mateo 5
Sofia 5
Stavanger 5
Sydney 5
Zhengzhou 5
Baotou 4
Chengdu 4
Des Moines 4
Mainz 4
Ottawa 4
Piemonte 4
Shenzhen 4
Simi Valley 4
Southend 4
Wuhan 4
Andover 3
Auburn Hills 3
Bologna 3
Catania 3
Fontanil 3
Grafing 3
Horia 3
Kolkata 3
London 3
Munich 3
Phoenix 3
Rueil-Malmaison 3
Seoul 3
Tampico 3
The Dalles 3
Tokyo 3
Abuja 2
Al Fintas 2
Alghero 2
Arras 2
Auckland 2
Totale 6.232
Salva come PNG Salva come JPEG
Nome #
An efficient reasoner for description logics of typicality and rational closure 317
A Neural Network Model for Taxonomic Responding with Realistic Visual Inputs 260
RAT-OWL: Reasoning with rational closure in description logics of typicality 257
Special Issue on the 29th Italian Conference on Computational Logic: CILC 2014 240
Semantic characterization of Rational Closure: from Propositional Logic to Description Logics 220
A NonMonotonic Description Logic for Reasoning About Typicality 210
A visual auditory model based on Growing Self-Organizing Maps to analyze the taxonomic response in early childhood. 205
Taxonomic and Whole Object Constraints: A Deep Architecture 190
Logics in Access Control: A Conditional Approach 173
Reasoning about Multiple Aspects in Rational Closure for DLs. 150
Grounding Bayesian accounts of numerosity and variability effects in a similarity-based framework: the case of self-organising maps. 149
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning 141
Verifying Business Process Compliance by Reasoning about Actions 135
A tableau calculus for a nonmonotonic extension of the Description Logic DL-Litecore 133
A minimal model semantics for nonmonotonic reasoning 132
Analytic Tableaux for KLM Preferential and Cumulative Logics 131
An Implmentation of a Free-variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: the Theorem Prover FreeP 1.0 130
A tableau calculus for a nonmonotonic extension of EL^\bot 130
A minimal model semantics for rational closure 126
Prototypical reasoning with low complexity Description Logics: preliminary results 123
KLM Logics of Nonmonotonic Reasoning: Calculi and Implementations 122
ALC + T: a Preferential Extension of Description Logics 122
A nonmonotonic extension of KLM Preferential Logic P 121
A strengthening of rational closure in DLs: reasoning about multiple aspects 121
Extensions of Tableau calculi for preference-based conditional logics 120
A conditional constructive logic for access control and its sequent calculus 117
A Multi-Engine Theorem Prover for a Description Logic of Typicality 116
A Tableaux Calculus for KLM Preferential and Cumulative Logics 115
ALC+T: Reasoning About Typicality in Description Logics 115
Rational Closure in SHIQ 115
A Conditional Logic for Belief Revision. 115
Analytic Tableaux Calculi for KLM Rational Logic R 114
Reasoning About Typicality in ALC and EL 113
DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics 113
Verifying Compliance of Business Processes with Temporal Answer Sets 112
A Constructive Conditional Logic for Access Control:a completeness result and a sequent calculus 110
Iterated Belief Revision and Conditional Logic 109
A Non-monotonic Description Logic of Typicality 109
Minimal models for rational closure in SHIQ 109
Preferential Description Logics 108
Reasoning about typicality with low complexity Description Logics: the logic EL+⊥T 107
Reasoning About Typicality in Description Logics:the Logic ALC+T_{min} 105
A Modal Reconstruction of Rational Closure 105
PreDeLo 1.0: a Theorem Prover for Preferential Description Logics 104
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning 103
Preferential vs Rational Description Logics: which one for Reasoning About Typicality? 103
A Conditional Logic for Iterated Belief Revision. 101
A semantics for Rational Closure: Preliminary Results 100
Belief Revision and the Ramsey Test: a solution. 99
Automated Deduction for Logics of Default Reasoning 99
Weak AGM postulates and Strong Ramsey Test: a logical formalization 93
Reasoning about Typicality in Preferential Description Logics 93
Reasoning about typicality in low complexity DLs: the logics EL^\bot T_min and DL-lite_R T_min 92
Minimal Model Semantics and Rational Closure in Description Logics 92
Proceedings of the 29th Italian Conference on Computational Logic 91
Non-Classical Logics for Knowledge Representation and Reasoning 90
Tableau Calculus for Preference-Based Conditional Logics: CE and Its Extensions 88
Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment 87
Tableau Calculi for Preference-Based Conditional Logics. 84
Primacy/recency effects in infant categorization 84
Logics in Access Control: A Conditional Approach 83
Encoding a Preferential Extension of the Description Logic SROIQ into SROIQ 82
Verifying Business Process Compliance by Reasoning about Actions 81
The impact of labels onvisual categorisation: a neural network model 80
A constructive conditional logic for access control: a preliminary report 80
Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods 80
Reasoning about Typicality and Probabilities in Preferential Description Logics 80
Rational closure for description logics of typicality 76
Non-Classical Logics for Knowledge Representation and Reasoning 75
Labels as Features (not Names) for Infant Categorisation: A Neuro-computational approach 74
Preferential Extensions of Lightweight Description Logics 72
Extension of Description Logics for Reasoning About Typicality 71
PreDeLo 1.0 54
Towards a Rational Closure for expressive description logics: the case of SHIQ. 50
Combining neural and symbolic approaches to solve the Picasso problem: A first step 47
From Common Sense Reasonig to Neural Network Models: a Conditional and Multi-preferential Approach for Explainability and Neuro-Symbolic Integration 46
Infant categorization as a dynamic process linked to memory. 46
KLMLean 44
FreeP 43
Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure 24
A reconstruction of the multipreference closure. 23
Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract) 20
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps 19
Towards a Conditional Interpretation of Self Organising Maps 14
Strengthening the Rational Closure for Description Logics: An Overview 12
Reasoning about exceptions in ontologies: An approximation of the multipreference semantics 10
On a plausible concept-wise multipreference semantics and its relations with self-organising maps. 8
null 5
Proof Methods and Theorem Proving for Conditional Logics with Strong Centering 3
Totale 9.170
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.897
article - articoli 0
book - libri 0
conference - conferenze 13.722
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 33.619
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.594 27 166 232 134 84 181 157 85 158 110 150 110
2020/20213.628 159 89 96 77 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/202527 27 0 0 0 0 0 0 0 0 0 0 0
Totale 9.170