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.596
EU - Europa 2.642
AS - Asia 1.022
SA - Sud America 22
Continente sconosciuto - Info sul continente non disponibili 7
AF - Africa 4
OC - Oceania 2
Totale 8.295
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.583
DE - Germania 1.183
CN - Cina 496
IT - Italia 418
UA - Ucraina 301
RU - Federazione Russa 281
TR - Turchia 246
SG - Singapore 228
GB - Regno Unito 115
SE - Svezia 104
FI - Finlandia 85
PL - Polonia 68
AT - Austria 43
ID - Indonesia 30
BR - Brasile 19
FR - Francia 19
CA - Canada 12
NL - Olanda 10
EU - Europa 7
BE - Belgio 6
VN - Vietnam 6
IN - India 4
LT - Lituania 4
BD - Bangladesh 3
MZ - Mozambico 3
TW - Taiwan 3
AU - Australia 2
IQ - Iraq 2
IR - Iran 2
BN - Brunei Darussalam 1
CH - Svizzera 1
CL - Cile 1
CO - Colombia 1
CZ - Repubblica Ceca 1
GY - Guiana 1
HU - Ungheria 1
IE - Irlanda 1
JP - Giappone 1
MA - Marocco 1
MX - Messico 1
RS - Serbia 1
Totale 8.295
Salva come PNG Salva come JPEG
Città #
Woodbridge 579
Fairfield 542
Houston 397
Jacksonville 338
Chandler 324
Santa Clara 309
Ann Arbor 219
Wilmington 214
Seattle 204
Ferrara 199
Ashburn 198
Singapore 173
Cambridge 165
Izmir 125
Nanjing 111
Beijing 80
Princeton 76
Addison 74
Milan 73
Warsaw 68
Boardman 60
Bremen 58
San Diego 51
Vienna 42
Nanchang 41
Shanghai 34
Bologna 28
Hebei 26
Jakarta 26
Los Angeles 26
Shenyang 26
Tianjin 24
Dearborn 23
Des Moines 20
Mountain View 20
Helsinki 19
Jinan 18
Falls Church 16
Changsha 15
Jiaxing 14
San Mateo 14
Düsseldorf 13
Norwalk 13
Redwood City 13
Zhengzhou 13
London 12
Ningbo 11
Taizhou 11
Orange 10
Padova 9
Washington 9
Kunming 8
Auburn Hills 7
Toronto 7
Brussels 6
Dong Ket 6
Guangzhou 6
Karlsruhe 6
Indiana 5
Munich 5
Ottawa 5
Tappahannock 5
Verona 5
Frankfurt am Main 4
Lanzhou 4
Philadelphia 4
Redmond 4
San Francisco 4
Genoa 3
Haikou 3
Hefei 3
Lappeenranta 3
Leawood 3
Malang 3
Maputo 3
Rio De Janeiro 3
Salerno 3
Taipei 3
Andover 2
Augusta 2
Bari 2
Camponogara 2
Changchun 2
Chicago 2
Chongqing 2
Falkenstein 2
Ferrara di Monte Baldo 2
Florence 2
Hangzhou 2
Luton 2
Mainz 2
New York 2
North Bergen 2
Rodgau 2
Rome 2
Sanayi 2
Taiyuan 2
Walnut 2
Acton 1
Americana 1
Totale 5.346
Salva come PNG Salva come JPEG
Nome #
Probabilistic Hybrid Knowledge Bases under the Distribution Semantics 234
Probabilistic Logical Inference On the Web 208
cplint on SWISH: Probabilistic Logical Inference with a Web Browser 171
Dischargeable obligations in abductive logic programming 164
Deon  + : Abduction and Constraints for Normative Reasoning 151
Accountable protocols in abductive logic programming 151
null 144
Compliance verification of agent interaction: A logic-based software tool 141
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation 141
Verification from declarative specifications using logic programming 140
Probabilistic Constraint Logic Theories 137
Mapping deontic operators to abductive expectations 136
Expressing and Verifying Business Contracts with Abductive Logic Programming 134
null 133
null 127
null 126
A Computational Logic Application Framework for Service Discovery and Contracting 125
null 122
null 121
null 120
null 116
null 116
Probabilistic logic programming for natural language processing 116
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases 115
Expressing and Verifying Business Contracts with Abductive Logic Programming 115
null 114
An Abductive Framework for A-Priori Verification of Web Services 111
null 111
null 111
Observation strategies for event detection with incidence on runtime verification 110
null 107
Dischargeable Obligations in the ScIFF Framework 107
Specification and verification of agent interaction protocols in a logic-based system 105
null 104
null 104
Abduction for specifying and verifying web service choreographies 103
Learning specifications of interaction protocols and business processes and proving their properties 103
Abduction in the context of a reasoning process: the SCIFF framework 102
null 99
null 96
null 96
null 93
A computational logic-based approach to verification of IT systems 92
Specification and verification of agent interaction protocols in a logic-based system 91
null 91
Verifiable agent interaction in abductive logic programming: the SCIFF framework 90
Verification from declarative specifications using logic programming 90
Exploiting semantic technology in computational logic-based service contracting 87
null 87
Iterated fixpoint well-founded semantics for hybrid knowledge bases 87
Un sistema basato su logica computazionale per il trattamento degli operatori deontici 86
Mapping Deontic Operators to Abductive Expectations 86
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure 83
null 83
Expressing interaction in combinatorial auction through social integrity constraints 79
null 79
Runtime addition of integrity constraints in SCIFF 78
Protocol specification and verification by using computational logic 77
null 77
Policy-based reasoning for smart web service interaction 76
null 73
null 72
null 71
null 71
Probabilistic inductive constraint logic 71
null 67
null 67
null 61
Accountable protocols in abductive logic programming (extended abstract) 61
null 60
MAP Inference for Probabilistic Logic Programming 54
Expressing interaction in combinatorial auction through social integrity constraints 51
null 51
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols 40
Applicazione dei vincoli di integrità sociali come strumento di specifica delle interazioni in aste combinatorie 36
Sex differences in schizophrenia-spectrum diagnoses: results from a 30-year health record registry 36
Machine learning from real data: A mental health registry case study 35
Web Service Contracting: Specification and Reasoning with SCIFF 35
Abduction with hypotheses confirmation 35
A Verifiable Logic-Based Agent Architecture 33
A spatial agent-based model for assessing strategies of adaptation to climate and tourism demand changes in an alpine tourism destination 29
A CHR-based implementation of known arc-consistency 29
An Abductive Interpretation for Open Agent Societies 29
The CHR-based Implementation of the SCIFF Abductive System 28
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services 28
Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties 28
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture 24
A logic-based approach to interaction design in open multi-agent systems 24
Security protocols verification in abductive logic programming: a case study 24
The SOCS computational logic approach to the specification and verification of agent societies 24
Establishment of a Public Mental Health Database for Research Purposes in the Ferrara Province: Development and Preliminary Evaluation Study 22
Compliance verification of agent interaction: a logic-based tool 21
Modeling interactions via commitments and expectations 20
Integrating Abduction and Constraint Optimization in Constraint Handling Rules 20
Integration of abductive reasoning and constraint optimization in SCIFF 20
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes 19
NO Revision and NO Contraction 18
Computational logic for run-time verification of web service choreographies: exploiting the SOCS-SI tool 18
A Social ACL Semantics by Deontic Constraints 18
Policy-based reasoning for smart web-service interaction 17
Totale 8.339
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.053
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.716
Totale 36.769
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020551 0 0 0 0 0 0 85 137 91 149 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/2025723 38 57 155 37 198 196 42 0 0 0 0 0
Totale 8.485