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

LAMMA, Evelina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 14.309
EU - Europa 6.110
AS - Asia 3.330
SA - Sud America 72
Continente sconosciuto - Info sul continente non disponibili 22
OC - Oceania 17
AF - Africa 15
Totale 23.875
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 14.248
IT - Italia 1.649
DE - Germania 1.566
CN - Cina 1.535
UA - Ucraina 940
TR - Turchia 863
SG - Singapore 721
PL - Polonia 417
GB - Regno Unito 387
SE - Svezia 298
RU - Federazione Russa 268
FI - Finlandia 264
ID - Indonesia 95
AT - Austria 67
BE - Belgio 67
BR - Brasile 60
CA - Canada 58
FR - Francia 55
NL - Olanda 55
VN - Vietnam 36
EU - Europa 20
AU - Australia 17
HK - Hong Kong 17
IN - India 15
RO - Romania 12
CH - Svizzera 11
LT - Lituania 10
CZ - Repubblica Ceca 9
IQ - Iraq 8
IR - Iran 8
ES - Italia 7
JP - Giappone 6
EG - Egitto 5
IE - Irlanda 5
PT - Portogallo 5
DK - Danimarca 4
SA - Arabia Saudita 4
ZA - Sudafrica 4
AR - Argentina 3
BD - Bangladesh 3
CL - Cile 3
GR - Grecia 3
LU - Lussemburgo 3
MZ - Mozambico 3
NO - Norvegia 3
PK - Pakistan 3
TW - Taiwan 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AE - Emirati Arabi Uniti 2
CO - Colombia 2
IL - Israele 2
KR - Corea 2
MA - Marocco 2
PH - Filippine 2
AL - Albania 1
BN - Brunei Darussalam 1
CY - Cipro 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EC - Ecuador 1
HU - Ungheria 1
IS - Islanda 1
JM - Giamaica 1
JO - Giordania 1
LV - Lettonia 1
MX - Messico 1
OM - Oman 1
PE - Perù 1
PS - Palestinian Territory 1
PY - Paraguay 1
RS - Serbia 1
VE - Venezuela 1
Totale 23.875
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.819
Fairfield 1.656
Houston 1.132
Jacksonville 1.061
Chandler 1.002
Santa Clara 844
Ashburn 813
Ann Arbor 785
Seattle 668
Wilmington 637
Ferrara 593
Singapore 535
Cambridge 499
Warsaw 413
Izmir 387
Milan 341
Nanjing 315
Princeton 236
Beijing 229
Addison 196
Boardman 179
San Diego 147
Bremen 121
Nanchang 121
Shanghai 115
Shenyang 108
Bologna 106
Jakarta 95
Hebei 75
Los Angeles 75
Dearborn 72
Helsinki 71
Jinan 65
Tianjin 65
Vienna 65
Brussels 61
Düsseldorf 60
Jiaxing 51
Des Moines 50
Munich 45
Zhengzhou 40
Changsha 39
Mountain View 39
San Mateo 37
Norwalk 36
Redwood City 35
London 34
Bari 33
Dong Ket 33
Ningbo 31
Hangzhou 29
Indiana 27
Kunming 27
Orange 27
Auburn Hills 25
Falls Church 25
Taizhou 24
Toronto 23
Montréal 22
Washington 22
Naaldwijk 20
Guangzhou 19
Verona 18
Padova 17
Boydton 16
Latina 16
New York 14
Pinerolo 14
San Francisco 14
Frankfurt am Main 13
Tappahannock 13
Berlin 12
Hong Kong 12
Rome 12
Hefei 11
Fuzhou 10
Taiyuan 10
Augusta 9
Ferrara di Monte Baldo 9
Florence 9
Lanzhou 9
Mcallen 9
Pensacola 9
Rocca Di Papa 9
Naples 8
Ottawa 8
Andover 7
Changchun 7
Haikou 7
Karlsruhe 7
Monmouth Junction 7
North Bergen 7
Philadelphia 7
Utrecht 7
Abano Terme 6
Ardabil 6
Dallas 6
Ghent 6
Redmond 6
Acquaviva Picena 5
Totale 16.927
Salva come PNG Salva come JPEG
Nome #
Probabilistic logic programming on the web 233
Probabilistic Hybrid Knowledge Bases under the Distribution Semantics 233
A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics 214
Abductive Logic Programming for Normative Reasoning and Ontologies 208
Reducing Laboratory Examinations by a Computer-aided Clinical Decision Support System 202
Tableau reasoning for description logics and its extension to probabilities 189
Probabilistic Description Logics under the distribution semantics 183
Distributed Parameter Learning for Probabilistic Ontologies 174
A web system for reasoning with probabilistic OWL 162
Dischargeable obligations in abductive logic programming 162
Statistical relational learning for workflow mining 161
null 153
null 152
Deon  + : Abduction and Constraints for Normative Reasoning 151
Accountable protocols in abductive logic programming 151
Economic and organizational impact of a clinical decision support system on laboratory test ordering 150
Correlation of expression between different IMAGE clones from the same UniGene cluster 147
null 146
null 144
KRaider: A crawler for linked data 142
Compliance verification of agent interaction: A logic-based software tool 141
Verification from declarative specifications using logic programming 140
Evaluating compliance: from LTL to abductive logic programming 138
null 137
Learning Probabilistic Ontologies with Distributed Parameter Learning 137
Probabilistic Constraint Logic Theories 137
Mapping deontic operators to abductive expectations 136
An Abductive Framework for Datalog± Ontologies 135
Expressing and Verifying Business Contracts with Abductive Logic Programming 134
null 134
null 133
A system for measuring function points from an ER-DFD specification 131
null 130
Bright PowerPoint: strumenti software integrati per l’accessibilità delle presentazioni 129
Reasoning with Probabilistic Ontologies 128
Characterization of TLC 3D-NAND Flash Endurance through Machine Learning for LDPC Code Rate Optimization 128
Evaluating Compliance: From LTL to Abductive Logic Programming 128
Abductive logic programming for Datalog+/- ontologies 128
APPLICAZIONE DI TECNICHE DI INTELLIGENZA ARTIFICIALE ALL’INTERPRETAZIONE DI IMMAGINI DI SOTTOSUOLO / USE OF ARTIFICIAL INTELLIGENCE TECHNIQUES TO THE INTERPRETATION OF SUBSURFACE LOG IMAGES 127
null 127
null 127
null 126
A Computational Logic Application Framework for Service Discovery and Contracting 125
Coordinating the safe execution of tasks in a constrained multi-agent system 124
AI*IA 2015 Advances in Artificial Intelligence 122
null 121
Deep probabilistic logic programming 121
Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques 121
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach 120
null 120
null 119
null 118
Analyzing Transaction Fees with Probabilistic Logic Programming 118
null 117
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning 117
LAILA: A Language for Coordinating Abductive Reasoning Among Logic Agents 116
null 116
null 116
CT Dataset Anisotropy Management for Oral Implantology Planning Software 116
null 116
Introducing abduction into (Extensional) inductive logic programming systems 116
Probabilistic logic programming for natural language processing 116
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases 115
null 115
Validation of biochemical laboratory results using the DNSev expert system 115
Reasoning on Datalog± Ontologies with Abductive Logic Programming 115
Expressing and Verifying Business Contracts with Abductive Logic Programming 115
Studying transaction fees in the Bitcoin Blockchain with probabilistic logic programming 115
null 114
A Modular Inference System for Probabilistic Description Logics 114
An Abductive Framework for A-Priori Verification of Web Services 111
An Implementation for Abductive LogIc Agents 111
null 111
null 111
null 111
null 111
null 108
null 108
null 107
null 107
Dischargeable Obligations in the ScIFF Framework 107
null 106
Lifted Variable Elimination for Probabilistic Logic Programming 106
null 106
Specification and verification of agent interaction protocols in a logic-based system 105
null 105
null 105
null 105
Belief revision via Lamarckian evolution 105
null 104
Abduction for specifying and verifying web service choreographies 103
Learning specifications of interaction protocols and business processes and proving their properties 103
null 103
null 101
null 101
null 101
Distributed Logic Objects 100
Abduction in the context of a reasoning process: the SCIFF framework 100
null 99
Scaling Structure Learning of Probabilistic Logic Programs by MapReduce 99
Totale 12.821
Salva come PNG Salva come JPEG
Categoria #
all - tutte 103.234
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 7.199
Totale 110.433
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.842 0 0 0 0 0 0 309 419 288 528 203 95
2020/20213.619 311 266 110 356 129 542 274 412 107 517 393 202
2021/20222.624 132 257 164 58 133 141 110 117 135 227 251 899
2022/20232.541 259 171 118 304 445 395 143 204 292 19 120 71
2023/20241.283 126 184 92 34 170 134 30 63 24 70 35 321
2024/20252.147 107 157 477 155 681 509 61 0 0 0 0 0
Totale 24.480