CINECA IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021414 0 0 0 0 0 47 66 53 52 57 36 103
2021/20221.146 13 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/20261.518 209 447 286 189 167 220 0 0 0 0 0 0
Totale 13.027