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

LAMMA, Evelina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 13.298
EU - Europa 5.867
AS - Asia 2.788
Continente sconosciuto - Info sul continente non disponibili 22
OC - Oceania 17
SA - Sud America 12
AF - Africa 3
Totale 22.007
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 13.259
IT - Italia 1.547
DE - Germania 1.527
CN - Cina 1.477
UA - Ucraina 937
TR - Turchia 862
PL - Polonia 414
GB - Regno Unito 362
SG - Singapore 321
SE - Svezia 297
RU - Federazione Russa 265
FI - Finlandia 240
AT - Austria 66
FR - Francia 52
BE - Belgio 51
NL - Olanda 47
CA - Canada 39
ID - Indonesia 39
VN - Vietnam 33
EU - Europa 20
AU - Australia 17
IN - India 14
HK - Hong Kong 13
RO - Romania 12
CH - Svizzera 11
BR - Brasile 9
CZ - Repubblica Ceca 9
IR - Iran 8
JP - Giappone 6
ES - Italia 5
IE - Irlanda 5
PT - Portogallo 5
CL - Cile 3
GR - Grecia 3
IQ - Iraq 3
LU - Lussemburgo 3
MZ - Mozambico 3
NO - Norvegia 3
TW - Taiwan 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AE - Emirati Arabi Uniti 2
KR - Corea 2
AL - Albania 1
BN - Brunei Darussalam 1
CY - Cipro 1
DK - Danimarca 1
HU - Ungheria 1
IL - Israele 1
IS - Islanda 1
LV - Lettonia 1
PH - Filippine 1
PK - Pakistan 1
RS - Serbia 1
Totale 22.007
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.819
Fairfield 1.656
Houston 1.132
Jacksonville 1.061
Chandler 1.007
Ashburn 811
Ann Arbor 785
Seattle 668
Wilmington 637
Ferrara 574
Cambridge 499
Warsaw 413
Izmir 387
Milan 336
Nanjing 315
Princeton 236
Beijing 224
Addison 196
Singapore 186
Boardman 179
San Diego 147
Bremen 123
Nanchang 121
Shanghai 111
Shenyang 108
Bologna 94
Hebei 75
Los Angeles 73
Dearborn 72
Jinan 65
Tianjin 65
Vienna 65
Düsseldorf 60
Brussels 51
Jiaxing 51
Des Moines 50
Helsinki 48
Changsha 39
Jakarta 39
Mountain View 39
Zhengzhou 38
San Mateo 37
Norwalk 36
Redwood City 35
Bari 33
Dong Ket 33
Ningbo 31
Hangzhou 28
Indiana 27
Orange 27
Kunming 26
Auburn Hills 25
Falls Church 25
Taizhou 24
Montréal 22
Munich 22
Washington 22
London 20
Naaldwijk 20
Guangzhou 18
Santa Clara 18
Verona 18
Boydton 16
Latina 16
Padova 14
Pinerolo 14
San Francisco 14
New York 13
Tappahannock 13
Berlin 12
Hefei 11
Toronto 11
Hong Kong 10
Augusta 9
Ferrara di Monte Baldo 9
Florence 9
Fuzhou 9
Lanzhou 9
Mcallen 9
Pensacola 9
Rocca Di Papa 9
Taiyuan 9
Andover 7
Changchun 7
Haikou 7
Karlsruhe 7
Monmouth Junction 7
Philadelphia 7
Utrecht 7
Abano Terme 6
Ardabil 6
Dallas 6
Redmond 6
Rome 6
Dublin 5
Leawood 5
Medolla 5
Sanayi 5
Crinitz 4
Darmstadt 4
Totale 15.534
Salva come PNG Salva come JPEG
Nome #
Probabilistic Hybrid Knowledge Bases under the Distribution Semantics 225
Probabilistic logic programming on the web 224
Abductive Logic Programming for Normative Reasoning and Ontologies 199
Tableau reasoning for description logics and its extension to probabilities 176
Probabilistic Description Logics under the distribution semantics 174
A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics 173
Distributed Parameter Learning for Probabilistic Ontologies 162
Reducing Laboratory Examinations by a Computer-aided Clinical Decision Support System 155
Statistical relational learning for workflow mining 154
null 153
Dischargeable obligations in abductive logic programming 152
null 152
Deon  + : Abduction and Constraints for Normative Reasoning 147
null 146
A web system for reasoning with probabilistic OWL 146
null 144
Economic and organizational impact of a clinical decision support system on laboratory test ordering 142
Accountable protocols in abductive logic programming 142
Correlation of expression between different IMAGE clones from the same UniGene cluster 138
null 137
Verification from declarative specifications using logic programming 134
null 134
null 133
Compliance verification of agent interaction: A logic-based software tool 132
Learning Probabilistic Ontologies with Distributed Parameter Learning 132
Evaluating compliance: from LTL to abductive logic programming 132
Probabilistic Constraint Logic Theories 131
null 130
Mapping deontic operators to abductive expectations 129
Expressing and Verifying Business Contracts with Abductive Logic Programming 128
null 127
null 127
null 126
A system for measuring function points from an ER-DFD specification 125
An Abductive Framework for Datalog± Ontologies 125
Characterization of TLC 3D-NAND Flash Endurance through Machine Learning for LDPC Code Rate Optimization 124
Evaluating Compliance: From LTL to Abductive Logic Programming 122
null 121
null 120
null 119
Abductive logic programming for Datalog+/- ontologies 119
null 118
null 117
Bright PowerPoint: strumenti software integrati per l’accessibilità delle presentazioni 117
A Computational Logic Application Framework for Service Discovery and Contracting 117
null 116
null 116
null 116
Coordinating the safe execution of tasks in a constrained multi-agent system 115
AI*IA 2015 Advances in Artificial Intelligence 115
null 114
null 114
Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques 114
KRaider: A crawler for linked data 113
LAILA: A Language for Coordinating Abductive Reasoning Among Logic Agents 112
Deep probabilistic logic programming 112
null 111
CT Dataset Anisotropy Management for Oral Implantology Planning Software 111
APPLICAZIONE DI TECNICHE DI INTELLIGENZA ARTIFICIALE ALL’INTERPRETAZIONE DI IMMAGINI DI SOTTOSUOLO / USE OF ARTIFICIAL INTELLIGENCE TECHNIQUES TO THE INTERPRETATION OF SUBSURFACE LOG IMAGES 111
null 111
null 111
Validation of biochemical laboratory results using the DNSev expert system 111
null 111
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach 111
Reasoning with Probabilistic Ontologies 109
Expressing and Verifying Business Contracts with Abductive Logic Programming 109
null 108
null 108
Probabilistic logic programming for natural language processing 108
null 107
null 107
Analyzing Transaction Fees with Probabilistic Logic Programming 107
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases 106
null 106
null 106
Introducing abduction into (Extensional) inductive logic programming systems 106
An Implementation for Abductive LogIc Agents 105
null 105
null 105
null 105
Studying transaction fees in the Bitcoin Blockchain with probabilistic logic programming 105
null 104
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning 104
A Modular Inference System for Probabilistic Description Logics 104
null 103
Reasoning on Datalog± Ontologies with Abductive Logic Programming 103
An Abductive Framework for A-Priori Verification of Web Services 102
null 101
null 101
null 101
Belief revision via Lamarckian evolution 101
Specification and verification of agent interaction protocols in a logic-based system 100
Dischargeable Obligations in the ScIFF Framework 100
null 99
null 98
null 98
null 98
Learning specifications of interaction protocols and business processes and proving their properties 97
null 97
null 97
Totale 12.245
Salva come PNG Salva come JPEG
Categoria #
all - tutte 83.174
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 5.671
Totale 88.845
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20203.441 0 136 127 566 253 517 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.554 260 171 118 306 449 396 144 205 294 19 121 71
2023/20241.288 127 184 92 35 171 135 30 63 24 70 35 322
2024/2025246 107 139 0 0 0 0 0 0 0 0 0 0
Totale 22.597