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.204
EU - Europa 2.566
AS - Asia 822
Continente sconosciuto - Info sul continente non disponibili 7
SA - Sud America 6
AF - Africa 3
OC - Oceania 2
Totale 7.610
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.199
DE - Germania 1.172
CN - Cina 457
IT - Italia 378
UA - Ucraina 300
RU - Federazione Russa 281
TR - Turchia 246
GB - Regno Unito 108
SE - Svezia 104
SG - Singapore 95
FI - Finlandia 79
PL - Polonia 68
AT - Austria 42
FR - Francia 18
ID - Indonesia 9
NL - Olanda 8
EU - Europa 7
VN - Vietnam 6
BR - Brasile 5
CA - Canada 5
IN - India 4
BE - Belgio 3
MZ - Mozambico 3
TW - Taiwan 3
AU - Australia 2
BN - Brunei Darussalam 1
CH - Svizzera 1
CL - Cile 1
CZ - Repubblica Ceca 1
HU - Ungheria 1
IE - Irlanda 1
JP - Giappone 1
RS - Serbia 1
Totale 7.610
Salva come PNG Salva come JPEG
Città #
Woodbridge 579
Fairfield 542
Houston 397
Jacksonville 338
Chandler 324
Ann Arbor 219
Wilmington 214
Seattle 204
Ashburn 197
Ferrara 184
Cambridge 165
Izmir 125
Nanjing 111
Beijing 79
Princeton 76
Addison 74
Milan 73
Warsaw 68
Boardman 60
Bremen 58
Singapore 52
San Diego 51
Vienna 42
Nanchang 41
Shanghai 33
Hebei 26
Shenyang 26
Tianjin 24
Bologna 23
Dearborn 23
Des Moines 20
Mountain View 20
Jinan 18
Falls Church 16
Changsha 15
Helsinki 14
Jiaxing 14
San Mateo 14
Düsseldorf 13
Los Angeles 13
Norwalk 13
Redwood City 13
Zhengzhou 13
Ningbo 11
Taizhou 11
Orange 10
Jakarta 9
Washington 9
Kunming 8
Padova 8
Auburn Hills 7
London 7
Dong Ket 6
Karlsruhe 6
Guangzhou 5
Indiana 5
Tappahannock 5
Verona 5
Lanzhou 4
Philadelphia 4
Redmond 4
San Francisco 4
Brussels 3
Haikou 3
Hefei 3
Leawood 3
Maputo 3
Rio De Janeiro 3
Salerno 3
Taipei 3
Toronto 3
Andover 2
Augusta 2
Camponogara 2
Changchun 2
Chicago 2
Ferrara di Monte Baldo 2
Florence 2
Hangzhou 2
Lappeenranta 2
Luton 2
Mainz 2
New York 2
Ottawa 2
Rodgau 2
Sanayi 2
Taiyuan 2
Walnut 2
Acton 1
Americana 1
Atlanta 1
Bandar Seri Begawan 1
Beograd 1
Budapest 1
Chiswick 1
Chongqing 1
Dallas 1
Douglas 1
Dublin 1
Dundalk 1
Totale 4.825
Salva come PNG Salva come JPEG
Nome #
Probabilistic Hybrid Knowledge Bases under the Distribution Semantics 224
Probabilistic Logical Inference On the Web 199
cplint on SWISH: Probabilistic Logical Inference with a Web Browser 158
Dischargeable obligations in abductive logic programming 150
Deon  + : Abduction and Constraints for Normative Reasoning 146
null 144
Accountable protocols in abductive logic programming 141
Verification from declarative specifications using logic programming 134
null 133
Compliance verification of agent interaction: A logic-based software tool 131
Probabilistic Constraint Logic Theories 130
Mapping deontic operators to abductive expectations 129
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation 128
Expressing and Verifying Business Contracts with Abductive Logic Programming 127
null 127
null 126
null 122
null 121
null 120
A Computational Logic Application Framework for Service Discovery and Contracting 117
null 116
null 116
null 114
null 111
null 111
Probabilistic logic programming for natural language processing 108
null 107
Expressing and Verifying Business Contracts with Abductive Logic Programming 107
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases 104
null 104
null 104
Observation strategies for event detection with incidence on runtime verification 103
An Abductive Framework for A-Priori Verification of Web Services 101
Specification and verification of agent interaction protocols in a logic-based system 99
null 99
Dischargeable Obligations in the ScIFF Framework 99
Learning specifications of interaction protocols and business processes and proving their properties 97
null 96
null 96
Abduction for specifying and verifying web service choreographies 93
null 93
Abduction in the context of a reasoning process: the SCIFF framework 92
null 91
null 87
A computational logic-based approach to verification of IT systems 85
Specification and verification of agent interaction protocols in a logic-based system 83
null 83
Mapping Deontic Operators to Abductive Expectations 82
Iterated fixpoint well-founded semantics for hybrid knowledge bases 82
Verifiable agent interaction in abductive logic programming: the SCIFF framework 81
Exploiting semantic technology in computational logic-based service contracting 80
Verification from declarative specifications using logic programming 80
Un sistema basato su logica computazionale per il trattamento degli operatori deontici 79
null 79
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure 78
null 77
Expressing interaction in combinatorial auction through social integrity constraints 74
null 73
Runtime addition of integrity constraints in SCIFF 72
null 72
Policy-based reasoning for smart web service interaction 71
null 71
null 71
Protocol specification and verification by using computational logic 69
null 67
null 67
null 61
null 60
Probabilistic inductive constraint logic 54
null 51
Accountable protocols in abductive logic programming (extended abstract) 47
MAP Inference for Probabilistic Logic Programming 46
Expressing interaction in combinatorial auction through social integrity constraints 41
Applicazione dei vincoli di integrità sociali come strumento di specifica delle interazioni in aste combinatorie 29
Abduction with hypotheses confirmation 25
A Verifiable Logic-Based Agent Architecture 24
A CHR-based implementation of known arc-consistency 22
Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties 20
The CHR-based Implementation of the SCIFF Abductive System 19
A spatial agent-based model for assessing strategies of adaptation to climate and tourism demand changes in an alpine tourism destination 19
Web Service Contracting: Specification and Reasoning with SCIFF 19
Security protocols verification in abductive logic programming: a case study 19
The SOCS computational logic approach to the specification and verification of agent societies 18
An Abductive Interpretation for Open Agent Societies 18
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services 15
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture 15
Compliance verification of agent interaction: a logic-based tool 15
A logic-based approach to interaction design in open multi-agent systems 14
Integrating Abduction and Constraint Optimization in Constraint Handling Rules 13
Integration of abductive reasoning and constraint optimization in SCIFF 13
A Social ACL Semantics by Deontic Constraints 13
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols 12
Modeling interactions via commitments and expectations 12
NO Revision and NO Contraction 12
Computational logic for run-time verification of web service choreographies: exploiting the SOCS-SI tool 12
Synthesis of Object Models from Partial Models: a CSP Perspective 11
The CHR-based Implementation of the SCIFF Abductive System 10
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes 10
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study 10
The SCIFF abductive proof-procedure 10
Totale 7.720
Salva come PNG Salva come JPEG
Categoria #
all - tutte 26.297
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.264
Totale 27.561
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.240 214 37 38 163 70 167 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/202532 32 0 0 0 0 0 0 0 0 0 0 0
Totale 7.794