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

ALBERTI, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.137
AS - Asia 3.823
EU - Europa 3.429
SA - Sud America 644
Continente sconosciuto - Info sul continente non disponibili 211
AF - Africa 96
OC - Oceania 6
Totale 15.346
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.962
SG - Singapore 1.380
DE - Germania 1.305
CN - Cina 1.009
IT - Italia 605
BR - Brasile 488
VN - Vietnam 389
RU - Federazione Russa 367
UA - Ucraina 324
HK - Hong Kong 308
TR - Turchia 274
GB - Regno Unito 199
SE - Svezia 133
FI - Finlandia 127
FR - Francia 108
PL - Polonia 101
BD - Bangladesh 95
JP - Giappone 95
CA - Canada 72
IN - India 68
MX - Messico 64
AT - Austria 52
ID - Indonesia 51
AR - Argentina 47
ZA - Sudafrica 43
EC - Ecuador 32
NL - Olanda 31
ES - Italia 28
IQ - Iraq 26
CO - Colombia 21
PK - Pakistan 18
CL - Cile 15
PY - Paraguay 14
UZ - Uzbekistan 14
SA - Arabia Saudita 12
MY - Malesia 11
VE - Venezuela 11
JM - Giamaica 9
JO - Giordania 9
MA - Marocco 9
BE - Belgio 8
EG - Egitto 8
LT - Lituania 8
TN - Tunisia 8
AE - Emirati Arabi Uniti 7
EU - Europa 7
PH - Filippine 7
AU - Australia 6
PE - Perù 6
UY - Uruguay 6
AZ - Azerbaigian 5
CH - Svizzera 5
CR - Costa Rica 5
GT - Guatemala 5
IE - Irlanda 5
LK - Sri Lanka 5
GE - Georgia 4
KZ - Kazakistan 4
NP - Nepal 4
PA - Panama 4
TH - Thailandia 4
TW - Taiwan 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
MD - Moldavia 3
MZ - Mozambico 3
NG - Nigeria 3
TT - Trinidad e Tobago 3
AL - Albania 2
AO - Angola 2
BG - Bulgaria 2
BM - Bermuda 2
CZ - Repubblica Ceca 2
DK - Danimarca 2
GR - Grecia 2
HN - Honduras 2
HU - Ungheria 2
KE - Kenya 2
LB - Libano 2
OM - Oman 2
PT - Portogallo 2
RS - Serbia 2
SN - Senegal 2
SV - El Salvador 2
AM - Armenia 1
BB - Barbados 1
BH - Bahrain 1
BS - Bahamas 1
BW - Botswana 1
BY - Bielorussia 1
CU - Cuba 1
GH - Ghana 1
GY - Guiana 1
HR - Croazia 1
Totale 15.129
Salva come PNG Salva come JPEG
Città #
Singapore 898
Ashburn 695
Woodbridge 579
Fairfield 542
San Jose 458
Houston 407
Santa Clara 353
Jacksonville 338
Chandler 324
Hong Kong 307
Beijing 300
Council Bluffs 261
Ferrara 224
Ann Arbor 219
Wilmington 214
Seattle 207
Cambridge 166
Izmir 125
Ho Chi Minh City 116
Nanjing 112
Milan 107
The Dalles 98
Los Angeles 96
Dallas 95
Hanoi 94
Tokyo 91
Warsaw 91
Princeton 76
Addison 74
New York 71
Lauterbourg 67
Munich 64
Boardman 61
Bremen 58
San Diego 53
Bologna 48
São Paulo 45
Vienna 45
Nanchang 41
Mexico City 38
Shanghai 35
Jakarta 32
Orem 30
Helsinki 29
Hefei 28
Turku 28
Chicago 27
London 27
Hebei 26
Shenyang 26
Tianjin 26
San Francisco 24
Brooklyn 23
Dearborn 23
Falkenstein 23
Haiphong 23
Montreal 23
Atlanta 22
Johannesburg 22
Toronto 22
Chennai 21
Columbus 21
Da Nang 21
Mountain View 21
Des Moines 20
Manchester 20
Moscow 19
Denver 18
Jinan 18
Rome 18
Frankfurt am Main 17
Changsha 16
Falls Church 16
Phoenix 16
Stockholm 16
Boston 15
Brasília 15
Zhengzhou 15
Baghdad 14
Jiaxing 14
San Mateo 14
Düsseldorf 13
Norwalk 13
Redwood City 13
Rio de Janeiro 13
Tashkent 13
Ningbo 12
Poplar 12
Charlotte 11
Philadelphia 11
Quito 11
Taizhou 11
Washington 11
Orange 10
Buffalo 9
Kunming 9
Nuremberg 9
Padova 9
Turin 9
Belo Horizonte 8
Totale 9.349
Salva come PNG Salva come JPEG
Nome #
Probabilistic Hybrid Knowledge Bases under the Distribution Semantics 327
Probabilistic Logical Inference On the Web 297
cplint on SWISH: Probabilistic Logical Inference with a Web Browser 280
Accountable protocols in abductive logic programming 273
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases 269
A Computational Logic Application Framework for Service Discovery and Contracting 242
Probabilistic Constraint Logic Theories 236
Deon  + : Abduction and Constraints for Normative Reasoning 233
Abduction in the context of a reasoning process: the SCIFF framework 228
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation 225
Dischargeable obligations in abductive logic programming 225
Probabilistic logic programming for natural language processing 216
A computational logic-based approach to verification of IT systems 215
Dischargeable Obligations in the ScIFF Framework 213
Compliance verification of agent interaction: A logic-based software tool 212
Abduction for specifying and verifying web service choreographies 210
Verification from declarative specifications using logic programming 208
Expressing and Verifying Business Contracts with Abductive Logic Programming 203
An Abductive Framework for A-Priori Verification of Web Services 202
Mapping deontic operators to abductive expectations 197
Observation strategies for event detection with incidence on runtime verification 195
Specification and verification of agent interaction protocols in a logic-based system 192
Expressing and Verifying Business Contracts with Abductive Logic Programming 187
Sex differences in schizophrenia-spectrum diagnoses: results from a 30-year health record registry 186
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure 173
Exploiting semantic technology in computational logic-based service contracting 169
Verification from declarative specifications using logic programming 168
Accountable protocols in abductive logic programming (extended abstract) 163
Learning specifications of interaction protocols and business processes and proving their properties 162
Machine learning for recognition of individuals from motion capture time series: performance and explainability 160
Specification and verification of agent interaction protocols in a logic-based system 159
Mapping Deontic Operators to Abductive Expectations 158
Iterated fixpoint well-founded semantics for hybrid knowledge bases 157
An Abductive Interpretation for Open Agent Societies 156
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 155
Probabilistic inductive constraint logic 154
Verifiable agent interaction in abductive logic programming: the SCIFF framework 153
Un sistema basato su logica computazionale per il trattamento degli operatori deontici 148
Establishment of a Public Mental Health Database for Research Purposes in the Ferrara Province: Development and Preliminary Evaluation Study 147
null 144
Expressing interaction in combinatorial auction through social integrity constraints 143
Expressing interaction in combinatorial auction through social integrity constraints 143
Runtime addition of integrity constraints in SCIFF 142
A Verifiable Logic-Based Agent Architecture 142
Protocol specification and verification by using computational logic 141
A semantics for probabilistic hybrid knowledge bases with function symbols 140
A CHR-based implementation of known arc-consistency 135
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols 134
A logic-based approach to interaction design in open multi-agent systems 134
null 133
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture 133
Machine learning from real data: A mental health registry case study 128
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services 128
Policy-based reasoning for smart web service interaction 127
null 127
null 126
Abduction with hypotheses confirmation 125
Applicazione dei vincoli di integrità sociali come strumento di specifica delle interazioni in aste combinatorie 124
null 122
null 121
MAP Inference for Probabilistic Logic Programming 120
null 120
A spatial agent-based model for assessing strategies of adaptation to climate and tourism demand changes in an alpine tourism destination 119
null 116
null 116
A Social ACL Semantics by Deontic Constraints 116
null 114
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes 114
null 111
null 111
Compliance verification of agent interaction: a logic-based tool 110
Modeling interactions via commitments and expectations 109
null 107
Security protocols verification in abductive logic programming: a case study 106
null 104
null 104
Web Service Contracting: Specification and Reasoning with SCIFF 104
Why Can Neural Networks Recognize Us by Our Finger Movements? 100
null 99
null 96
null 96
Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties 95
null 93
null 91
The CHR-based Implementation of the SCIFF Abductive System 90
Integration of abductive reasoning and constraint optimization in SCIFF 90
Integrating Abduction and Constraint Optimization in Constraint Handling Rules 89
The SOCS computational logic approach to the specification and verification of agent societies 89
null 87
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study 83
null 83
Policy-based reasoning for smart web-service interaction 81
null 79
null 77
The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system 75
null 73
null 72
null 71
Synthesis of Object Models from Partial Models: a CSP Perspective 71
null 71
Totale 14.497
Salva come PNG Salva come JPEG
Categoria #
all - tutte 61.991
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.063
Totale 65.054
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022745 0 0 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/20265.175 455 358 478 657 705 303 564 304 446 614 158 133
2026/2027558 167 295 96 0 0 0 0 0 0 0 0 0
Totale 15.346