CINECA IRIS Institutional Research Information System

MANCARELLA, PAOLO MARIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.945
AS - Asia 3.554
EU - Europa 3.058
SA - Sud America 430
AF - Africa 134
Continente sconosciuto - Info sul continente non disponibili 131
OC - Oceania 6
Totale 14.258
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.670
CN - Cina 1.120
SG - Singapore 1.008
IT - Italia 988
SE - Svezia 645
HK - Hong Kong 559
BR - Brasile 354
BG - Bulgaria 236
FR - Francia 223
DE - Germania 217
CA - Canada 210
VN - Vietnam 203
UA - Ucraina 201
KR - Corea 189
TR - Turchia 151
FI - Finlandia 124
GB - Regno Unito 119
RU - Federazione Russa 102
CH - Svizzera 89
JP - Giappone 78
IN - India 67
BD - Bangladesh 41
CI - Costa d'Avorio 30
BE - Belgio 29
IQ - Iraq 26
NG - Nigeria 24
SN - Senegal 18
GR - Grecia 15
SA - Arabia Saudita 15
ZA - Sudafrica 15
AR - Argentina 14
EC - Ecuador 13
MA - Marocco 13
MX - Messico 13
NL - Olanda 13
PK - Pakistan 13
VE - Venezuela 13
AT - Austria 11
ES - Italia 11
IR - Iran 10
UZ - Uzbekistan 10
TT - Trinidad e Tobago 9
UY - Uruguay 9
CO - Colombia 8
PL - Polonia 7
PY - Paraguay 7
AE - Emirati Arabi Uniti 6
CR - Costa Rica 6
EG - Egitto 6
JM - Giamaica 6
JO - Giordania 6
KE - Kenya 6
AU - Australia 5
BB - Barbados 5
EU - Europa 5
HN - Honduras 5
ID - Indonesia 5
NI - Nicaragua 5
AO - Angola 4
BJ - Benin 4
CL - Cile 4
CZ - Repubblica Ceca 4
DZ - Algeria 4
HU - Ungheria 4
IL - Israele 4
LB - Libano 4
MY - Malesia 4
PH - Filippine 4
PS - Palestinian Territory 4
YE - Yemen 4
DO - Repubblica Dominicana 3
LT - Lituania 3
PA - Panama 3
PE - Perù 3
RO - Romania 3
SK - Slovacchia (Repubblica Slovacca) 3
TH - Thailandia 3
TN - Tunisia 3
BO - Bolivia 2
DK - Danimarca 2
GY - Guiana 2
KZ - Kazakistan 2
MD - Moldavia 2
MN - Mongolia 2
NO - Norvegia 2
NP - Nepal 2
OM - Oman 2
QA - Qatar 2
RE - Reunion 2
XK - ???statistics.table.value.countryCode.XK??? 2
AG - Antigua e Barbuda 1
AZ - Azerbaigian 1
BM - Bermuda 1
BN - Brunei Darussalam 1
BQ - ???statistics.table.value.countryCode.BQ??? 1
BT - Bhutan 1
BY - Bielorussia 1
BZ - Belize 1
CG - Congo 1
CY - Cipro 1
Totale 14.112
Salva come PNG Salva come JPEG
Città #
Ashburn 731
Woodbridge 607
Singapore 583
Hong Kong 552
Ann Arbor 505
Fairfield 478
Chandler 458
Houston 437
Santa Clara 422
San Jose 277
Jacksonville 266
Hefei 236
Milan 236
Sofia 236
Beijing 223
Seattle 205
Shanghai 202
Dallas 200
Seoul 171
Wilmington 167
Serra 161
Ottawa 158
Cambridge 155
New York 150
Boardman 111
Princeton 111
Nanjing 94
Florence 92
Lawrence 92
Marseille 92
Izmir 89
Bern 86
Lauterbourg 81
Tokyo 74
Los Angeles 73
Pisa 65
Dearborn 60
Des Moines 56
Council Bluffs 55
Buffalo 50
Medford 49
Istanbul 45
Dong Ket 44
Jüchen 44
Hanoi 37
San Diego 36
Bremen 35
Ho Chi Minh City 35
São Paulo 35
Nanchang 31
Abidjan 30
Brussels 28
Kunming 27
Boulder 26
Lagos 24
North York 24
Ogden 22
Helsinki 20
Guangzhou 19
London 19
Changsha 18
Dakar 18
Redondo Beach 18
Rome 18
Redwood City 17
Shenyang 17
Pune 16
Munich 15
Genoa 13
Hebei 13
Chicago 12
Fuzhou 12
Rio de Janeiro 12
Tianjin 12
Frankfurt am Main 11
Vienna 11
Baghdad 10
Baltimore 10
Lappeenranta 10
Belo Horizonte 9
Dhaka 9
Indiana 9
Jiaxing 9
Montevideo 9
Norwalk 9
San Francisco 9
Auburn Hills 8
Columbus 8
Hangzhou 8
Lucca 8
Orange 8
Seelze 8
Casablanca 7
Chennai 7
Düsseldorf 7
Figino 7
Jeddah 7
Jinan 7
Quanzhou 7
San Giuliano Terme 7
Totale 10.157
Salva come PNG Salva come JPEG
Nome #
Bridging the gap between high school and University studies for student with disability 244
: Web Sites Verification: An Abductive Logic Programming Tool 230
Negation as Failure through Abduction: Reasoning about Termination 213
Abductive logic programming with CIFF: System description 199
A Progress Report on the LML Project 198
Abductive Logic Programming 197
A TRANSFORMATIONAL APPROACH TO NEGATION IN LOGIC PROGRAMMING 192
KNOWLEDGE ASSIMILATION AND ABDUCTION 190
An Algebra of Logic Programs 189
Time in a Multi-theory Logical Framework 189
Theory Construction in Computational Logic 188
Generalized Stable Models: A Semantics for Abduction 187
Normal logic programs as open positive programs 185
Can the principle of co-management allow to involve students to build the Universities of the future? 184
Implementations of Program Composition Operations 184
ABDUCTIVE REASONING IN A MULTI-THEORY FRAMEWORK 183
LOGIC PROGRAMMING WITHIN A FUNCTIONAL FRAMEWORK 182
Production systems with negation as failure 180
Arguing over Goals for Negotiation: Adopting an Assumption-Based Argumentation Decision Support System 179
Argumentation-based proof procedures for credulous and sceptical non-monotonic reasoning 178
An abductive framework for extended logic programming 177
MuTACLP: A language for temporal reasoning with multiple theories 175
Declarative agent control 175
On the Extension of Argumentation Logic 174
Multidisciplinar Team on Assistive Technology for University Students 174
Programming Applications in CIFF 173
Integrating Knowledge Representation and Reasoning in Geographical Information Systems 170
Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties 169
Planning partially for situated agents 168
The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments 168
A Multiple-Valued Logical Semantics for Prolog 167
The CIFF Proof Procedure for Abductive Logic Programming with Constraints 166
Some design guidelines for practical argumentation systems 166
On the semantics of abstract argumentation 166
Universal Quantification by Case Analysis 165
The Acceptability Semantics for Logic Programs 165
Web Sites Repairing through Abduction 164
Negation as Stable Hypotheses 161
On modelling multi-agent systems declaratively 161
Algebraic Properties of a Class of Logic Programs 159
A unifying view for logic programming with non-monotonic reasoning 158
Computational Logic Foundations of KGP Agents 156
Computing ideal sceptical argumentation 156
Ausili Tecnologici per la fruizione e la produzione di contenuti Didattici da parte di studenti universitari disabili 155
Paolo Maria Mancarella - rettore 154
MODULAR LOGIC PROGRAMMING 153
COMPLETE LOGIC PROGRAMS WITH DOMAIN-CLOSURE AXIOM 152
The KGP model of agency for global computing: Computational model and prototype implementation 150
Assumption-Based Argumentation for the Minimal Concession Strategy 147
INTENSIONAL NEGATION OF LOGIC PROGRAMS - EXAMPLES AND IMPLEMENTATION TECHNIQUES 147
Abduction in Classification Tasks 146
On Argumentation Logic and Propositional Logic 145
Stable Theories for Logic Programs 144
Presentazione (Introduction) 144
Towards a Logical Semantics fo Prolog 142
Argumentative Agents for Service-Oriented Computing 142
Accoglienza e pianificazione del percorso universitario per studenti disabili 141
An Argumentative Model for Service-Oriented Agents 141
Saluti introduttivi 141
Database Updates through Abduction 139
MuTACLP: a Language for Temporal Reasoning with Miltiple Theories 136
Prefazione 136
Stable Multi-agent Systems 135
A dialectic procedure for sceptical, assumption-based argumentation 135
Computational logic in agent based systems 134
MuTACLP: A language for declarative GIS analysis 134
Argument Graphs for Defeasible Logic Programming 133
Temporal Annotated Constraint Logic Programming with Multiple Theories 129
An abductive proof procedure handling active rules 129
Production Systems Need Negation as Failure 128
The KGP Model of Agency 128
Your land is my land 127
Argumentation for Propositional Logic and Nonmonotonic Reasoning 126
A High Level Analysis Tool for Concurrent Programs 124
Vers une architecture modulaire d'agent argumentatif pour la composition de services 122
Memory-Aware Frequent k-Itemset Mining 121
Argumentation Logic 118
META FOR MODULARIZING LOGIC PROGRAMMING 117
Knowledge Representation with Multiple Logical Theories and Time 114
Due anniversari 114
A semantics for positive abductive logic programs with implicative integrity constraints 113
Perché un "Alfabeto dello sviluppo sostenibile e dei cambiamenti climartici" 110
Prefazione 110
Ausili Tecnologici per la fruizione e la produzione di contenuti Didattici da parte di studenti universitari disabili 109
Prefazione a "Addio mia bella addio" 109
PREFERRED EXTENSIONS ARE PARTIAL STABLE MODELS 108
Un buon esempio 107
Argumentation and Propositional Logic 106
Prefazione 101
Prefazione a "Se il risultato è contrario all'ipotesi" 94
Il piccolo maestro e i giovani 92
Argumentation for Propositional Logic and Nonmonotonic Reasoning 90
Sentiamo il dovere senza averne il diritto 74
La nascita della CNUDD sotto la guida di Edoardo Arslan 72
Saluto del Rettore 67
Presentazione 50
AL+: Extended argumentation logic 19
Totale 14.258
Salva come PNG Salva come JPEG
Categoria #
all - tutte 45.892
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 45.892
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.133 0 42 21 116 179 130 105 120 32 19 104 265
2022/20231.587 226 194 95 163 174 171 16 112 278 6 133 19
2023/20241.038 154 104 139 66 155 210 47 32 13 4 27 87
2024/20253.010 12 104 59 125 316 227 209 182 222 357 399 798
2025/20262.657 209 447 286 189 167 230 436 113 137 241 72 130
2026/202792 66 26 0 0 0 0 0 0 0 0 0 0
Totale 14.258