CINECA IRIS Institutional Research Information System

MANCARELLA, PAOLO MARIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.916
EU - Europa 2.571
AS - Asia 703
AF - Africa 67
Continente sconosciuto - Info sul continente non disponibili 5
SA - Sud America 3
OC - Oceania 2
Totale 8.267
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.732
IT - Italia 839
SE - Svezia 643
CN - Cina 421
BG - Bulgaria 235
UA - Ucraina 189
CA - Canada 184
DE - Germania 181
FR - Francia 118
FI - Finlandia 106
TR - Turchia 94
CH - Svizzera 89
GB - Regno Unito 80
VN - Vietnam 76
SG - Singapore 34
HK - Hong Kong 30
BE - Belgio 28
CI - Costa d'Avorio 27
NG - Nigeria 22
RU - Federazione Russa 19
KR - Corea 18
SN - Senegal 16
IN - India 15
GR - Grecia 14
IR - Iran 9
NL - Olanda 6
EU - Europa 5
ES - Italia 4
HU - Ungheria 4
CZ - Repubblica Ceca 3
AT - Austria 2
BR - Brasile 2
DK - Danimarca 2
JP - Giappone 2
PL - Polonia 2
RE - Reunion 2
RO - Romania 2
SK - Slovacchia (Repubblica Slovacca) 2
AU - Australia 1
BN - Brunei Darussalam 1
EC - Ecuador 1
IQ - Iraq 1
MD - Moldavia 1
MY - Malesia 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
RS - Serbia 1
TH - Thailandia 1
Totale 8.267
Salva come PNG Salva come JPEG
Città #
Woodbridge 607
Ann Arbor 504
Fairfield 478
Chandler 458
Houston 434
Ashburn 287
Jacksonville 264
Sofia 235
Milan 218
Seattle 204
Wilmington 167
Serra 161
Ottawa 157
Cambridge 155
New York 139
Beijing 126
Princeton 111
Nanjing 94
Marseille 92
Lawrence 91
Bern 86
Florence 84
Izmir 84
Dearborn 60
Des Moines 56
Medford 49
Dong Ket 44
Jüchen 44
San Diego 36
Bremen 35
Nanchang 31
Hong Kong 28
Abidjan 27
Brussels 27
Kunming 27
Boulder 26
Pisa 25
North York 24
Lagos 22
Guangzhou 17
Redwood City 17
Shenyang 17
Dakar 16
Rome 16
Boardman 15
Changsha 15
Pune 15
Helsinki 14
Hebei 13
Tianjin 12
Hefei 11
London 11
Indiana 9
Norwalk 9
Auburn Hills 8
Jiaxing 8
Ogden 8
Orange 8
Seelze 8
Düsseldorf 7
Jinan 7
Los Angeles 7
Shanghai 7
Istanbul 6
Lanzhou 6
Predore 6
Athens 5
Hangzhou 5
Tampa 5
Bologna 4
Budapest 4
Enterprise 4
Frankfurt am Main 4
Genoa 4
Kocaeli 4
Lucca 4
Maastricht 4
San Francisco 4
Sìnnai 4
Changchun 3
Chengdu 3
Napoli 3
Nürnberg 3
Pieve 3
Washington 3
Zurich 3
Ancona 2
Baotou 2
Bari 2
Bratislava 2
Bullhead City 2
Central District 2
Cerro Maggiore 2
Chehalis 2
Chicago 2
Edinburgh 2
Frankfurt Am Main 2
Fuzhou 2
La Possession 2
Las Vegas 2
Totale 6.194
Salva come PNG Salva come JPEG
Nome #
: Web Sites Verification: An Abductive Logic Programming Tool 172
A TRANSFORMATIONAL APPROACH TO NEGATION IN LOGIC PROGRAMMING 141
Negation as Failure through Abduction: Reasoning about Termination 140
Time in a Multi-theory Logical Framework 137
Implementations of Program Composition Operations 135
Arguing over Goals for Negotiation: Adopting an Assumption-Based Argumentation Decision Support System 130
Abductive logic programming with CIFF: System description 129
Programming Applications in CIFF 129
Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties 129
Abductive Logic Programming 125
KNOWLEDGE ASSIMILATION AND ABDUCTION 123
A Multiple-Valued Logical Semantics for Prolog 121
A Progress Report on the LML Project 120
Theory Construction in Computational Logic 120
Normal logic programs as open positive programs 119
MuTACLP: A language for temporal reasoning with multiple theories 118
An abductive framework for extended logic programming 117
Argumentation-based proof procedures for credulous and sceptical non-monotonic reasoning 117
Planning partially for situated agents 117
Integrating Knowledge Representation and Reasoning in Geographical Information Systems 116
Production systems with negation as failure 115
Generalized Stable Models: A Semantics for Abduction 112
The CIFF Proof Procedure for Abductive Logic Programming with Constraints 110
Declarative agent control 110
LOGIC PROGRAMMING WITHIN A FUNCTIONAL FRAMEWORK 109
ABDUCTIVE REASONING IN A MULTI-THEORY FRAMEWORK 109
On modelling multi-agent systems declaratively 108
On the semantics of abstract argumentation 108
Computing ideal sceptical argumentation 108
Web Sites Repairing through Abduction 105
Assumption-Based Argumentation for the Minimal Concession Strategy 105
COMPLETE LOGIC PROGRAMS WITH DOMAIN-CLOSURE AXIOM 105
The Acceptability Semantics for Logic Programs 104
An Algebra of Logic Programs 103
Computational Logic Foundations of KGP Agents 103
Some design guidelines for practical argumentation systems 101
MODULAR LOGIC PROGRAMMING 101
Can the principle of co-management allow to involve students to build the Universities of the future? 100
The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments 99
An abductive proof procedure handling active rules 99
Abduction in Classification Tasks 97
Argumentative Agents for Service-Oriented Computing 96
Bridging the gap between high school and University studies for student with disability 96
An Argumentative Model for Service-Oriented Agents 95
INTENSIONAL NEGATION OF LOGIC PROGRAMS - EXAMPLES AND IMPLEMENTATION TECHNIQUES 94
Algebraic Properties of a Class of Logic Programs 92
The KGP model of agency for global computing: Computational model and prototype implementation 92
A unifying view for logic programming with non-monotonic reasoning 91
Universal Quantification by Case Analysis 90
Multidisciplinar Team on Assistive Technology for University Students 90
On Argumentation Logic and Propositional Logic 90
Computational logic in agent based systems 89
Ausili Tecnologici per la fruizione e la produzione di contenuti Didattici da parte di studenti universitari disabili 88
Temporal Annotated Constraint Logic Programming with Multiple Theories 85
MuTACLP: A language for declarative GIS analysis 84
Negation as Stable Hypotheses 83
Towards a Logical Semantics fo Prolog 83
Argument Graphs for Defeasible Logic Programming 82
Presentazione (Introduction) 82
Argumentation for Propositional Logic and Nonmonotonic Reasoning 80
The KGP Model of Agency 79
Memory-Aware Frequent k-Itemset Mining 79
A dialectic procedure for sceptical, assumption-based argumentation 78
Database Updates through Abduction 76
A semantics for positive abductive logic programs with implicative integrity constraints 76
Prefazione 76
Vers une architecture modulaire d'agent argumentatif pour la composition de services 75
Stable Theories for Logic Programs 74
Production Systems Need Negation as Failure 73
Stable Multi-agent Systems 73
MuTACLP: a Language for Temporal Reasoning with Miltiple Theories 71
Saluti introduttivi 69
Paolo Maria Mancarella - rettore 68
Knowledge Representation with Multiple Logical Theories and Time 67
A High Level Analysis Tool for Concurrent Programs 67
PREFERRED EXTENSIONS ARE PARTIAL STABLE MODELS 65
Accoglienza e pianificazione del percorso universitario per studenti disabili 64
META FOR MODULARIZING LOGIC PROGRAMMING 59
Argumentation and Propositional Logic 58
Ausili Tecnologici per la fruizione e la produzione di contenuti Didattici da parte di studenti universitari disabili 52
Un buon esempio 51
Argumentation Logic 50
Prefazione 50
Due anniversari 49
Prefazione a "Addio mia bella addio" 47
Prefazione 47
Perché un "Alfabeto dello sviluppo sostenibile e dei cambiamenti climartici" 47
Prefazione a "Se il risultato è contrario all'ipotesi" 44
Il piccolo maestro e i giovani 41
Your land is my land 37
Argumentation for Propositional Logic and Nonmonotonic Reasoning 35
Sentiamo il dovere senza averne il diritto 26
La nascita della CNUDD sotto la guida di Edoardo Arslan 10
Saluto del Rettore 2
Presentazione 2
Totale 8.385
Salva come PNG Salva come JPEG
Categoria #
all - tutte 26.239
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 26.239
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019334 0 0 0 0 0 0 0 0 0 0 185 149
2019/20201.462 187 147 71 98 143 173 188 110 157 71 93 24
2020/2021698 80 27 65 46 66 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/2024924 154 104 139 66 155 210 47 32 13 4 0 0
Totale 8.385