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.960
EU - Europa 6.011
AS - Asia 3.256
SA - Sud America 39
Continente sconosciuto - Info sul continente non disponibili 22
OC - Oceania 17
AF - Africa 15
Totale 23.320
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 13.908
IT - Italia 1.615
DE - Germania 1.557
CN - Cina 1.519
UA - Ucraina 939
TR - Turchia 862
SG - Singapore 678
PL - Polonia 414
GB - Regno Unito 378
SE - Svezia 297
RU - Federazione Russa 268
FI - Finlandia 252
ID - Indonesia 95
AT - Austria 66
BE - Belgio 55
FR - Francia 53
CA - Canada 52
NL - Olanda 48
VN - Vietnam 34
BR - Brasile 32
EU - Europa 20
AU - Australia 17
HK - Hong Kong 17
IN - India 15
RO - Romania 12
CH - Svizzera 11
CZ - Repubblica Ceca 9
IR - Iran 8
JP - Giappone 6
LT - Lituania 6
EG - Egitto 5
ES - Italia 5
IE - Irlanda 5
IQ - Iraq 5
PT - Portogallo 5
ZA - Sudafrica 4
CL - Cile 3
GR - Grecia 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
AR - Argentina 2
DK - Danimarca 2
IL - Israele 2
KR - Corea 2
MA - Marocco 2
SA - Arabia Saudita 2
AL - Albania 1
BD - Bangladesh 1
BN - Brunei Darussalam 1
CY - Cipro 1
DZ - Algeria 1
HU - Ungheria 1
IS - Islanda 1
JO - Giordania 1
LV - Lettonia 1
PE - Perù 1
PH - Filippine 1
PK - Pakistan 1
RS - Serbia 1
VE - Venezuela 1
Totale 23.320
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.819
Fairfield 1.656
Houston 1.132
Jacksonville 1.061
Chandler 1.002
Ashburn 812
Ann Arbor 785
Seattle 668
Wilmington 637
Ferrara 586
Santa Clara 516
Singapore 500
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 113
Shenyang 108
Bologna 104
Jakarta 95
Hebei 75
Los Angeles 73
Dearborn 72
Jinan 65
Tianjin 65
Vienna 65
Düsseldorf 60
Helsinki 59
Brussels 55
Jiaxing 51
Des Moines 50
Munich 45
Changsha 39
Mountain View 39
Zhengzhou 39
San Mateo 37
Norwalk 36
Redwood City 35
Bari 33
Dong Ket 33
Ningbo 31
London 30
Hangzhou 29
Indiana 27
Kunming 27
Orange 27
Auburn Hills 25
Falls Church 25
Taizhou 24
Montréal 22
Washington 22
Naaldwijk 20
Guangzhou 19
Toronto 18
Verona 18
Boydton 16
Latina 16
Padova 16
New York 14
Pinerolo 14
San Francisco 14
Tappahannock 13
Berlin 12
Hong Kong 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
Rome 9
Andover 7
Changchun 7
Frankfurt am Main 7
Haikou 7
Karlsruhe 7
Monmouth Junction 7
North Bergen 7
Ottawa 7
Philadelphia 7
Utrecht 7
Abano Terme 6
Ardabil 6
Dallas 6
Naples 6
Redmond 6
Acquaviva Picena 5
Comacchio 5
Totale 16.508
Salva come PNG Salva come JPEG
Nome #
Probabilistic logic programming on the web 231
Probabilistic Hybrid Knowledge Bases under the Distribution Semantics 231
Abductive Logic Programming for Normative Reasoning and Ontologies 206
A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics 201
Tableau reasoning for description logics and its extension to probabilities 186
Reducing Laboratory Examinations by a Computer-aided Clinical Decision Support System 185
Probabilistic Description Logics under the distribution semantics 179
Distributed Parameter Learning for Probabilistic Ontologies 171
Statistical relational learning for workflow mining 159
Dischargeable obligations in abductive logic programming 159
A web system for reasoning with probabilistic OWL 156
null 153
null 152
Deon  + : Abduction and Constraints for Normative Reasoning 149
Accountable protocols in abductive logic programming 148
Economic and organizational impact of a clinical decision support system on laboratory test ordering 147
null 146
null 144
Correlation of expression between different IMAGE clones from the same UniGene cluster 144
Compliance verification of agent interaction: A logic-based software tool 138
Verification from declarative specifications using logic programming 138
null 137
KRaider: A crawler for linked data 137
Evaluating compliance: from LTL to abductive logic programming 137
Learning Probabilistic Ontologies with Distributed Parameter Learning 135
Probabilistic Constraint Logic Theories 135
null 134
Mapping deontic operators to abductive expectations 134
null 133
Expressing and Verifying Business Contracts with Abductive Logic Programming 132
An Abductive Framework for Datalog± Ontologies 132
A system for measuring function points from an ER-DFD specification 130
null 130
null 127
Evaluating Compliance: From LTL to Abductive Logic Programming 127
Abductive logic programming for Datalog+/- ontologies 127
null 127
null 126
Characterization of TLC 3D-NAND Flash Endurance through Machine Learning for LDPC Code Rate Optimization 126
Bright PowerPoint: strumenti software integrati per l’accessibilità delle presentazioni 125
A Computational Logic Application Framework for Service Discovery and Contracting 124
APPLICAZIONE DI TECNICHE DI INTELLIGENZA ARTIFICIALE ALL’INTERPRETAZIONE DI IMMAGINI DI SOTTOSUOLO / USE OF ARTIFICIAL INTELLIGENCE TECHNIQUES TO THE INTERPRETATION OF SUBSURFACE LOG IMAGES 123
null 121
Coordinating the safe execution of tasks in a constrained multi-agent system 121
AI*IA 2015 Advances in Artificial Intelligence 120
null 120
null 119
Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques 119
null 118
Reasoning with Probabilistic Ontologies 118
Deep probabilistic logic programming 118
null 117
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach 117
LAILA: A Language for Coordinating Abductive Reasoning Among Logic Agents 116
null 116
null 116
null 116
null 115
Introducing abduction into (Extensional) inductive logic programming systems 115
Analyzing Transaction Fees with Probabilistic Logic Programming 115
null 114
CT Dataset Anisotropy Management for Oral Implantology Planning Software 114
Validation of biochemical laboratory results using the DNSev expert system 114
Probabilistic logic programming for natural language processing 113
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning 113
Expressing and Verifying Business Contracts with Abductive Logic Programming 113
Studying transaction fees in the Bitcoin Blockchain with probabilistic logic programming 113
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases 112
Reasoning on Datalog± Ontologies with Abductive Logic Programming 112
null 111
null 111
null 111
null 111
A Modular Inference System for Probabilistic Description Logics 111
An Implementation for Abductive LogIc Agents 109
null 108
null 108
An Abductive Framework for A-Priori Verification of Web Services 107
null 107
null 107
null 106
null 106
null 105
null 105
null 105
Dischargeable Obligations in the ScIFF Framework 105
null 104
Lifted Variable Elimination for Probabilistic Logic Programming 104
Belief revision via Lamarckian evolution 104
Specification and verification of agent interaction protocols in a logic-based system 103
null 103
Abduction for specifying and verifying web service choreographies 101
Learning specifications of interaction protocols and business processes and proving their properties 101
null 101
null 101
null 101
null 99
Abduction in the context of a reasoning process: the SCIFF framework 99
Distributed Logic Objects 98
null 98
Totale 12.646
Salva come PNG Salva come JPEG
Categoria #
all - tutte 96.846
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 6.718
Totale 103.564
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.359 0 0 0 0 0 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.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/20251.586 107 157 477 155 681 9 0 0 0 0 0 0
Totale 23.919