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.459
AS - Asia 8.447
EU - Europa 7.450
SA - Sud America 1.403
AF - Africa 130
OC - Oceania 27
Continente sconosciuto - Info sul continente non disponibili 23
Totale 34.939
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 17.122
SG - Singapore 3.275
CN - Cina 2.472
IT - Italia 1.883
DE - Germania 1.868
BR - Brasile 1.183
UA - Ucraina 986
TR - Turchia 907
HK - Hong Kong 816
GB - Regno Unito 528
RU - Federazione Russa 504
PL - Polonia 492
VN - Vietnam 413
FI - Finlandia 337
SE - Svezia 335
MX - Messico 155
CA - Canada 153
ID - Indonesia 132
IN - India 116
FR - Francia 100
AT - Austria 89
AR - Argentina 86
NL - Olanda 85
BE - Belgio 68
ZA - Sudafrica 63
BD - Bangladesh 57
ES - Italia 53
JP - Giappone 53
EC - Ecuador 41
IQ - Iraq 33
AU - Australia 25
LT - Lituania 25
CO - Colombia 23
AE - Emirati Arabi Uniti 21
EU - Europa 20
CH - Svizzera 19
MA - Marocco 16
PY - Paraguay 16
SA - Arabia Saudita 16
VE - Venezuela 16
PK - Pakistan 15
UZ - Uzbekistan 15
RO - Romania 14
CZ - Repubblica Ceca 13
CL - Cile 12
EG - Egitto 12
IR - Iran 10
PE - Perù 10
PT - Portogallo 10
AZ - Azerbaigian 9
TN - Tunisia 9
JO - Giordania 8
MY - Malesia 8
DK - Danimarca 7
IE - Irlanda 7
KE - Kenya 7
OM - Oman 7
TT - Trinidad e Tobago 7
UY - Uruguay 7
BO - Bolivia 6
DZ - Algeria 6
PH - Filippine 6
SY - Repubblica araba siriana 6
GE - Georgia 5
JM - Giamaica 5
NP - Nepal 5
RS - Serbia 5
TW - Taiwan 5
BN - Brunei Darussalam 4
DO - Repubblica Dominicana 4
HN - Honduras 4
IL - Israele 4
KZ - Kazakistan 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
HU - Ungheria 2
MN - Mongolia 2
SR - Suriname 2
AM - Armenia 1
BF - Burkina Faso 1
BH - Bahrain 1
BY - Bielorussia 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
Totale 34.922
Salva come PNG Salva come JPEG
Città #
Singapore 1.944
Woodbridge 1.819
Fairfield 1.656
Ashburn 1.542
Houston 1.145
Jacksonville 1.061
Chandler 1.002
Santa Clara 883
Hong Kong 809
Ann Arbor 785
Beijing 717
Seattle 681
Ferrara 644
Wilmington 639
Cambridge 499
Warsaw 471
Izmir 389
Milan 379
Nanjing 317
Dallas 256
Princeton 236
Los Angeles 232
Munich 226
Addison 196
Boardman 182
The Dalles 160
San Diego 149
New York 141
Ho Chi Minh City 138
Bremen 121
Nanchang 121
Bologna 118
Shanghai 117
Mexico City 113
Shenyang 109
São Paulo 104
Jakarta 102
Council Bluffs 97
Tianjin 80
Hanoi 77
Hefei 77
Hebei 75
Vienna 75
Helsinki 73
Dearborn 72
Turku 69
Jinan 65
Brussels 61
Chicago 61
Düsseldorf 61
London 60
Columbus 57
Brooklyn 56
Moscow 55
Des Moines 52
Jiaxing 52
San Francisco 48
Tokyo 47
Montreal 46
Chennai 45
Toronto 41
Zhengzhou 40
Changsha 39
Johannesburg 39
Mountain View 39
Denver 38
San Mateo 38
Stockholm 38
Bari 37
Norwalk 37
Redwood City 35
Atlanta 34
Dong Ket 33
Hangzhou 32
Ningbo 32
Phoenix 32
Brasília 31
Poplar 31
Falkenstein 30
Orem 29
Kunming 28
Frankfurt am Main 27
Indiana 27
Orange 27
Belo Horizonte 26
Boston 26
Auburn Hills 25
Falls Church 25
Washington 25
Manchester 24
Taizhou 24
Ankara 23
Guangzhou 23
Montréal 22
Rio de Janeiro 22
Rome 21
Buffalo 20
Naaldwijk 20
Verona 20
Baghdad 19
Totale 22.843
Salva come PNG Salva come JPEG
Nome #
Probabilistic logic programming on the web 298
Reducing Laboratory Examinations by a Computer-aided Clinical Decision Support System 287
Abductive Logic Programming for Normative Reasoning and Ontologies 282
Probabilistic Hybrid Knowledge Bases under the Distribution Semantics 281
A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics 276
A web system for reasoning with probabilistic OWL 242
Tableau reasoning for description logics and its extension to probabilities 234
KRaider: A crawler for linked data 233
Distributed Parameter Learning for Probabilistic Ontologies 218
An Abductive Framework for Datalog± Ontologies 215
Correlation of expression between different IMAGE clones from the same UniGene cluster 215
Accountable protocols in abductive logic programming 215
Abductive logic programming for Datalog+/- ontologies 215
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases 214
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning 210
Probabilistic Description Logics under the distribution semantics 208
Bright PowerPoint: strumenti software integrati per l’accessibilità delle presentazioni 207
Economic and organizational impact of a clinical decision support system on laboratory test ordering 205
Dischargeable obligations in abductive logic programming 199
A Computational Logic Application Framework for Service Discovery and Contracting 198
Deon  + : Abduction and Constraints for Normative Reasoning 190
Statistical relational learning for workflow mining 188
APPLICAZIONE DI TECNICHE DI INTELLIGENZA ARTIFICIALE ALL’INTERPRETAZIONE DI IMMAGINI DI SOTTOSUOLO / USE OF ARTIFICIAL INTELLIGENCE TECHNIQUES TO THE INTERPRETATION OF SUBSURFACE LOG IMAGES 187
Probabilistic Constraint Logic Theories 187
Coordinating the safe execution of tasks in a constrained multi-agent system 187
Abduction in the context of a reasoning process: the SCIFF framework 186
Reasoning with Probabilistic Ontologies 183
Reasoning on Datalog± Ontologies with Abductive Logic Programming 183
A Modular Inference System for Probabilistic Description Logics 182
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach 178
Evaluating compliance: from LTL to abductive logic programming 177
Expressing and Verifying Business Contracts with Abductive Logic Programming 176
Verification from declarative specifications using logic programming 176
A computational logic-based approach to verification of IT systems 175
Probabilistic logic programming for natural language processing 175
Mapping deontic operators to abductive expectations 174
Compliance verification of agent interaction: A logic-based software tool 173
Abduction for specifying and verifying web service choreographies 170
A system for measuring function points from an ER-DFD specification 170
Lifted Variable Elimination for Probabilistic Logic Programming 170
Learning Probabilistic Ontologies with Distributed Parameter Learning 170
Characterization of TLC 3D-NAND Flash Endurance through Machine Learning for LDPC Code Rate Optimization 170
Analyzing Transaction Fees with Probabilistic Logic Programming 170
Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques 170
CT Dataset Anisotropy Management for Oral Implantology Planning Software 163
Evaluating Compliance: From LTL to Abductive Logic Programming 160
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling 160
Deep probabilistic logic programming 159
Specification and verification of agent interaction protocols in a logic-based system 156
An Implementation for Abductive LogIc Agents 156
LAILA: A Language for Coordinating Abductive Reasoning Among Logic Agents 155
Expressing and Verifying Business Contracts with Abductive Logic Programming 155
An Abductive Framework for A-Priori Verification of Web Services 154
A Comparison of MCMC Sampling for Probabilistic Logic Programming 154
null 153
AI*IA 2015 Advances in Artificial Intelligence 152
Dischargeable Obligations in the ScIFF Framework 152
null 152
Introducing abduction into (Extensional) inductive logic programming systems 148
Studying transaction fees in the Bitcoin Blockchain with probabilistic logic programming 147
null 146
null 144
Validation of biochemical laboratory results using the DNSev expert system 144
Domains as first class objects in CLP(FD) 143
Scaling Structure Learning of Probabilistic Logic Programs by MapReduce 143
A semantics for Hybrid Probabilistic Logic programs with function symbols 143
Specification and verification of agent interaction protocols in a logic-based system 141
A Logic Based Approach to Multi-Agent Systems 141
Logic programming techniques for reasoning with probabilistic ontologies 141
Structure Learning with Distributed Parameter Learning for Probabilistic Ontologies 139
Preface 138
Vision inspection with neural networks 138
null 137
Exploiting semantic technology in computational logic-based service contracting 137
A Framework for Reasoning on Probabilistic Description Logics 136
Learning specifications of interaction protocols and business processes and proving their properties 135
null 134
Distributed Logic Objects 133
null 133
Iterated fixpoint well-founded semantics for hybrid knowledge bases 133
Verification from declarative specifications using logic programming 133
Marker Analysis with APRIORI-Based Algorithms 132
Modeling Bitcoin Lightning Network by Logic Programming 131
Combining apriori and bootstrap techniques for marker analysis 130
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure 130
null 130
Belief revision via Lamarckian evolution 130
null 127
Expectation Maximization in Deep Probabilistic Logic Programming 127
null 127
null 126
Mapping Deontic Operators to Abductive Expectations 126
Accountable protocols in abductive logic programming (extended abstract) 126
A 3D environment for oral implant planning and simulation 125
di4g: Uno strumento di clustering per l’analisi integrata di dati geologici 123
Probabilistic Traces in Declarative Process Mining 122
Verifiable agent interaction in abductive logic programming: the SCIFF framework 121
null 121
Un sistema basato su logica computazionale per il trattamento degli operatori deontici 120
A probabilistic logic model of Lightning Network 120
Totale 16.701
Salva come PNG Salva come JPEG
Categoria #
all - tutte 151.121
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 10.600
Totale 161.721
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/20267.797 1.385 734 1.272 1.786 2.270 350 0 0 0 0 0 0
Totale 35.558