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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022667 0 0 0 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/20271.228 167 295 478 288 0 0 0 0 0 0 0 0
Totale 16.016