IRIS
MANNA, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.882
AS - Asia 2.330
EU - Europa 1.735
SA - Sud America 589
AF - Africa 165
OC - Oceania 11
Continente sconosciuto - Info sul continente non disponibili 2
Totale 7.714
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.753
SG - Singapore 1.075
CN - Cina 526
BR - Brasile 444
UA - Ucraina 428
DE - Germania 391
IT - Italia 364
VN - Vietnam 288
SE - Svezia 126
RU - Federazione Russa 112
HK - Hong Kong 110
SN - Senegal 102
CA - Canada 87
KR - Corea 76
AR - Argentina 68
TR - Turchia 68
AT - Austria 62
FI - Finlandia 60
GB - Regno Unito 50
FR - Francia 33
IN - India 33
IQ - Iraq 28
EC - Ecuador 24
MX - Messico 24
ZA - Sudafrica 23
BD - Bangladesh 22
NL - Olanda 18
CZ - Repubblica Ceca 17
ID - Indonesia 17
PL - Polonia 13
BE - Belgio 12
ES - Italia 12
JP - Giappone 12
AU - Australia 11
MA - Marocco 11
UZ - Uzbekistan 11
VE - Venezuela 11
CO - Colombia 10
UY - Uruguay 9
PK - Pakistan 8
PY - Paraguay 8
KE - Kenya 7
CH - Svizzera 6
CL - Cile 6
DO - Repubblica Dominicana 6
EG - Egitto 6
JO - Giordania 6
PE - Perù 6
SA - Arabia Saudita 6
AE - Emirati Arabi Uniti 5
AL - Albania 5
TN - Tunisia 5
BG - Bulgaria 4
IE - Irlanda 4
IL - Israele 4
IR - Iran 4
OM - Oman 4
PA - Panama 4
BH - Bahrain 3
CR - Costa Rica 3
DZ - Algeria 3
HU - Ungheria 3
PH - Filippine 3
RS - Serbia 3
AO - Angola 2
AZ - Azerbaigian 2
GA - Gabon 2
GE - Georgia 2
GR - Grecia 2
GY - Guiana 2
JM - Giamaica 2
KG - Kirghizistan 2
KZ - Kazakistan 2
LA - Repubblica Popolare Democratica del Laos 2
MY - Malesia 2
NP - Nepal 2
PS - Palestinian Territory 2
PT - Portogallo 2
QA - Qatar 2
RO - Romania 2
TT - Trinidad e Tobago 2
BO - Bolivia 1
BY - Bielorussia 1
EU - Europa 1
GT - Guatemala 1
HR - Croazia 1
KW - Kuwait 1
LK - Sri Lanka 1
LT - Lituania 1
MD - Moldavia 1
ML - Mali 1
MN - Mongolia 1
NG - Nigeria 1
NO - Norvegia 1
RW - Ruanda 1
SI - Slovenia 1
UG - Uganda 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 7.714
Salva come PNG Salva come JPEG
Città #
Singapore 426
Chandler 415
Jacksonville 261
Dallas 240
Boardman 160
Beijing 149
Dearborn 143
Ashburn 137
San Mateo 131
Ho Chi Minh City 110
Hong Kong 109
Dakar 102
Munich 82
Rende 73
Seoul 73
Bremen 64
New York 64
Lawrence 62
Roxbury 61
Izmir 60
Ottawa 60
Hanoi 55
Shanghai 55
Florence 50
Hefei 50
Vienna 50
Helsinki 48
São Paulo 46
Inglewood 44
Ann Arbor 43
Cambridge 42
Los Angeles 35
Brooklyn 34
Des Moines 34
Grafing 32
Ogden 28
Rome 28
Seattle 24
Wilmington 24
Rio de Janeiro 19
Redwood City 18
The Dalles 18
Milan 17
Haiphong 16
Santa Clara 16
Guangzhou 15
Brno 14
Tianjin 14
Cosenza 13
Toronto 13
Brussels 12
Catanzaro 12
Fremont 12
San Jose 12
Baghdad 11
Columbus 11
Da Nang 11
Reggio Calabria 10
San Francisco 10
Tashkent 10
Washington 10
Biên Hòa 9
Boston 9
Charlotte 9
Guayaquil 9
Johannesburg 9
Tokyo 9
Turku 9
Warsaw 9
Chennai 8
Council Bluffs 8
Frankfurt am Main 8
London 8
Montevideo 8
Nuremberg 8
Falkenstein 7
Montreal 7
Nanjing 7
Porto Alegre 7
Quito 7
Settingiano 7
Stockholm 7
Amman 6
Belo Horizonte 6
Castrolibero 6
Chicago 6
Falls Church 6
Hải Dương 6
Itaquaquecetuba 6
Jiaxing 6
Ninh Bình 6
Quilmes 6
Ribeirão Preto 6
Serra San Bruno 6
Sydney 6
Amsterdam 5
Dhaka 5
Erbil 5
Fortaleza 5
Goiânia 5
Totale 4.270
Salva come PNG Salva come JPEG
Nome #
A Logic-Based System for e-Tourism 164
Reasoning over Ontologies with DLV 160
Enhancing DLV for Large-Scale Reasoning 160
Querying large expressive horn ontologies 158
The ASP System DLV: Advancements and Applications 157
Large Scale DLV: Preliminary Results 155
Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images 151
Large-scale reasoning on expressive horn ontologies 148
Entity set expansion from the Web via ASP 147
Fast query answering over existential rules 146
Combining decidability paradigms for existential rules 143
Enhancing Existential Rules by Closed-World Variables 138
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues 136
Combining deep learning and ASP-based models for the semantic segmentation of medical images 131
Using Answer Set Programming to Find Maximum Height Spanning Trees 130
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 130
Decomposing and pruning primary key violations from large data sets 129
Darling: A datalog rewriter for owl 2 rl ontological reasoning under sparql queries 126
Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments 124
A Logic-Based Tool for Semantic Information Extraction 124
Reasoning on anonymity in Datalog+/- 123
Document layout analysis for semantic information extraction 123
ASP at Work: Spin-off and Applications of the DLV System 120
The AI system DLV: Ontologies, reasoning, and more 119
A Logic-Based Approach to Semantic Information Extraction 116
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward 116
Distributed XML Design 114
Erratum: A logic-based system for e-tourism (Fundamenta Informaticae (2010) 105:1-2) 111
Distributed XML design 110
Polynomial combined rewritings for linear existential rules and DL-Lite with n-ary relations 110
A DLV-based Reasoner for Datalog+/- Languages 109
On the complexity of regular-grammars with integer attributes 108
Erratum to the paper: “A Logic-Based System for e-Tourism” 108
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification 104
Ontology: Introduction 104
Consistent Query Answering via ASP from Different Perspectives: Theory and Practice 102
Finite model reasoning over existential rules 102
Discrete preference games with logic-based agents: Formal framework, complexity, and islands of tractability 99
Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings 99
I-DLV-sr: A stream reasoning system based on I-DLV 99
Efficient Query Answering over Datalog with Existential Quantifiers 94
A Formal Comparison between Datalog-based Languages for Stream Reasoning 93
Semantic Clinical Process Management 93
Finite Model Reasoning in Hybrid Classes of Existential Rules 93
Query Answering over Disjunctive Datalog with Existential Quantifiers 92
Efficiently Computable Datalog^E Programs 92
Team-building with Answer Set Programming in the Gioia-Tauro Seaport 91
A logic-based framework for characterizing nexus of similarity within knowledge bases 90
Guarded-Based Disjunctive Tuple-Generating Dependencies 87
Navigating online semantic resources for entity set expansion 86
Dyadic Existential Rules 85
Polynomial Rewritings for Linear Existential Rules 83
Semantic Information Elicitation from Unstructured Medical Records 83
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again 83
Characterizing Nexus of Similarity between Entities 82
The HiLeX System for Semantic Information Extraction 81
Taming primary key violations to query large inconsistent data via ASP 81
Multi-head Guarded Existential Rules Over Fixed Signatures 80
Decomposing and Pruning Primary Key Violations from Large Data Sets 78
Semantic Views of Homogeneous Unstructured Data 76
Magic-Sets for Datalog with Existential Quantifiers 75
Polynomial Combined Rewritings for Existential Rules 73
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios 73
HiLeX: A System for Semantic Information Extraction from Web Documents 72
Exploiting ASP for semantic information extraction 72
Towards a Semantic Information Extraction Approach from Unstructured Documents 71
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019) 70
Logic-Based Technologies for e-Tourism: The iTravel System 69
Group Reasoning in Social Environments 69
On the Complexity of Ontological Reasoning under Disjunctive Existential Rules 69
Optimized encodings for consistent query answering via ASP from different perspectives 68
Dyadic Existential Rules 67
Polynomial Combined First-Order Rewritings for Linear and Guarded Existential Rules 59
Reasoning Web. Declarative Artificial Intelligence - 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures 54
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again 47
null 36
Large-Scale Ontological Reasoning via Datalog 34
Identification of thesaurus relationships with the support of ChatGPT and Gemini 20
Totale 7.874
Salva come PNG Salva come JPEG
Categoria #
all - tutte 47.452
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 47.452
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021310 0 0 0 0 0 66 18 64 15 67 32 48
2021/2022787 9 97 2 48 65 33 20 158 3 26 125 201
2022/20231.044 112 137 20 119 154 112 32 113 101 18 75 51
2023/2024682 77 31 68 44 48 94 33 41 46 45 55 100
2024/20251.490 90 194 36 84 126 93 70 139 196 81 116 265
2025/20262.503 513 225 429 414 666 256 0 0 0 0 0 0
Totale 7.874