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.222
EU - Europa 2.567
AS - Asia 856
Continente sconosciuto - Info sul continente non disponibili 7
SA - Sud America 6
AF - Africa 3
OC - Oceania 2
Totale 7.663
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.217
DE - Germania 1.173
CN - Cina 487
IT - Italia 378
UA - Ucraina 300
RU - Federazione Russa 281
TR - Turchia 246
GB - Regno Unito 108
SE - Svezia 104
SG - Singapore 99
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.663
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 54
San Diego 51
Vienna 42
Nanchang 41
Shanghai 34
Hebei 26
Shenyang 26
Los Angeles 24
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
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
Santa Clara 7
Dong Ket 6
Guangzhou 6
Karlsruhe 6
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
Totale 4.846
Salva come PNG Salva come JPEG
Nome #
Probabilistic Hybrid Knowledge Bases under the Distribution Semantics 225
Probabilistic Logical Inference On the Web 201
cplint on SWISH: Probabilistic Logical Inference with a Web Browser 160
Dischargeable obligations in abductive logic programming 152
Deon  + : Abduction and Constraints for Normative Reasoning 147
null 144
Accountable protocols in abductive logic programming 142
Verification from declarative specifications using logic programming 134
null 133
Compliance verification of agent interaction: A logic-based software tool 132
Probabilistic Constraint Logic Theories 131
Mapping deontic operators to abductive expectations 129
Expressing and Verifying Business Contracts with Abductive Logic Programming 128
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation 128
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
Expressing and Verifying Business Contracts with Abductive Logic Programming 109
Probabilistic logic programming for natural language processing 108
null 107
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases 106
null 104
null 104
Observation strategies for event detection with incidence on runtime verification 104
An Abductive Framework for A-Priori Verification of Web Services 102
Specification and verification of agent interaction protocols in a logic-based system 100
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
Specification and verification of agent interaction protocols in a logic-based system 85
A computational logic-based approach to verification of IT systems 85
null 83
Verifiable agent interaction in abductive logic programming: the SCIFF framework 82
Mapping Deontic Operators to Abductive Expectations 82
Iterated fixpoint well-founded semantics for hybrid knowledge bases 82
Un sistema basato su logica computazionale per il trattamento degli operatori deontici 80
Exploiting semantic technology in computational logic-based service contracting 80
Verification from declarative specifications using logic programming 80
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) 48
MAP Inference for Probabilistic Logic Programming 46
Expressing interaction in combinatorial auction through social integrity constraints 42
Applicazione dei vincoli di integrità sociali come strumento di specifica delle interazioni in aste combinatorie 30
Abduction with hypotheses confirmation 26
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 22
The CHR-based Implementation of the SCIFF Abductive System 20
A spatial agent-based model for assessing strategies of adaptation to climate and tourism demand changes in an alpine tourism destination 20
Web Service Contracting: Specification and Reasoning with SCIFF 19
Security protocols verification in abductive logic programming: a case study 19
An Abductive Interpretation for Open Agent Societies 19
The SOCS computational logic approach to the specification and verification of agent societies 18
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services 16
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols 15
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture 15
Integration of abductive reasoning and constraint optimization in SCIFF 15
Compliance verification of agent interaction: a logic-based tool 15
Integrating Abduction and Constraint Optimization in Constraint Handling Rules 14
A logic-based approach to interaction design in open multi-agent systems 14
Modeling interactions via commitments and expectations 13
NO Revision and NO Contraction 13
Computational logic for run-time verification of web service choreographies: exploiting the SOCS-SI tool 13
A Social ACL Semantics by Deontic Constraints 13
Synthesis of Object Models from Partial Models: a CSP Perspective 12
The CHR-based Implementation of the SCIFF Abductive System 12
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes 11
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study 11
The SCIFF abductive proof-procedure 11
Totale 7.768
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.439
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.325
Totale 28.764
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.026 0 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/202589 38 51 0 0 0 0 0 0 0 0 0 0
Totale 7.851