CINECA IRIS Institutional Research Information System

MANCARELLA, PAOLO MARIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.856
AS - Asia 3.553
EU - Europa 3.048
SA - Sud America 430
AF - Africa 134
Continente sconosciuto - Info sul continente non disponibili 7
OC - Oceania 6
Totale 14.034
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.594
CN - Cina 1.120
SG - Singapore 1.008
IT - Italia 984
SE - Svezia 645
HK - Hong Kong 559
BR - Brasile 354
BG - Bulgaria 235
FR - Francia 223
DE - Germania 217
CA - Canada 204
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
NL - Olanda 13
PK - Pakistan 13
VE - Venezuela 13
MX - Messico 12
ES - Italia 11
IR - Iran 10
UZ - Uzbekistan 10
TT - Trinidad e Tobago 9
UY - Uruguay 9
CO - Colombia 8
AT - Austria 7
PL - Polonia 7
PY - Paraguay 7
AE - Emirati Arabi Uniti 6
EG - Egitto 6
JM - Giamaica 6
JO - Giordania 6
KE - Kenya 6
AU - Australia 5
BB - Barbados 5
CR - Costa Rica 5
EU - Europa 5
ID - Indonesia 5
AO - Angola 4
BJ - Benin 4
CL - Cile 4
CZ - Repubblica Ceca 4
DZ - Algeria 4
HN - Honduras 4
HU - Ungheria 4
LB - Libano 4
MY - Malesia 4
NI - Nicaragua 4
PH - Filippine 4
PS - Palestinian Territory 4
YE - Yemen 4
DO - Repubblica Dominicana 3
IL - Israele 3
LT - Lituania 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
PA - Panama 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
BT - Bhutan 1
BY - Bielorussia 1
BZ - Belize 1
CG - Congo 1
CY - Cipro 1
DM - Dominica 1
Totale 14.015
Salva come PNG Salva come JPEG
Città #
Ashburn 716
Woodbridge 607
Singapore 583
Hong Kong 552
Ann Arbor 505
Fairfield 478
Chandler 458
Houston 436
Santa Clara 422
San Jose 277
Jacksonville 266
Hefei 236
Milan 236
Sofia 235
Beijing 223
Seattle 205
Shanghai 202
Dallas 199
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 72
Pisa 65
Dearborn 60
Des Moines 56
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
Council Bluffs 18
Dakar 18
Redondo Beach 18
Rome 18
Redwood City 17
Shenyang 17
Pune 16
Munich 15
Genoa 13
Hebei 13
Fuzhou 12
Rio de Janeiro 12
Tianjin 12
Chicago 11
Frankfurt am Main 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
Vienna 7
Totale 10.096
Salva come PNG Salva come JPEG
Nome #
Bridging the gap between high school and University studies for student with disability 234
: Web Sites Verification: An Abductive Logic Programming Tool 224
Negation as Failure through Abduction: Reasoning about Termination 212
Abductive logic programming with CIFF: System description 199
A Progress Report on the LML Project 197
Abductive Logic Programming 197
KNOWLEDGE ASSIMILATION AND ABDUCTION 190
A TRANSFORMATIONAL APPROACH TO NEGATION IN LOGIC PROGRAMMING 190
Theory Construction in Computational Logic 188
Time in a Multi-theory Logical Framework 187
Generalized Stable Models: A Semantics for Abduction 185
An Algebra of Logic Programs 185
Normal logic programs as open positive programs 185
ABDUCTIVE REASONING IN A MULTI-THEORY FRAMEWORK 183
Implementations of Program Composition Operations 183
LOGIC PROGRAMMING WITHIN A FUNCTIONAL FRAMEWORK 182
Can the principle of co-management allow to involve students to build the Universities of the future? 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 176
MuTACLP: A language for temporal reasoning with multiple theories 174
Declarative agent control 174
Multidisciplinar Team on Assistive Technology for University Students 174
Integrating Knowledge Representation and Reasoning in Geographical Information Systems 170
On the Extension of Argumentation Logic 169
Programming Applications in CIFF 169
Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties 169
The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments 168
Planning partially for situated agents 167
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
A Multiple-Valued Logical Semantics for Prolog 165
Web Sites Repairing through Abduction 164
The CIFF Proof Procedure for Abductive Logic Programming with Constraints 163
Algebraic Properties of a Class of Logic Programs 159
Negation as Stable Hypotheses 158
On modelling multi-agent systems declaratively 158
A unifying view for logic programming with non-monotonic reasoning 158
Computational Logic Foundations of KGP Agents 155
Ausili Tecnologici per la fruizione e la produzione di contenuti Didattici da parte di studenti universitari disabili 154
Paolo Maria Mancarella - rettore 154
Computing ideal sceptical argumentation 154
COMPLETE LOGIC PROGRAMS WITH DOMAIN-CLOSURE AXIOM 152
MODULAR LOGIC PROGRAMMING 152
The KGP model of agency for global computing: Computational model and prototype implementation 149
Assumption-Based Argumentation for the Minimal Concession Strategy 146
INTENSIONAL NEGATION OF LOGIC PROGRAMS - EXAMPLES AND IMPLEMENTATION TECHNIQUES 146
On Argumentation Logic and Propositional Logic 145
Presentazione (Introduction) 143
Stable Theories for Logic Programs 142
Towards a Logical Semantics fo Prolog 142
Accoglienza e pianificazione del percorso universitario per studenti disabili 141
Abduction in Classification Tasks 140
Saluti introduttivi 140
Database Updates through Abduction 139
Argumentative Agents for Service-Oriented Computing 139
An Argumentative Model for Service-Oriented Agents 139
MuTACLP: a Language for Temporal Reasoning with Miltiple Theories 136
Stable Multi-agent Systems 135
A dialectic procedure for sceptical, assumption-based argumentation 135
Prefazione 135
MuTACLP: A language for declarative GIS analysis 134
Computational logic in agent based systems 133
Argument Graphs for Defeasible Logic Programming 133
An abductive proof procedure handling active rules 129
The KGP Model of Agency 127
Temporal Annotated Constraint Logic Programming with Multiple Theories 126
Argumentation for Propositional Logic and Nonmonotonic Reasoning 126
Production Systems Need Negation as Failure 125
Your land is my land 125
Vers une architecture modulaire d'agent argumentatif pour la composition de services 122
A High Level Analysis Tool for Concurrent Programs 122
Memory-Aware Frequent k-Itemset Mining 121
META FOR MODULARIZING LOGIC PROGRAMMING 116
Argumentation Logic 116
Knowledge Representation with Multiple Logical Theories and Time 114
Due anniversari 114
A semantics for positive abductive logic programs with implicative integrity constraints 113
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
Perché un "Alfabeto dello sviluppo sostenibile e dei cambiamenti climartici" 109
Prefazione 109
PREFERRED EXTENSIONS ARE PARTIAL STABLE MODELS 107
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 89
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 16
Totale 14.157
Salva come PNG Salva come JPEG
Categoria #
all - tutte 44.829
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 44.829
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021103 0 0 0 0 0 0 0 0 0 0 0 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/20262.648 209 447 286 189 167 230 436 113 137 241 72 121
Totale 14.157