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

ALBERTI, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.737
EU - Europa 2.755
AS - Asia 1.280
SA - Sud America 150
AF - Africa 16
Continente sconosciuto - Info sul continente non disponibili 7
OC - Oceania 3
Totale 8.948
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.722
DE - Germania 1.218
CN - Cina 497
SG - Singapore 460
IT - Italia 457
UA - Ucraina 315
RU - Federazione Russa 283
TR - Turchia 248
BR - Brasile 138
GB - Regno Unito 119
SE - Svezia 104
FI - Finlandia 90
PL - Polonia 72
AT - Austria 48
ID - Indonesia 32
FR - Francia 20
CA - Canada 12
HK - Hong Kong 12
NL - Olanda 12
EU - Europa 7
BE - Belgio 6
VN - Vietnam 6
ZA - Sudafrica 6
AR - Argentina 5
BD - Bangladesh 5
IN - India 4
LT - Lituania 4
AU - Australia 3
IQ - Iraq 3
MA - Marocco 3
MZ - Mozambico 3
TW - Taiwan 3
HU - Ungheria 2
IR - Iran 2
MX - Messico 2
PE - Perù 2
SN - Senegal 2
UZ - Uzbekistan 2
AZ - Azerbaigian 1
BG - Bulgaria 1
BN - Brunei Darussalam 1
CH - Svizzera 1
CL - Cile 1
CO - Colombia 1
CZ - Repubblica Ceca 1
EC - Ecuador 1
GY - Guiana 1
IE - Irlanda 1
JM - Giamaica 1
JP - Giappone 1
LB - Libano 1
LK - Sri Lanka 1
PH - Filippine 1
RS - Serbia 1
TG - Togo 1
TN - Tunisia 1
VE - Venezuela 1
Totale 8.948
Salva come PNG Salva come JPEG
Città #
Woodbridge 579
Fairfield 542
Houston 397
Jacksonville 338
Chandler 324
Santa Clara 310
Ann Arbor 219
Wilmington 214
Ferrara 204
Seattle 204
Singapore 201
Ashburn 198
Cambridge 165
Izmir 125
Nanjing 111
Milan 88
Beijing 80
Princeton 76
Addison 74
Warsaw 68
Boardman 60
Bremen 58
San Diego 51
The Dalles 51
Council Bluffs 44
Vienna 43
Nanchang 41
Shanghai 34
Bologna 28
Hebei 26
Jakarta 26
Los Angeles 26
Shenyang 26
Tianjin 24
Dearborn 23
Des Moines 20
Helsinki 20
Mountain View 20
Jinan 18
Falls Church 16
Changsha 15
Jiaxing 14
San Mateo 14
Düsseldorf 13
Falkenstein 13
Norwalk 13
Redwood City 13
Zhengzhou 13
Hong Kong 12
London 12
Ningbo 11
Taizhou 11
Orange 10
Padova 9
Washington 9
Kunming 8
Auburn Hills 7
Karlsruhe 7
Munich 7
Toronto 7
Brussels 6
Dong Ket 6
Guangzhou 6
Rome 6
Indiana 5
Nuremberg 5
Ottawa 5
Rio de Janeiro 5
São Paulo 5
Tappahannock 5
Verona 5
Brasília 4
Frankfurt am Main 4
Genoa 4
Lanzhou 4
Philadelphia 4
Redmond 4
San Francisco 4
Wroclaw 4
Curitiba 3
Haikou 3
Hefei 3
Lappeenranta 3
Leawood 3
Malang 3
Maputo 3
Pelotas 3
Rio De Janeiro 3
Salerno 3
Santos 3
Taipei 3
Turku 3
Andover 2
Augusta 2
Bari 2
Belo Horizonte 2
Campo Grande 2
Camponogara 2
Campos dos Goytacazes 2
Changchun 2
Totale 5.536
Salva come PNG Salva come JPEG
Nome #
Probabilistic Hybrid Knowledge Bases under the Distribution Semantics 249
Probabilistic Logical Inference On the Web 219
cplint on SWISH: Probabilistic Logical Inference with a Web Browser 176
Dischargeable obligations in abductive logic programming 171
Deon  + : Abduction and Constraints for Normative Reasoning 161
Accountable protocols in abductive logic programming 161
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation 148
Verification from declarative specifications using logic programming 148
Compliance verification of agent interaction: A logic-based software tool 145
Probabilistic Constraint Logic Theories 145
null 144
Mapping deontic operators to abductive expectations 140
Expressing and Verifying Business Contracts with Abductive Logic Programming 138
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases 135
A Computational Logic Application Framework for Service Discovery and Contracting 134
null 133
null 127
null 126
Probabilistic logic programming for natural language processing 123
null 122
Expressing and Verifying Business Contracts with Abductive Logic Programming 122
null 121
Observation strategies for event detection with incidence on runtime verification 121
Abduction in the context of a reasoning process: the SCIFF framework 121
null 120
Dischargeable Obligations in the ScIFF Framework 117
An Abductive Framework for A-Priori Verification of Web Services 116
null 116
null 116
Specification and verification of agent interaction protocols in a logic-based system 115
null 114
null 111
null 111
Abduction for specifying and verifying web service choreographies 110
Specification and verification of agent interaction protocols in a logic-based system 107
Learning specifications of interaction protocols and business processes and proving their properties 107
null 107
null 104
null 104
A computational logic-based approach to verification of IT systems 100
null 99
null 96
null 96
Verifiable agent interaction in abductive logic programming: the SCIFF framework 95
Iterated fixpoint well-founded semantics for hybrid knowledge bases 95
Verification from declarative specifications using logic programming 94
null 93
Un sistema basato su logica computazionale per il trattamento degli operatori deontici 92
Exploiting semantic technology in computational logic-based service contracting 92
null 91
Mapping Deontic Operators to Abductive Expectations 91
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure 87
null 87
Expressing interaction in combinatorial auction through social integrity constraints 86
Protocol specification and verification by using computational logic 83
null 83
Runtime addition of integrity constraints in SCIFF 81
Policy-based reasoning for smart web service interaction 80
null 79
null 77
Probabilistic inductive constraint logic 76
null 73
null 72
null 71
null 71
Accountable protocols in abductive logic programming (extended abstract) 68
null 67
null 67
null 61
null 60
MAP Inference for Probabilistic Logic Programming 60
Expressing interaction in combinatorial auction through social integrity constraints 59
Sex differences in schizophrenia-spectrum diagnoses: results from a 30-year health record registry 56
null 51
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols 49
Machine learning from real data: A mental health registry case study 48
A Verifiable Logic-Based Agent Architecture 48
Web Service Contracting: Specification and Reasoning with SCIFF 47
A spatial agent-based model for assessing strategies of adaptation to climate and tourism demand changes in an alpine tourism destination 46
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture 44
An Abductive Interpretation for Open Agent Societies 43
Abduction with hypotheses confirmation 41
Applicazione dei vincoli di integrità sociali come strumento di specifica delle interazioni in aste combinatorie 39
A CHR-based implementation of known arc-consistency 39
Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties 38
The CHR-based Implementation of the SCIFF Abductive System 34
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services 34
Security protocols verification in abductive logic programming: a case study 33
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes 32
A logic-based approach to interaction design in open multi-agent systems 32
Establishment of a Public Mental Health Database for Research Purposes in the Ferrara Province: Development and Preliminary Evaluation Study 31
Integrating Abduction and Constraint Optimization in Constraint Handling Rules 31
The SOCS computational logic approach to the specification and verification of agent societies 31
Modeling interactions via commitments and expectations 29
Compliance verification of agent interaction: a logic-based tool 28
Integration of abductive reasoning and constraint optimization in SCIFF 27
Machine learning for recognition of individuals from motion capture time series: performance and explainability 26
NO Revision and NO Contraction 25
A Social ACL Semantics by Deontic Constraints 25
Why Can Neural Networks Recognize Us by Our Finger Movements? 24
Totale 8.918
Salva come PNG Salva come JPEG
Categoria #
all - tutte 39.512
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.963
Totale 41.475
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202089 0 0 0 0 0 0 0 0 0 0 63 26
2020/20211.055 133 59 22 85 38 149 110 121 22 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.379 38 57 155 37 198 196 46 201 215 180 56 0
Totale 9.141