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.464
EU - Europa 5.960
AS - Asia 3.056
Continente sconosciuto - Info sul continente non disponibili 22
OC - Oceania 17
AF - Africa 12
SA - Sud America 11
Totale 22.542
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 13.416
IT - Italia 1.610
DE - Germania 1.535
CN - Cina 1.493
UA - Ucraina 939
TR - Turchia 862
SG - Singapore 512
PL - Polonia 414
GB - Regno Unito 370
SE - Svezia 297
RU - Federazione Russa 265
FI - Finlandia 247
ID - Indonesia 95
AT - Austria 66
BE - Belgio 53
FR - Francia 52
CA - Canada 48
NL - Olanda 47
VN - Vietnam 34
EU - Europa 20
AU - Australia 17
HK - Hong Kong 15
IN - India 14
RO - Romania 12
CH - Svizzera 11
CZ - Repubblica Ceca 9
BR - Brasile 8
IR - Iran 8
JP - Giappone 6
EG - Egitto 5
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
DK - Danimarca 2
KR - Corea 2
LT - Lituania 2
MA - Marocco 2
SA - Arabia Saudita 2
ZA - Sudafrica 2
AL - Albania 1
BN - Brunei Darussalam 1
CY - Cipro 1
HU - Ungheria 1
IL - Israele 1
IS - Islanda 1
LV - Lettonia 1
PH - Filippine 1
PK - Pakistan 1
RS - Serbia 1
Totale 22.542
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
Cambridge 499
Warsaw 413
Izmir 387
Singapore 367
Milan 341
Nanjing 315
Princeton 236
Beijing 229
Addison 196
Boardman 178
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
Santa Clara 59
Helsinki 55
Brussels 53
Jiaxing 51
Des Moines 50
Changsha 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
London 25
Munich 25
Taizhou 24
Montréal 22
Washington 22
Naaldwijk 20
Guangzhou 18
Verona 18
Boydton 16
Latina 16
Padova 16
Toronto 16
New York 14
Pinerolo 14
San Francisco 14
Tappahannock 13
Berlin 12
Hefei 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
Rome 8
Andover 7
Changchun 7
Haikou 7
Karlsruhe 7
Monmouth Junction 7
Philadelphia 7
Utrecht 7
Abano Terme 6
Ardabil 6
Dallas 6
Naples 6
North Bergen 6
Redmond 6
Acquaviva Picena 5
Comacchio 5
Dublin 5
Frankfurt am Main 5
Totale 15.870
Salva come PNG Salva come JPEG
Nome #
Probabilistic logic programming on the web 228
Probabilistic Hybrid Knowledge Bases under the Distribution Semantics 228
Abductive Logic Programming for Normative Reasoning and Ontologies 204
Tableau reasoning for description logics and its extension to probabilities 182
A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics 178
Probabilistic Description Logics under the distribution semantics 177
Distributed Parameter Learning for Probabilistic Ontologies 168
Reducing Laboratory Examinations by a Computer-aided Clinical Decision Support System 158
Statistical relational learning for workflow mining 157
Dischargeable obligations in abductive logic programming 157
null 153
null 152
A web system for reasoning with probabilistic OWL 151
Deon  + : Abduction and Constraints for Normative Reasoning 147
null 146
Economic and organizational impact of a clinical decision support system on laboratory test ordering 145
Accountable protocols in abductive logic programming 145
null 144
Correlation of expression between different IMAGE clones from the same UniGene cluster 141
null 137
Verification from declarative specifications using logic programming 136
Compliance verification of agent interaction: A logic-based software tool 135
Evaluating compliance: from LTL to abductive logic programming 135
KRaider: A crawler for linked data 134
null 134
null 133
Learning Probabilistic Ontologies with Distributed Parameter Learning 133
Probabilistic Constraint Logic Theories 133
Mapping deontic operators to abductive expectations 132
Expressing and Verifying Business Contracts with Abductive Logic Programming 130
An Abductive Framework for Datalog± Ontologies 130
null 130
A system for measuring function points from an ER-DFD specification 128
null 127
null 127
null 126
Evaluating Compliance: From LTL to Abductive Logic Programming 125
Characterization of TLC 3D-NAND Flash Endurance through Machine Learning for LDPC Code Rate Optimization 124
Abductive logic programming for Datalog+/- ontologies 124
null 121
Bright PowerPoint: strumenti software integrati per l’accessibilità delle presentazioni 121
A Computational Logic Application Framework for Service Discovery and Contracting 120
null 120
null 119
null 118
null 117
Coordinating the safe execution of tasks in a constrained multi-agent system 117
Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques 117
null 116
null 116
APPLICAZIONE DI TECNICHE DI INTELLIGENZA ARTIFICIALE ALL’INTERPRETAZIONE DI IMMAGINI DI SOTTOSUOLO / USE OF ARTIFICIAL INTELLIGENCE TECHNIQUES TO THE INTERPRETATION OF SUBSURFACE LOG IMAGES 116
null 116
null 115
AI*IA 2015 Advances in Artificial Intelligence 115
LAILA: A Language for Coordinating Abductive Reasoning Among Logic Agents 114
null 114
Deep probabilistic logic programming 114
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach 114
Reasoning with Probabilistic Ontologies 113
CT Dataset Anisotropy Management for Oral Implantology Planning Software 112
Introducing abduction into (Extensional) inductive logic programming systems 112
Validation of biochemical laboratory results using the DNSev expert system 112
null 111
null 111
null 111
null 111
Expressing and Verifying Business Contracts with Abductive Logic Programming 111
Analyzing Transaction Fees with Probabilistic Logic Programming 111
Probabilistic logic programming for natural language processing 110
Studying transaction fees in the Bitcoin Blockchain with probabilistic logic programming 110
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases 109
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning 109
null 108
null 108
A Modular Inference System for Probabilistic Description Logics 108
null 107
null 107
An Implementation for Abductive LogIc Agents 106
null 106
null 106
Reasoning on Datalog± Ontologies with Abductive Logic Programming 106
null 105
null 105
null 105
null 104
null 103
Dischargeable Obligations in the ScIFF Framework 103
An Abductive Framework for A-Priori Verification of Web Services 102
Lifted Variable Elimination for Probabilistic Logic Programming 102
Belief revision via Lamarckian evolution 102
Specification and verification of agent interaction protocols in a logic-based system 101
null 101
null 101
null 101
Learning specifications of interaction protocols and business processes and proving their properties 99
null 99
null 98
null 98
null 98
null 97
Totale 12.433
Salva come PNG Salva come JPEG
Categoria #
all - tutte 90.632
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 6.258
Totale 96.890
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20203.178 0 0 0 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.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/2025808 107 157 477 67 0 0 0 0 0 0 0 0
Totale 23.141