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

LAMMA, Evelina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 20.350
AS - Asia 11.527
EU - Europa 8.096
SA - Sud America 1.773
AF - Africa 252
OC - Oceania 29
Continente sconosciuto - Info sul continente non disponibili 24
Totale 42.051
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 19.910
SG - Singapore 4.224
CN - Cina 2.910
IT - Italia 2.029
DE - Germania 1.899
BR - Brasile 1.379
VN - Vietnam 1.169
UA - Ucraina 995
TR - Turchia 937
HK - Hong Kong 882
GB - Regno Unito 600
RU - Federazione Russa 529
PL - Polonia 502
FI - Finlandia 361
FR - Francia 337
SE - Svezia 336
JP - Giappone 281
IN - India 232
BD - Bangladesh 201
CA - Canada 192
MX - Messico 189
ID - Indonesia 159
AR - Argentina 127
NL - Olanda 102
ZA - Sudafrica 95
AT - Austria 91
IQ - Iraq 90
BE - Belgio 73
ES - Italia 73
EC - Ecuador 70
PK - Pakistan 63
CO - Colombia 52
SA - Arabia Saudita 52
MY - Malesia 38
UZ - Uzbekistan 37
VE - Venezuela 37
MA - Marocco 36
LT - Lituania 33
CL - Cile 31
AE - Emirati Arabi Uniti 30
TN - Tunisia 28
AU - Australia 27
PH - Filippine 27
JO - Giordania 26
PY - Paraguay 26
CH - Svizzera 23
EG - Egitto 21
EU - Europa 20
TH - Thailandia 18
PE - Perù 17
DZ - Algeria 16
NP - Nepal 16
AZ - Azerbaigian 15
RO - Romania 15
BO - Bolivia 14
CZ - Repubblica Ceca 14
KE - Kenya 14
PT - Portogallo 14
UY - Uruguay 12
IE - Irlanda 11
IR - Iran 11
JM - Giamaica 11
DO - Repubblica Dominicana 10
KZ - Kazakistan 10
TT - Trinidad e Tobago 10
GE - Georgia 9
IL - Israele 9
OM - Oman 9
SY - Repubblica araba siriana 8
TW - Taiwan 8
DK - Danimarca 7
ET - Etiopia 7
KG - Kirghizistan 7
LB - Libano 7
RS - Serbia 7
SN - Senegal 7
BG - Bulgaria 6
HN - Honduras 6
PA - Panama 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
GT - Guatemala 4
HU - Ungheria 4
LV - Lettonia 4
TG - Togo 4
BY - Bielorussia 3
CR - Costa Rica 3
GA - Gabon 3
KW - Kuwait 3
LK - Sri Lanka 3
LU - Lussemburgo 3
MN - Mongolia 3
MZ - Mozambico 3
NI - Nicaragua 3
Totale 41.995
Salva come PNG Salva come JPEG
Città #
Singapore 2.752
Ashburn 2.196
Woodbridge 1.819
Fairfield 1.657
San Jose 1.300
Houston 1.154
Jacksonville 1.061
Chandler 1.002
Santa Clara 916
Hong Kong 863
Ann Arbor 785
Beijing 773
Seattle 683
Ferrara 662
Wilmington 640
Cambridge 499
Warsaw 478
Izmir 391
Milan 387
Ho Chi Minh City 366
Nanjing 317
Dallas 273
Hanoi 272
Tokyo 270
Los Angeles 264
Princeton 236
Munich 228
The Dalles 218
New York 204
Addison 196
Lauterbourg 196
Boardman 182
Council Bluffs 162
San Diego 150
Bologna 139
São Paulo 123
Bremen 122
Mexico City 122
Nanchang 121
Shanghai 119
Shenyang 109
Jakarta 106
Helsinki 93
Tianjin 85
Hefei 78
Orem 78
Vienna 76
Hebei 75
Dearborn 73
Turku 69
London 68
Chicago 67
Brooklyn 65
Jinan 65
Brussels 63
Da Nang 62
Chennai 61
Düsseldorf 61
Columbus 58
Montreal 57
Moscow 57
San Francisco 56
Des Moines 54
Jiaxing 52
Toronto 50
Haiphong 49
Johannesburg 49
Atlanta 48
Baghdad 43
Denver 43
Frankfurt am Main 43
Zhengzhou 42
Phoenix 40
Changsha 39
Manchester 39
Mountain View 39
Stockholm 39
San Mateo 38
Bari 37
Brasília 37
Norwalk 37
Buffalo 36
Hangzhou 35
Poplar 35
Redwood City 35
Belo Horizonte 34
Dong Ket 33
Ningbo 32
Falkenstein 30
Rome 30
Tashkent 30
Ankara 29
Boston 29
Guangzhou 29
Kunming 28
Indiana 27
Orange 27
Auburn Hills 25
Falls Church 25
Washington 25
Totale 27.272
Salva come PNG Salva come JPEG
Nome #
Probabilistic logic programming on the web 352
A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics 340
Abductive Logic Programming for Normative Reasoning and Ontologies 335
Reducing Laboratory Examinations by a Computer-aided Clinical Decision Support System 331
Probabilistic Hybrid Knowledge Bases under the Distribution Semantics 320
A web system for reasoning with probabilistic OWL 286
Tableau reasoning for description logics and its extension to probabilities 284
KRaider: A crawler for linked data 275
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases 259
Accountable protocols in abductive logic programming 256
Correlation of expression between different IMAGE clones from the same UniGene cluster 254
Abductive logic programming for Datalog+/- ontologies 254
An Abductive Framework for Datalog± Ontologies 253
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning 253
Distributed Parameter Learning for Probabilistic Ontologies 251
Statistical relational learning for workflow mining 245
Reasoning on Datalog± Ontologies with Abductive Logic Programming 245
Economic and organizational impact of a clinical decision support system on laboratory test ordering 244
Probabilistic Description Logics under the distribution semantics 240
Bright PowerPoint: strumenti software integrati per l’accessibilità delle presentazioni 240
A Computational Logic Application Framework for Service Discovery and Contracting 236
A Modular Inference System for Probabilistic Description Logics 228
APPLICAZIONE DI TECNICHE DI INTELLIGENZA ARTIFICIALE ALL’INTERPRETAZIONE DI IMMAGINI DI SOTTOSUOLO / USE OF ARTIFICIAL INTELLIGENCE TECHNIQUES TO THE INTERPRETATION OF SUBSURFACE LOG IMAGES 224
Deon  + : Abduction and Constraints for Normative Reasoning 223
Abduction in the context of a reasoning process: the SCIFF framework 222
Probabilistic Constraint Logic Theories 220
Dischargeable obligations in abductive logic programming 218
Coordinating the safe execution of tasks in a constrained multi-agent system 217
Probabilistic logic programming for natural language processing 210
Analyzing Transaction Fees with Probabilistic Logic Programming 210
A computational logic-based approach to verification of IT systems 208
Reasoning with Probabilistic Ontologies 208
Abduction for specifying and verifying web service choreographies 206
Evaluating compliance: from LTL to abductive logic programming 204
Evaluating Compliance: From LTL to Abductive Logic Programming 203
Lifted Variable Elimination for Probabilistic Logic Programming 201
Verification from declarative specifications using logic programming 201
Expressing and Verifying Business Contracts with Abductive Logic Programming 200
Compliance verification of agent interaction: A logic-based software tool 199
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach 199
Deep probabilistic logic programming 196
Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques 196
An Abductive Framework for A-Priori Verification of Web Services 195
Dischargeable Obligations in the ScIFF Framework 195
Learning Probabilistic Ontologies with Distributed Parameter Learning 194
Characterization of TLC 3D-NAND Flash Endurance through Machine Learning for LDPC Code Rate Optimization 194
A Comparison of MCMC Sampling for Probabilistic Logic Programming 194
Mapping deontic operators to abductive expectations 193
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling 190
CT Dataset Anisotropy Management for Oral Implantology Planning Software 189
LAILA: A Language for Coordinating Abductive Reasoning Among Logic Agents 186
Specification and verification of agent interaction protocols in a logic-based system 185
AI*IA 2015 Advances in Artificial Intelligence 185
A system for measuring function points from an ER-DFD specification 184
A semantics for Hybrid Probabilistic Logic programs with function symbols 183
A Logic Based Approach to Multi-Agent Systems 181
Vision inspection with neural networks 181
Expressing and Verifying Business Contracts with Abductive Logic Programming 180
An Implementation for Abductive LogIc Agents 179
A Framework for Reasoning on Probabilistic Description Logics 176
Studying transaction fees in the Bitcoin Blockchain with probabilistic logic programming 175
Validation of biochemical laboratory results using the DNSev expert system 173
Logic programming techniques for reasoning with probabilistic ontologies 172
Domains as first class objects in CLP(FD) 171
Structure Learning with Distributed Parameter Learning for Probabilistic Ontologies 171
Probabilistic Traces in Declarative Process Mining 170
Preface 168
Introducing abduction into (Extensional) inductive logic programming systems 167
Exploiting semantic technology in computational logic-based service contracting 163
Exploiting association & correlation rules parameters for improving the K2 algorithm 163
A probabilistic logic model of Lightning Network 162
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure 161
Scaling Structure Learning of Probabilistic Logic Programs by MapReduce 161
Marker Analysis with APRIORI-Based Algorithms 160
Expectation Maximization in Deep Probabilistic Logic Programming 160
Verification from declarative specifications using logic programming 160
Combining apriori and bootstrap techniques for marker analysis 159
Exploiting supervised and unsupervised learning techniques for profiling cancer data 159
di4g: Uno strumento di clustering per l’analisi integrata di dati geologici 159
Accountable protocols in abductive logic programming (extended abstract) 159
Learning specifications of interaction protocols and business processes and proving their properties 155
Specification and verification of agent interaction protocols in a logic-based system 154
Iterated fixpoint well-founded semantics for hybrid knowledge bases 154
null 153
null 152
A 3D environment for oral implant planning and simulation 151
Mapping Deontic Operators to Abductive Expectations 150
Belief revision via Lamarckian evolution 149
Performance measurement of interactive CSP search algorithms 147
Modeling Bitcoin Lightning Network by Logic Programming 147
Learning hierarchical probabilistic logic programs 147
An Abductive Interpretation for Open Agent Societies 147
null 146
Probabilistic Compliance in Declarative Process Mining 145
Probabilistic inductive constraint logic 145
null 144
Distributed Logic Objects 144
Verifiable agent interaction in abductive logic programming: the SCIFF framework 142
Un sistema basato su logica computazionale per il trattamento degli operatori deontici 142
Can Image Logs Be Interpreted Using Artificial Intelligence Techniques? A Supervised Test over Two FMI Borehole Logs 140
Totale 19.757
Salva come PNG Salva come JPEG
Categoria #
all - tutte 170.508
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 12.039
Totale 182.547
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021202 0 0 0 0 0 0 0 0 0 0 0 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/202614.914 1.385 734 1.272 1.786 2.270 936 1.891 797 1.437 1.794 451 161
Totale 42.675