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

LAMMA, Evelina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 17.579
AS - Asia 8.710
EU - Europa 7.474
SA - Sud America 1.424
AF - Africa 139
OC - Oceania 27
Continente sconosciuto - Info sul continente non disponibili 23
Totale 35.376
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 17.236
SG - Singapore 3.447
CN - Cina 2.479
IT - Italia 1.885
DE - Germania 1.868
BR - Brasile 1.196
UA - Ucraina 987
TR - Turchia 908
HK - Hong Kong 817
GB - Regno Unito 538
RU - Federazione Russa 505
PL - Polonia 495
VN - Vietnam 455
FI - Finlandia 337
SE - Svezia 335
CA - Canada 157
MX - Messico 157
ID - Indonesia 132
IN - India 123
FR - Francia 100
AT - Austria 89
AR - Argentina 87
NL - Olanda 86
BE - Belgio 68
ZA - Sudafrica 66
BD - Bangladesh 62
ES - Italia 55
JP - Giappone 55
EC - Ecuador 41
IQ - Iraq 41
LT - Lituania 29
AU - Australia 25
CO - Colombia 24
AE - Emirati Arabi Uniti 22
PK - Pakistan 21
EU - Europa 20
CH - Svizzera 19
VE - Venezuela 19
UZ - Uzbekistan 18
MA - Marocco 17
PY - Paraguay 17
SA - Arabia Saudita 16
RO - Romania 14
CZ - Repubblica Ceca 13
EG - Egitto 13
CL - Cile 12
IR - Iran 11
PE - Perù 10
PT - Portogallo 10
AZ - Azerbaigian 9
JO - Giordania 9
KE - Kenya 9
TN - Tunisia 9
MY - Malesia 8
BO - Bolivia 7
DK - Danimarca 7
IE - Irlanda 7
KZ - Kazakistan 7
OM - Oman 7
TT - Trinidad e Tobago 7
UY - Uruguay 7
DZ - Algeria 6
GE - Georgia 6
NP - Nepal 6
PH - Filippine 6
SY - Repubblica araba siriana 6
IL - Israele 5
JM - Giamaica 5
RS - Serbia 5
TW - Taiwan 5
BN - Brunei Darussalam 4
DO - Repubblica Dominicana 4
HN - Honduras 4
LB - Libano 4
SN - Senegal 4
BG - Bulgaria 3
GR - Grecia 3
KG - Kirghizistan 3
KR - Corea 3
LU - Lussemburgo 3
LV - Lettonia 3
MZ - Mozambico 3
NO - Norvegia 3
PA - Panama 3
PS - Palestinian Territory 3
TG - Togo 3
TH - Thailandia 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AL - Albania 2
CM - Camerun 2
CY - Cipro 2
ET - Etiopia 2
GY - Guiana 2
HU - Ungheria 2
MN - Mongolia 2
SR - Suriname 2
AM - Armenia 1
BF - Burkina Faso 1
BH - Bahrain 1
BY - Bielorussia 1
Totale 35.358
Salva come PNG Salva come JPEG
Città #
Singapore 2.116
Woodbridge 1.819
Fairfield 1.656
Ashburn 1.568
Houston 1.146
Jacksonville 1.061
Chandler 1.002
Santa Clara 885
Hong Kong 810
Ann Arbor 785
Beijing 717
Seattle 681
Ferrara 644
Wilmington 639
Cambridge 499
Warsaw 474
Izmir 389
Milan 379
Nanjing 317
Dallas 256
Los Angeles 239
Princeton 236
Munich 226
Addison 196
Boardman 182
The Dalles 171
Ho Chi Minh City 152
San Diego 149
New York 148
Bremen 121
Nanchang 121
Bologna 118
Shanghai 117
Mexico City 113
Shenyang 109
São Paulo 104
Jakarta 102
Council Bluffs 100
Hanoi 87
Tianjin 80
Hefei 77
Hebei 75
Vienna 75
Helsinki 73
Dearborn 72
Turku 69
Jinan 65
London 63
Brussels 61
Chicago 61
Düsseldorf 61
Brooklyn 58
Columbus 57
Moscow 56
Des Moines 52
Jiaxing 52
Tokyo 49
Chennai 48
Montreal 48
San Francisco 48
Johannesburg 42
Toronto 42
Zhengzhou 40
Changsha 39
Mountain View 39
Atlanta 38
Denver 38
Orem 38
San Mateo 38
Stockholm 38
Bari 37
Norwalk 37
Phoenix 37
Redwood City 35
San Jose 35
Poplar 34
Dong Ket 33
Hangzhou 33
Brasília 32
Ningbo 32
Falkenstein 30
Belo Horizonte 28
Kunming 28
Boston 27
Frankfurt am Main 27
Indiana 27
Orange 27
Auburn Hills 25
Falls Church 25
Manchester 25
Washington 25
Ankara 24
Taizhou 24
Guangzhou 23
Baghdad 22
Montréal 22
Rio de Janeiro 22
Rome 21
Buffalo 20
Naaldwijk 20
Totale 23.163
Salva come PNG Salva come JPEG
Nome #
Probabilistic logic programming on the web 304
Reducing Laboratory Examinations by a Computer-aided Clinical Decision Support System 290
Abductive Logic Programming for Normative Reasoning and Ontologies 286
Probabilistic Hybrid Knowledge Bases under the Distribution Semantics 285
A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics 280
A web system for reasoning with probabilistic OWL 247
Tableau reasoning for description logics and its extension to probabilities 238
KRaider: A crawler for linked data 236
Distributed Parameter Learning for Probabilistic Ontologies 220
An Abductive Framework for Datalog± Ontologies 219
Correlation of expression between different IMAGE clones from the same UniGene cluster 219
Accountable protocols in abductive logic programming 219
Abductive logic programming for Datalog+/- ontologies 219
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning 217
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases 215
Economic and organizational impact of a clinical decision support system on laboratory test ordering 209
Probabilistic Description Logics under the distribution semantics 208
Bright PowerPoint: strumenti software integrati per l’accessibilità delle presentazioni 208
Dischargeable obligations in abductive logic programming 202
A Computational Logic Application Framework for Service Discovery and Contracting 200
Deon  + : Abduction and Constraints for Normative Reasoning 193
Statistical relational learning for workflow mining 191
APPLICAZIONE DI TECNICHE DI INTELLIGENZA ARTIFICIALE ALL’INTERPRETAZIONE DI IMMAGINI DI SOTTOSUOLO / USE OF ARTIFICIAL INTELLIGENCE TECHNIQUES TO THE INTERPRETATION OF SUBSURFACE LOG IMAGES 189
Coordinating the safe execution of tasks in a constrained multi-agent system 189
Probabilistic Constraint Logic Theories 188
Abduction in the context of a reasoning process: the SCIFF framework 188
Reasoning on Datalog± Ontologies with Abductive Logic Programming 186
Reasoning with Probabilistic Ontologies 184
A Modular Inference System for Probabilistic Description Logics 184
Compliance verification of agent interaction: A logic-based software tool 180
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach 180
Expressing and Verifying Business Contracts with Abductive Logic Programming 178
Evaluating compliance: from LTL to abductive logic programming 178
A computational logic-based approach to verification of IT systems 177
Verification from declarative specifications using logic programming 177
Probabilistic logic programming for natural language processing 177
Analyzing Transaction Fees with Probabilistic Logic Programming 175
Mapping deontic operators to abductive expectations 175
Abduction for specifying and verifying web service choreographies 173
Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques 173
Lifted Variable Elimination for Probabilistic Logic Programming 172
A system for measuring function points from an ER-DFD specification 171
Learning Probabilistic Ontologies with Distributed Parameter Learning 171
Characterization of TLC 3D-NAND Flash Endurance through Machine Learning for LDPC Code Rate Optimization 171
CT Dataset Anisotropy Management for Oral Implantology Planning Software 165
Deep probabilistic logic programming 164
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling 162
Evaluating Compliance: From LTL to Abductive Logic Programming 161
Specification and verification of agent interaction protocols in a logic-based system 158
Expressing and Verifying Business Contracts with Abductive Logic Programming 158
An Implementation for Abductive LogIc Agents 157
A Comparison of MCMC Sampling for Probabilistic Logic Programming 156
LAILA: A Language for Coordinating Abductive Reasoning Among Logic Agents 155
An Abductive Framework for A-Priori Verification of Web Services 155
AI*IA 2015 Advances in Artificial Intelligence 154
null 153
Dischargeable Obligations in the ScIFF Framework 153
null 152
Introducing abduction into (Extensional) inductive logic programming systems 149
Studying transaction fees in the Bitcoin Blockchain with probabilistic logic programming 149
null 146
A Logic Based Approach to Multi-Agent Systems 146
Domains as first class objects in CLP(FD) 146
A semantics for Hybrid Probabilistic Logic programs with function symbols 145
null 144
Validation of biochemical laboratory results using the DNSev expert system 144
Scaling Structure Learning of Probabilistic Logic Programs by MapReduce 143
Specification and verification of agent interaction protocols in a logic-based system 142
Logic programming techniques for reasoning with probabilistic ontologies 142
Exploiting semantic technology in computational logic-based service contracting 140
Structure Learning with Distributed Parameter Learning for Probabilistic Ontologies 140
A Framework for Reasoning on Probabilistic Description Logics 140
Preface 139
Vision inspection with neural networks 139
null 137
Learning specifications of interaction protocols and business processes and proving their properties 136
Iterated fixpoint well-founded semantics for hybrid knowledge bases 135
Distributed Logic Objects 134
null 134
Marker Analysis with APRIORI-Based Algorithms 133
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure 133
null 133
Verification from declarative specifications using logic programming 133
Modeling Bitcoin Lightning Network by Logic Programming 132
Combining apriori and bootstrap techniques for marker analysis 131
null 130
Belief revision via Lamarckian evolution 130
Accountable protocols in abductive logic programming (extended abstract) 129
Mapping Deontic Operators to Abductive Expectations 128
null 127
Expectation Maximization in Deep Probabilistic Logic Programming 127
null 127
null 126
A 3D environment for oral implant planning and simulation 126
Probabilistic Traces in Declarative Process Mining 124
di4g: Uno strumento di clustering per l’analisi integrata di dati geologici 124
Un sistema basato su logica computazionale per il trattamento degli operatori deontici 123
A probabilistic logic model of Lightning Network 123
Verifiable agent interaction in abductive logic programming: the SCIFF framework 122
null 121
Totale 16.896
Salva come PNG Salva come JPEG
Categoria #
all - tutte 152.203
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 10.690
Totale 162.893
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20212.447 0 0 0 0 0 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/20255.428 107 157 477 155 681 509 188 438 687 612 861 556
2025/20268.234 1.385 734 1.272 1.786 2.270 787 0 0 0 0 0 0
Totale 35.995