SFERA Archivio dei prodotti della Ricerca dell'Università di Ferrara

ALBERTI, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.453
AS - Asia 3.713
EU - Europa 3.338
SA - Sud America 632
AF - Africa 96
Continente sconosciuto - Info sul continente non disponibili 8
OC - Oceania 6
Totale 14.246
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.324
SG - Singapore 1.362
DE - Germania 1.304
CN - Cina 989
IT - Italia 541
BR - Brasile 485
VN - Vietnam 385
RU - Federazione Russa 367
UA - Ucraina 323
HK - Hong Kong 304
TR - Turchia 274
GB - Regno Unito 195
FI - Finlandia 127
SE - Svezia 120
FR - Francia 108
PL - Polonia 100
JP - Giappone 93
IN - India 68
MX - Messico 63
AT - Austria 52
CA - Canada 49
ID - Indonesia 48
AR - Argentina 47
ZA - Sudafrica 43
BD - Bangladesh 40
EC - Ecuador 31
NL - Olanda 31
IQ - Iraq 26
ES - Italia 24
CO - Colombia 18
PK - Pakistan 18
CL - Cile 14
UZ - Uzbekistan 14
PY - Paraguay 12
SA - Arabia Saudita 12
MY - Malesia 11
VE - Venezuela 11
JO - Giordania 9
MA - Marocco 9
EG - Egitto 8
LT - Lituania 8
TN - Tunisia 8
AE - Emirati Arabi Uniti 7
BE - Belgio 7
EU - Europa 7
PH - Filippine 7
AU - Australia 6
PE - Perù 6
AZ - Azerbaigian 5
CH - Svizzera 5
IE - Irlanda 5
LK - Sri Lanka 5
GE - Georgia 4
JM - Giamaica 4
KZ - Kazakistan 4
TW - Taiwan 4
UY - Uruguay 4
BN - Brunei Darussalam 3
BO - Bolivia 3
DO - Repubblica Dominicana 3
DZ - Algeria 3
ET - Etiopia 3
GA - Gabon 3
IR - Iran 3
KG - Kirghizistan 3
MZ - Mozambico 3
NG - Nigeria 3
TH - Thailandia 3
AL - Albania 2
AO - Angola 2
BG - Bulgaria 2
DK - Danimarca 2
GR - Grecia 2
HN - Honduras 2
HU - Ungheria 2
KE - Kenya 2
LB - Libano 2
MD - Moldavia 2
OM - Oman 2
PA - Panama 2
PT - Portogallo 2
RS - Serbia 2
SN - Senegal 2
TT - Trinidad e Tobago 2
AM - Armenia 1
BH - Bahrain 1
BM - Bermuda 1
BW - Botswana 1
BY - Bielorussia 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
GH - Ghana 1
GT - Guatemala 1
GY - Guiana 1
HR - Croazia 1
IL - Israele 1
KH - Cambogia 1
LV - Lettonia 1
LY - Libia 1
MG - Madagascar 1
Totale 14.236
Salva come PNG Salva come JPEG
Città #
Singapore 890
Ashburn 648
Woodbridge 579
Fairfield 542
Houston 404
San Jose 356
Jacksonville 338
Santa Clara 332
Chandler 324
Hong Kong 303
Beijing 289
Ann Arbor 219
Ferrara 219
Wilmington 214
Seattle 207
Cambridge 165
Izmir 125
Ho Chi Minh City 115
Nanjing 112
Milan 97
The Dalles 97
Hanoi 93
Tokyo 91
Warsaw 91
Los Angeles 87
Dallas 85
Princeton 76
Addison 74
Lauterbourg 67
Munich 64
Council Bluffs 63
Boardman 61
Bremen 58
San Diego 51
New York 47
São Paulo 45
Vienna 45
Bologna 42
Nanchang 41
Mexico City 38
Shanghai 35
Jakarta 31
Helsinki 29
Hefei 28
Orem 28
Turku 28
London 27
Hebei 26
Shenyang 26
Tianjin 26
Chicago 23
Dearborn 23
Falkenstein 23
Haiphong 23
Johannesburg 22
Chennai 21
San Francisco 21
Brooklyn 20
Columbus 20
Des Moines 20
Manchester 20
Montreal 20
Mountain View 20
Da Nang 19
Moscow 19
Jinan 18
Frankfurt am Main 17
Toronto 17
Atlanta 16
Changsha 16
Denver 16
Falls Church 16
Stockholm 16
Brasília 15
Baghdad 14
Jiaxing 14
Phoenix 14
San Mateo 14
Zhengzhou 14
Boston 13
Düsseldorf 13
Norwalk 13
Redwood City 13
Rio de Janeiro 13
Tashkent 13
Ningbo 12
Poplar 12
Rome 12
Quito 11
Taizhou 11
Orange 10
Washington 10
Charlotte 9
Kunming 9
Nuremberg 9
Padova 9
Belo Horizonte 8
Curitiba 8
Istanbul 8
Turin 8
Totale 8.833
Salva come PNG Salva come JPEG
Nome #
Probabilistic Hybrid Knowledge Bases under the Distribution Semantics 315
Probabilistic Logical Inference On the Web 284
cplint on SWISH: Probabilistic Logical Inference with a Web Browser 266
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases 257
Accountable protocols in abductive logic programming 254
A Computational Logic Application Framework for Service Discovery and Contracting 234
Deon  + : Abduction and Constraints for Normative Reasoning 222
Abduction in the context of a reasoning process: the SCIFF framework 221
Dischargeable obligations in abductive logic programming 217
Probabilistic Constraint Logic Theories 216
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation 212
Probabilistic logic programming for natural language processing 206
A computational logic-based approach to verification of IT systems 203
Abduction for specifying and verifying web service choreographies 202
Expressing and Verifying Business Contracts with Abductive Logic Programming 200
Compliance verification of agent interaction: A logic-based software tool 198
An Abductive Framework for A-Priori Verification of Web Services 195
Verification from declarative specifications using logic programming 193
Mapping deontic operators to abductive expectations 192
Dischargeable Obligations in the ScIFF Framework 186
Observation strategies for event detection with incidence on runtime verification 184
Expressing and Verifying Business Contracts with Abductive Logic Programming 178
Specification and verification of agent interaction protocols in a logic-based system 177
Sex differences in schizophrenia-spectrum diagnoses: results from a 30-year health record registry 164
Exploiting semantic technology in computational logic-based service contracting 163
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure 161
Verification from declarative specifications using logic programming 157
Accountable protocols in abductive logic programming (extended abstract) 155
Specification and verification of agent interaction protocols in a logic-based system 154
Learning specifications of interaction protocols and business processes and proving their properties 153
Iterated fixpoint well-founded semantics for hybrid knowledge bases 151
Mapping Deontic Operators to Abductive Expectations 149
null 144
Machine learning for recognition of individuals from motion capture time series: performance and explainability 143
Probabilistic inductive constraint logic 143
Un sistema basato su logica computazionale per il trattamento degli operatori deontici 142
An Abductive Interpretation for Open Agent Societies 141
Verifiable agent interaction in abductive logic programming: the SCIFF framework 139
Expressing interaction in combinatorial auction through social integrity constraints 137
Runtime addition of integrity constraints in SCIFF 136
Expressing interaction in combinatorial auction through social integrity constraints 136
null 133
A Verifiable Logic-Based Agent Architecture 133
Protocol specification and verification by using computational logic 130
null 127
Establishment of a Public Mental Health Database for Research Purposes in the Ferrara Province: Development and Preliminary Evaluation Study 126
null 126
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols 125
null 122
A CHR-based implementation of known arc-consistency 122
A logic-based approach to interaction design in open multi-agent systems 122
null 121
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture 121
null 120
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services 119
Policy-based reasoning for smart web service interaction 118
null 116
null 116
Abduction with hypotheses confirmation 116
null 114
Applicazione dei vincoli di integrità sociali come strumento di specifica delle interazioni in aste combinatorie 113
Machine learning from real data: A mental health registry case study 111
null 111
null 111
MAP Inference for Probabilistic Logic Programming 111
A spatial agent-based model for assessing strategies of adaptation to climate and tourism demand changes in an alpine tourism destination 110
Deep learning neural network prediction of postoperative complications in patients undergoing laparoscopic right hemicolectomy with or without CME and CVL for colon cancer: insights from SICE (Società Italiana di Chirurgia Endoscopica) CoDIG data 108
null 107
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes 107
A Social ACL Semantics by Deontic Constraints 106
Modeling interactions via commitments and expectations 105
null 104
null 104
A semantics for probabilistic hybrid knowledge bases with function symbols 102
Web Service Contracting: Specification and Reasoning with SCIFF 100
null 99
null 96
null 96
Security protocols verification in abductive logic programming: a case study 94
null 93
null 91
Why Can Neural Networks Recognize Us by Our Finger Movements? 90
null 87
Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties 84
Integration of abductive reasoning and constraint optimization in SCIFF 84
Integrating Abduction and Constraint Optimization in Constraint Handling Rules 83
null 83
Compliance verification of agent interaction: a logic-based tool 83
The CHR-based Implementation of the SCIFF Abductive System 80
The SOCS computational logic approach to the specification and verification of agent societies 80
null 79
null 77
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study 75
Policy-based reasoning for smart web-service interaction 73
null 73
null 72
null 71
null 71
null 67
The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system 67
Totale 13.665
Salva come PNG Salva come JPEG
Categoria #
all - tutte 54.875
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.739
Totale 57.614
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021316 0 0 0 0 0 0 0 0 0 131 130 55
2021/2022875 43 87 78 13 36 32 37 47 63 56 78 305
2022/2023823 73 38 29 93 170 147 49 59 100 1 33 31
2023/2024335 46 60 27 11 22 18 15 15 5 18 8 90
2024/20251.851 38 57 155 37 198 196 46 201 215 180 335 193
2025/20264.833 455 358 478 657 705 303 564 304 446 563 0 0
Totale 14.446