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

LAMMA, Evelina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 22.137
AS - Asia 11.689
EU - Europa 8.427
SA - Sud America 1.817
Continente sconosciuto - Info sul continente non disponibili 648
AF - Africa 252
OC - Oceania 30
Totale 45.000
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 21.585
SG - Singapore 4.257
CN - Cina 2.955
IT - Italia 2.281
DE - Germania 1.908
BR - Brasile 1.397
VN - Vietnam 1.176
UA - Ucraina 996
TR - Turchia 940
HK - Hong Kong 901
GB - Regno Unito 618
RU - Federazione Russa 529
PL - Polonia 503
FI - Finlandia 361
SE - Svezia 361
FR - Francia 338
JP - Giappone 281
CA - Canada 256
IN - India 235
BD - Bangladesh 229
MX - Messico 193
ID - Indonesia 164
AR - Argentina 133
NL - Olanda 107
ZA - Sudafrica 95
AT - Austria 92
IQ - Iraq 90
ES - Italia 80
EC - Ecuador 75
BE - Belgio 74
PK - Pakistan 65
CO - Colombia 60
SA - Arabia Saudita 52
MY - Malesia 43
VE - Venezuela 39
UZ - Uzbekistan 37
MA - Marocco 36
LT - Lituania 34
AE - Emirati Arabi Uniti 33
CL - Cile 32
PH - Filippine 29
AU - Australia 28
TN - Tunisia 28
PY - Paraguay 27
JO - Giordania 26
CH - Svizzera 24
EG - Egitto 21
TH - Thailandia 21
EU - Europa 20
JM - Giamaica 19
NP - Nepal 19
PE - Perù 18
DZ - Algeria 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
TT - Trinidad e Tobago 12
CR - Costa Rica 11
HN - Honduras 11
IR - Iran 11
DO - Repubblica Dominicana 10
KZ - Kazakistan 10
GE - Georgia 9
GT - Guatemala 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
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
BB - Barbados 4
BS - Bahamas 4
EE - Estonia 4
HU - Ungheria 4
LU - Lussemburgo 4
LV - Lettonia 4
SV - El Salvador 4
TG - Togo 4
BY - Bielorussia 3
GA - Gabon 3
KW - Kuwait 3
Totale 44.304
Salva come PNG Salva come JPEG
Città #
Singapore 2.766
Ashburn 2.349
Woodbridge 1.819
Fairfield 1.657
San Jose 1.500
Houston 1.160
Jacksonville 1.064
Chandler 1.002
Santa Clara 995
Hong Kong 882
Beijing 802
Ann Arbor 785
Council Bluffs 725
Seattle 687
Ferrara 663
Wilmington 641
Cambridge 501
Warsaw 479
Milan 409
Izmir 392
Ho Chi Minh City 369
Nanjing 317
Los Angeles 312
Dallas 285
Hanoi 272
Tokyo 270
Princeton 237
Munich 228
The Dalles 218
New York 214
Addison 196
Lauterbourg 196
Boardman 182
San Diego 156
Staranzano 144
Bologna 142
São Paulo 125
Mexico City 123
Bremen 122
Nanchang 122
Shanghai 119
Shenyang 109
Jakarta 107
Helsinki 93
Tianjin 85
Hefei 78
Orem 78
Chicago 77
Vienna 77
Hebei 75
Dearborn 73
Brooklyn 72
Toronto 71
Turku 69
London 68
Jinan 65
Brussels 64
Da Nang 64
Montreal 63
Chennai 61
Columbus 61
Düsseldorf 61
San Francisco 60
Moscow 57
Phoenix 57
Des Moines 54
Atlanta 53
Jiaxing 52
Haiphong 49
Johannesburg 49
Denver 44
Baghdad 43
Frankfurt am Main 43
Zhengzhou 42
Brasília 40
Manchester 40
Rome 40
Changsha 39
Mountain View 39
Stockholm 39
Redwood City 38
San Mateo 38
Bari 37
Buffalo 37
Norwalk 37
Hangzhou 35
Poplar 35
Belo Horizonte 34
Dong Ket 33
Ningbo 32
Boston 31
Falkenstein 30
Guangzhou 30
Tashkent 30
Washington 30
Ankara 29
Kunming 28
Falls Church 27
Indiana 27
Orange 27
Totale 28.683
Salva come PNG Salva come JPEG
Nome #
Probabilistic logic programming on the web 374
A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics 355
Abductive Logic Programming for Normative Reasoning and Ontologies 354
Reducing Laboratory Examinations by a Computer-aided Clinical Decision Support System 341
Probabilistic Hybrid Knowledge Bases under the Distribution Semantics 330
A web system for reasoning with probabilistic OWL 314
Tableau reasoning for description logics and its extension to probabilities 302
KRaider: A crawler for linked data 285
Distributed Parameter Learning for Probabilistic Ontologies 278
Accountable protocols in abductive logic programming 276
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases 272
Abductive logic programming for Datalog+/- ontologies 265
An Abductive Framework for Datalog± Ontologies 264
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning 264
Reasoning on Datalog± Ontologies with Abductive Logic Programming 262
Correlation of expression between different IMAGE clones from the same UniGene cluster 260
Statistical relational learning for workflow mining 256
Economic and organizational impact of a clinical decision support system on laboratory test ordering 255
Bright PowerPoint: strumenti software integrati per l’accessibilità delle presentazioni 254
Probabilistic Description Logics under the distribution semantics 250
A Computational Logic Application Framework for Service Discovery and Contracting 244
A Modular Inference System for Probabilistic Description Logics 240
Probabilistic Constraint Logic Theories 238
Deon  + : Abduction and Constraints for Normative Reasoning 238
APPLICAZIONE DI TECNICHE DI INTELLIGENZA ARTIFICIALE ALL’INTERPRETAZIONE DI IMMAGINI DI SOTTOSUOLO / USE OF ARTIFICIAL INTELLIGENCE TECHNIQUES TO THE INTERPRETATION OF SUBSURFACE LOG IMAGES 234
Dischargeable obligations in abductive logic programming 231
Abduction in the context of a reasoning process: the SCIFF framework 229
Analyzing Transaction Fees with Probabilistic Logic Programming 228
Evaluating Compliance: From LTL to Abductive Logic Programming 222
Coordinating the safe execution of tasks in a constrained multi-agent system 220
Probabilistic logic programming for natural language processing 219
Reasoning with Probabilistic Ontologies 218
Compliance verification of agent interaction: A logic-based software tool 217
Lifted Variable Elimination for Probabilistic Logic Programming 217
A computational logic-based approach to verification of IT systems 216
Dischargeable Obligations in the ScIFF Framework 215
Evaluating compliance: from LTL to abductive logic programming 214
Abduction for specifying and verifying web service choreographies 213
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach 212
Verification from declarative specifications using logic programming 211
Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques 211
Learning Probabilistic Ontologies with Distributed Parameter Learning 209
Expressing and Verifying Business Contracts with Abductive Logic Programming 208
Deep probabilistic logic programming 208
CT Dataset Anisotropy Management for Oral Implantology Planning Software 207
An Abductive Framework for A-Priori Verification of Web Services 205
Characterization of TLC 3D-NAND Flash Endurance through Machine Learning for LDPC Code Rate Optimization 205
A Comparison of MCMC Sampling for Probabilistic Logic Programming 204
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling 198
Mapping deontic operators to abductive expectations 198
Specification and verification of agent interaction protocols in a logic-based system 197
Probabilistic Traces in Declarative Process Mining 196
LAILA: A Language for Coordinating Abductive Reasoning Among Logic Agents 195
A system for measuring function points from an ER-DFD specification 195
A Logic Based Approach to Multi-Agent Systems 192
AI*IA 2015 Advances in Artificial Intelligence 192
A semantics for Hybrid Probabilistic Logic programs with function symbols 190
Vision inspection with neural networks 189
Expressing and Verifying Business Contracts with Abductive Logic Programming 189
A Framework for Reasoning on Probabilistic Description Logics 188
An Implementation for Abductive LogIc Agents 187
Structure Learning with Distributed Parameter Learning for Probabilistic Ontologies 186
Studying transaction fees in the Bitcoin Blockchain with probabilistic logic programming 185
Validation of biochemical laboratory results using the DNSev expert system 180
Logic programming techniques for reasoning with probabilistic ontologies 179
Domains as first class objects in CLP(FD) 178
Preface 175
Introducing abduction into (Extensional) inductive logic programming systems 175
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure 174
Exploiting association & correlation rules parameters for improving the K2 algorithm 173
Expectation Maximization in Deep Probabilistic Logic Programming 173
Exploiting semantic technology in computational logic-based service contracting 172
A probabilistic logic model of Lightning Network 172
Scaling Structure Learning of Probabilistic Logic Programs by MapReduce 171
Verification from declarative specifications using logic programming 170
Exploiting supervised and unsupervised learning techniques for profiling cancer data 168
Marker Analysis with APRIORI-Based Algorithms 167
di4g: Uno strumento di clustering per l’analisi integrata di dati geologici 167
Combining apriori and bootstrap techniques for marker analysis 166
Accountable protocols in abductive logic programming (extended abstract) 166
A 3D environment for oral implant planning and simulation 164
Verifiable agent interaction in abductive logic programming: the SCIFF framework 163
Probabilistic Compliance in Declarative Process Mining 162
Learning specifications of interaction protocols and business processes and proving their properties 162
Specification and verification of agent interaction protocols in a logic-based system 161
Mapping Deontic Operators to Abductive Expectations 161
Iterated fixpoint well-founded semantics for hybrid knowledge bases 159
An Abductive Interpretation for Open Agent Societies 159
Learning hierarchical probabilistic logic programs 158
Performance measurement of interactive CSP search algorithms 156
Probabilistic inductive constraint logic 155
Belief revision via Lamarckian evolution 155
A Description Logics Tableau Reasoner in Prolog 154
null 153
Modeling Bitcoin Lightning Network by Logic Programming 153
BUNDLE: A reasoner for probabilistic ontologies 152
null 152
Exploiting CNN’s visual explanations to drive anomaly detection 150
Distributed Logic Objects 150
Deep learning for probabilistic logic programming 150
Totale 20.876
Salva come PNG Salva come JPEG
Categoria #
all - tutte 186.693
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 13.139
Totale 199.832
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20222.235 0 0 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/20272.141 419 859 863 0 0 0 0 0 0 0 0 0
Totale 45.000