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

LAMMA, Evelina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 21.441
AS - Asia 11.651
EU - Europa 8.210
SA - Sud America 1.795
Continente sconosciuto - Info sul continente non disponibili 648
AF - Africa 252
OC - Oceania 30
Totale 44.027
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 20.914
SG - Singapore 4.250
CN - Cina 2.954
IT - Italia 2.092
DE - Germania 1.906
BR - Brasile 1.390
VN - Vietnam 1.173
UA - Ucraina 996
TR - Turchia 937
HK - Hong Kong 901
GB - Regno Unito 604
RU - Federazione Russa 529
PL - Polonia 503
FI - Finlandia 361
SE - Svezia 361
FR - Francia 338
JP - Giappone 281
CA - Canada 246
IN - India 232
BD - Bangladesh 224
MX - Messico 193
ID - Indonesia 159
AR - Argentina 130
NL - Olanda 105
ZA - Sudafrica 95
AT - Austria 91
IQ - Iraq 90
ES - Italia 77
BE - Belgio 74
EC - Ecuador 71
PK - Pakistan 63
CO - Colombia 54
SA - Arabia Saudita 52
MY - Malesia 43
VE - Venezuela 38
UZ - Uzbekistan 37
MA - Marocco 36
LT - Lituania 33
AE - Emirati Arabi Uniti 31
CL - Cile 31
AU - Australia 28
TN - Tunisia 28
PH - Filippine 27
PY - Paraguay 27
JO - Giordania 26
CH - Svizzera 24
EG - Egitto 21
EU - Europa 20
TH - Thailandia 20
JM - Giamaica 18
PE - Perù 18
DZ - Algeria 16
NP - Nepal 16
RO - Romania 16
AZ - Azerbaigian 15
CZ - Repubblica Ceca 15
BO - Bolivia 14
KE - Kenya 14
PT - Portogallo 14
UY - Uruguay 14
IE - Irlanda 12
IR - Iran 11
DO - Repubblica Dominicana 10
KZ - Kazakistan 10
TT - Trinidad e Tobago 10
CR - Costa Rica 9
GE - Georgia 9
HN - Honduras 9
IL - Israele 9
OM - Oman 9
SY - Repubblica araba siriana 8
TW - Taiwan 8
DK - Danimarca 7
ET - Etiopia 7
GT - Guatemala 7
KG - Kirghizistan 7
LB - Libano 7
PA - Panama 7
RS - Serbia 7
SN - Senegal 7
BG - Bulgaria 6
PS - Palestinian Territory 6
BH - Bahrain 5
BN - Brunei Darussalam 5
GR - Grecia 5
KR - Corea 5
NO - Norvegia 5
SR - Suriname 5
AL - Albania 4
HU - Ungheria 4
LV - Lettonia 4
SV - El Salvador 4
TG - Togo 4
BY - Bielorussia 3
GA - Gabon 3
KW - Kuwait 3
LK - Sri Lanka 3
LU - Lussemburgo 3
MN - Mongolia 3
MZ - Mozambico 3
Totale 43.339
Salva come PNG Salva come JPEG
Città #
Singapore 2.766
Ashburn 2.273
Woodbridge 1.819
Fairfield 1.657
San Jose 1.361
Houston 1.155
Jacksonville 1.062
Chandler 1.002
Santa Clara 970
Hong Kong 882
Beijing 801
Ann Arbor 785
Council Bluffs 688
Seattle 685
Ferrara 663
Wilmington 640
Cambridge 500
Warsaw 478
Milan 399
Izmir 391
Ho Chi Minh City 368
Nanjing 317
Dallas 278
Los Angeles 274
Hanoi 272
Tokyo 270
Princeton 237
Munich 228
The Dalles 218
New York 208
Addison 196
Lauterbourg 196
Boardman 182
San Diego 153
Bologna 142
São Paulo 125
Mexico City 123
Bremen 122
Nanchang 122
Shanghai 119
Shenyang 109
Jakarta 106
Helsinki 93
Tianjin 85
Hefei 78
Orem 78
Vienna 76
Hebei 75
Dearborn 73
Toronto 71
Chicago 69
Turku 69
Brooklyn 68
London 68
Jinan 65
Brussels 64
Da Nang 63
Montreal 63
Chennai 61
Düsseldorf 61
Columbus 58
Moscow 57
San Francisco 57
Des Moines 54
Jiaxing 52
Atlanta 51
Haiphong 49
Johannesburg 49
Phoenix 48
Baghdad 43
Denver 43
Frankfurt am Main 43
Zhengzhou 42
Changsha 39
Manchester 39
Mountain View 39
Stockholm 39
Redwood City 38
San Mateo 38
Bari 37
Brasília 37
Norwalk 37
Buffalo 36
Rome 36
Hangzhou 35
Poplar 35
Belo Horizonte 34
Dong Ket 33
Ningbo 32
Boston 31
Falkenstein 30
Guangzhou 30
Tashkent 30
Ankara 29
Kunming 28
Indiana 27
Orange 27
Washington 27
Falls Church 26
Auburn Hills 25
Totale 28.162
Salva come PNG Salva come JPEG
Nome #
Probabilistic logic programming on the web 362
Abductive Logic Programming for Normative Reasoning and Ontologies 351
A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics 346
Reducing Laboratory Examinations by a Computer-aided Clinical Decision Support System 337
Probabilistic Hybrid Knowledge Bases under the Distribution Semantics 326
Tableau reasoning for description logics and its extension to probabilities 295
A web system for reasoning with probabilistic OWL 291
KRaider: A crawler for linked data 280
Distributed Parameter Learning for Probabilistic Ontologies 270
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases 268
Accountable protocols in abductive logic programming 268
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning 261
Abductive logic programming for Datalog+/- ontologies 260
An Abductive Framework for Datalog± Ontologies 258
Correlation of expression between different IMAGE clones from the same UniGene cluster 258
Reasoning on Datalog± Ontologies with Abductive Logic Programming 258
Economic and organizational impact of a clinical decision support system on laboratory test ordering 252
Statistical relational learning for workflow mining 251
Bright PowerPoint: strumenti software integrati per l’accessibilità delle presentazioni 246
Probabilistic Description Logics under the distribution semantics 243
A Computational Logic Application Framework for Service Discovery and Contracting 239
A Modular Inference System for Probabilistic Description Logics 232
APPLICAZIONE DI TECNICHE DI INTELLIGENZA ARTIFICIALE ALL’INTERPRETAZIONE DI IMMAGINI DI SOTTOSUOLO / USE OF ARTIFICIAL INTELLIGENCE TECHNIQUES TO THE INTERPRETATION OF SUBSURFACE LOG IMAGES 231
Deon  + : Abduction and Constraints for Normative Reasoning 231
Probabilistic Constraint Logic Theories 229
Abduction in the context of a reasoning process: the SCIFF framework 228
Analyzing Transaction Fees with Probabilistic Logic Programming 225
Dischargeable obligations in abductive logic programming 223
Coordinating the safe execution of tasks in a constrained multi-agent system 219
Evaluating Compliance: From LTL to Abductive Logic Programming 218
A computational logic-based approach to verification of IT systems 214
Reasoning with Probabilistic Ontologies 213
Probabilistic logic programming for natural language processing 212
Compliance verification of agent interaction: A logic-based software tool 211
Lifted Variable Elimination for Probabilistic Logic Programming 211
Abduction for specifying and verifying web service choreographies 210
Dischargeable Obligations in the ScIFF Framework 210
Evaluating compliance: from LTL to abductive logic programming 210
Verification from declarative specifications using logic programming 207
Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques 205
Expressing and Verifying Business Contracts with Abductive Logic Programming 203
Deep probabilistic logic programming 203
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach 203
An Abductive Framework for A-Priori Verification of Web Services 201
Characterization of TLC 3D-NAND Flash Endurance through Machine Learning for LDPC Code Rate Optimization 201
A Comparison of MCMC Sampling for Probabilistic Logic Programming 201
Learning Probabilistic Ontologies with Distributed Parameter Learning 200
CT Dataset Anisotropy Management for Oral Implantology Planning Software 198
Mapping deontic operators to abductive expectations 197
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling 194
Specification and verification of agent interaction protocols in a logic-based system 191
Probabilistic Traces in Declarative Process Mining 190
LAILA: A Language for Coordinating Abductive Reasoning Among Logic Agents 190
AI*IA 2015 Advances in Artificial Intelligence 190
A Logic Based Approach to Multi-Agent Systems 189
A system for measuring function points from an ER-DFD specification 188
Vision inspection with neural networks 188
A semantics for Hybrid Probabilistic Logic programs with function symbols 187
Expressing and Verifying Business Contracts with Abductive Logic Programming 186
An Implementation for Abductive LogIc Agents 185
A Framework for Reasoning on Probabilistic Description Logics 183
Structure Learning with Distributed Parameter Learning for Probabilistic Ontologies 179
Studying transaction fees in the Bitcoin Blockchain with probabilistic logic programming 179
Validation of biochemical laboratory results using the DNSev expert system 178
Domains as first class objects in CLP(FD) 175
Logic programming techniques for reasoning with probabilistic ontologies 174
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure 172
Introducing abduction into (Extensional) inductive logic programming systems 172
Preface 170
Expectation Maximization in Deep Probabilistic Logic Programming 170
Exploiting semantic technology in computational logic-based service contracting 168
A probabilistic logic model of Lightning Network 168
Scaling Structure Learning of Probabilistic Logic Programs by MapReduce 167
Exploiting association & correlation rules parameters for improving the K2 algorithm 166
di4g: Uno strumento di clustering per l’analisi integrata di dati geologici 166
Verification from declarative specifications using logic programming 165
Combining apriori and bootstrap techniques for marker analysis 163
Marker Analysis with APRIORI-Based Algorithms 163
Exploiting supervised and unsupervised learning techniques for profiling cancer data 162
Learning specifications of interaction protocols and business processes and proving their properties 161
Accountable protocols in abductive logic programming (extended abstract) 161
Probabilistic Compliance in Declarative Process Mining 159
Specification and verification of agent interaction protocols in a logic-based system 158
A 3D environment for oral implant planning and simulation 158
Iterated fixpoint well-founded semantics for hybrid knowledge bases 157
Mapping Deontic Operators to Abductive Expectations 155
An Abductive Interpretation for Open Agent Societies 155
Performance measurement of interactive CSP search algorithms 153
null 153
null 152
Verifiable agent interaction in abductive logic programming: the SCIFF framework 151
Learning hierarchical probabilistic logic programs 151
Belief revision via Lamarckian evolution 151
Modeling Bitcoin Lightning Network by Logic Programming 150
Probabilistic inductive constraint logic 150
Un sistema basato su logica computazionale per il trattamento degli operatori deontici 148
Distributed Logic Objects 148
BUNDLE: A reasoner for probabilistic ontologies 148
A Description Logics Tableau Reasoner in Prolog 148
Exploiting CNN’s visual explanations to drive anomaly detection 147
Totale 20.398
Salva come PNG Salva come JPEG
Categoria #
all - tutte 181.124
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 12.759
Totale 193.883
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20222.492 0 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/202615.098 1.385 734 1.272 1.786 2.270 936 1.891 797 1.437 1.794 451 345
2026/20271.168 419 749 0 0 0 0 0 0 0 0 0 0
Totale 44.027