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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2017/201814 0000 00 00 00014
2018/2019979 1445 1078 29818 35165185149
2019/20201462 1871477198 143173 188110 157719324
2020/2021698 80276546 6647 6653 525736103
2021/20221146 134221116 179130 105120 3219104265
2022/20231592 22619495163 174171 20116 27971398
Totale 7466