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.595
EU - Europa 2.625
AS - Asia 1.013
SA - Sud America 10
Continente sconosciuto - Info sul continente non disponibili 7
AF - Africa 3
OC - Oceania 2
Totale 8.255
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.582
DE - Germania 1.182
CN - Cina 496
IT - Italia 402
UA - Ucraina 301
RU - Federazione Russa 281
TR - Turchia 246
SG - Singapore 223
GB - Regno Unito 115
SE - Svezia 104
FI - Finlandia 85
PL - Polonia 68
AT - Austria 43
ID - Indonesia 30
FR - Francia 19
CA - Canada 12
NL - Olanda 10
BR - Brasile 9
EU - Europa 7
BE - Belgio 6
VN - Vietnam 6
IN - India 4
LT - Lituania 4
MZ - Mozambico 3
TW - Taiwan 3
AU - Australia 2
IQ - Iraq 2
BD - Bangladesh 1
BN - Brunei Darussalam 1
CH - Svizzera 1
CL - Cile 1
CZ - Repubblica Ceca 1
HU - Ungheria 1
IE - Irlanda 1
JP - Giappone 1
MX - Messico 1
RS - Serbia 1
Totale 8.255
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
Ashburn 198
Ferrara 192
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
Hebei 26
Jakarta 26
Los Angeles 26
Shenyang 26
Tianjin 24
Bologna 23
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
Washington 9
Kunming 8
Padova 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
Sanayi 2
Taiyuan 2
Walnut 2
Acton 1
Americana 1
Atlanta 1
Totale 5.332
Salva come PNG Salva come JPEG
Nome #
Probabilistic Hybrid Knowledge Bases under the Distribution Semantics 233
Probabilistic Logical Inference On the Web 208
cplint on SWISH: Probabilistic Logical Inference with a Web Browser 170
Dischargeable obligations in abductive logic programming 162
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 140
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 100
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
Verification from declarative specifications using logic programming 90
Verifiable agent interaction in abductive logic programming: the SCIFF framework 88
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
Exploiting semantic technology in computational logic-based service contracting 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 69
null 67
null 67
null 61
null 60
Accountable protocols in abductive logic programming (extended abstract) 57
MAP Inference for Probabilistic Logic Programming 54
Expressing interaction in combinatorial auction through social integrity constraints 51
null 51
Applicazione dei vincoli di integrità sociali come strumento di specifica delle interazioni in aste combinatorie 36
Web Service Contracting: Specification and Reasoning with SCIFF 35
Abduction with hypotheses confirmation 35
Sex differences in schizophrenia-spectrum diagnoses: results from a 30-year health record registry 34
A Verifiable Logic-Based Agent Architecture 33
Machine learning from real data: A mental health registry case study 32
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
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols 26
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
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture 23
Establishment of a Public Mental Health Database for Research Purposes in the Ferrara Province: Development and Preliminary Evaluation Study 21
Compliance verification of agent interaction: a logic-based tool 21
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
Modeling interactions via commitments and expectations 18
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.300
Salva come PNG Salva come JPEG
Categoria #
all - tutte 33.937
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.663
Totale 35.600
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/2025683 38 57 155 37 198 196 2 0 0 0 0 0
Totale 8.445