IRIS
MANNA, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.261
AS - Asia 2.855
EU - Europa 1.938
SA - Sud America 769
AF - Africa 221
OC - Oceania 11
Continente sconosciuto - Info sul continente non disponibili 2
Totale 9.057
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.102
SG - Singapore 1.132
CN - Cina 585
BR - Brasile 555
VN - Vietnam 470
UA - Ucraina 432
DE - Germania 400
IT - Italia 393
FR - Francia 137
HK - Hong Kong 127
SE - Svezia 126
RU - Federazione Russa 116
SN - Senegal 104
CA - Canada 93
AR - Argentina 83
TR - Turchia 83
KR - Corea 77
IN - India 75
FI - Finlandia 64
GB - Regno Unito 64
AT - Austria 63
BD - Bangladesh 56
IQ - Iraq 45
EC - Ecuador 39
ZA - Sudafrica 39
MX - Messico 36
ID - Indonesia 27
NL - Olanda 24
SA - Arabia Saudita 24
PK - Pakistan 23
UZ - Uzbekistan 22
CO - Colombia 21
ES - Italia 20
VE - Venezuela 19
PL - Polonia 18
CZ - Repubblica Ceca 17
MA - Marocco 17
JP - Giappone 16
BE - Belgio 14
TN - Tunisia 13
CL - Cile 12
PE - Perù 12
PY - Paraguay 12
UY - Uruguay 12
AU - Australia 11
PH - Filippine 11
DZ - Algeria 10
EG - Egitto 10
AE - Emirati Arabi Uniti 9
DO - Repubblica Dominicana 9
JO - Giordania 9
NP - Nepal 9
CH - Svizzera 8
KE - Kenya 8
IE - Irlanda 7
MY - Malesia 6
AL - Albania 5
AZ - Azerbaigian 5
GE - Georgia 5
IL - Israele 5
PA - Panama 5
BG - Bulgaria 4
BY - Bielorussia 4
CR - Costa Rica 4
HU - Ungheria 4
IR - Iran 4
OM - Oman 4
PS - Palestinian Territory 4
QA - Qatar 4
RO - Romania 4
AO - Angola 3
BH - Bahrain 3
ET - Etiopia 3
GA - Gabon 3
JM - Giamaica 3
KZ - Kazakistan 3
RS - Serbia 3
TT - Trinidad e Tobago 3
BO - Bolivia 2
CI - Costa d'Avorio 2
GR - Grecia 2
GT - Guatemala 2
GY - Guiana 2
HR - Croazia 2
KG - Kirghizistan 2
KW - Kuwait 2
LA - Repubblica Popolare Democratica del Laos 2
LB - Libano 2
LT - Lituania 2
LY - Libia 2
PT - Portogallo 2
SV - El Salvador 2
AM - Armenia 1
CV - Capo Verde 1
EU - Europa 1
GH - Ghana 1
HN - Honduras 1
KH - Cambogia 1
LK - Sri Lanka 1
MD - Moldavia 1
Totale 9.047
Salva come PNG Salva come JPEG
Città #
Singapore 469
Chandler 415
Jacksonville 261
San Jose 260
Dallas 240
Ashburn 198
Ho Chi Minh City 168
Beijing 161
Boardman 161
Dearborn 143
San Mateo 131
Hong Kong 125
Dakar 104
Hanoi 102
Munich 82
Rende 75
Seoul 73
Lauterbourg 67
New York 67
Bremen 64
Lawrence 62
Roxbury 61
Izmir 60
Ottawa 60
Shanghai 56
São Paulo 55
Florence 54
Helsinki 51
Vienna 51
Hefei 50
Inglewood 44
Ann Arbor 43
Cambridge 42
Los Angeles 37
Brooklyn 34
Des Moines 34
Grafing 32
Rome 30
Ogden 28
Haiphong 24
Seattle 24
Wilmington 24
Da Nang 22
Rio de Janeiro 22
Tashkent 19
Redwood City 18
The Dalles 18
Baghdad 17
Milan 17
Tianjin 17
Guangzhou 16
Santa Clara 16
Brno 14
Catanzaro 14
Brussels 13
Cosenza 13
Guayaquil 13
Johannesburg 13
Quito 13
Toronto 13
Warsaw 13
Biên Hòa 12
Chennai 12
Fremont 12
Hải Dương 12
London 12
Columbus 11
Frankfurt am Main 11
Lahore 11
Montreal 11
Tokyo 11
Amsterdam 10
Montevideo 10
Reggio Calabria 10
San Francisco 10
Washington 10
Boston 9
Charlotte 9
Council Bluffs 9
Dhaka 9
Orem 9
Paris 9
Turku 9
Amman 8
Curitiba 8
Nuremberg 8
Belo Horizonte 7
Brasília 7
Cao Lanh 7
Falkenstein 7
Lima 7
Mexico City 7
Mumbai 7
Nanjing 7
Ninh Bình 7
Porto Alegre 7
Ribeirão Preto 7
Santo Domingo 7
Settingiano 7
Stockholm 7
Totale 4.973
Salva come PNG Salva come JPEG
Nome #
Reasoning over Ontologies with DLV 186
Enhancing DLV for Large-Scale Reasoning 185
Large Scale DLV: Preliminary Results 183
A Logic-Based System for e-Tourism 182
Large-scale reasoning on expressive horn ontologies 182
Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images 182
Querying large expressive horn ontologies 175
The ASP System DLV: Advancements and Applications 172
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues 171
Combining decidability paradigms for existential rules 166
Fast query answering over existential rules 164
Combining deep learning and ASP-based models for the semantic segmentation of medical images 161
Enhancing Existential Rules by Closed-World Variables 161
Entity set expansion from the Web via ASP 157
Darling: A datalog rewriter for owl 2 rl ontological reasoning under sparql queries 150
Decomposing and pruning primary key violations from large data sets 148
Using Answer Set Programming to Find Maximum Height Spanning Trees 146
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 145
Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments 144
A Logic-Based Tool for Semantic Information Extraction 144
Reasoning on anonymity in Datalog+/- 139
The AI system DLV: Ontologies, reasoning, and more 139
Document layout analysis for semantic information extraction 137
ASP at Work: Spin-off and Applications of the DLV System 135
Discrete preference games with logic-based agents: Formal framework, complexity, and islands of tractability 133
A Logic-Based Approach to Semantic Information Extraction 131
A DLV-based Reasoner for Datalog+/- Languages 128
Erratum: A logic-based system for e-tourism (Fundamenta Informaticae (2010) 105:1-2) 128
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification 126
Distributed XML Design 126
Erratum to the paper: “A Logic-Based System for e-Tourism” 126
Distributed XML design 125
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward 124
Consistent Query Answering via ASP from Different Perspectives: Theory and Practice 122
On the complexity of regular-grammars with integer attributes 120
Polynomial combined rewritings for linear existential rules and DL-Lite with n-ary relations 120
I-DLV-sr: A stream reasoning system based on I-DLV 120
A Formal Comparison between Datalog-based Languages for Stream Reasoning 119
Finite model reasoning over existential rules 117
A logic-based framework for characterizing nexus of similarity within knowledge bases 116
Ontology: Introduction 115
Characterizing Nexus of Similarity between Entities 113
Dyadic Existential Rules 112
Guarded-Based Disjunctive Tuple-Generating Dependencies 112
Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings 111
Team-building with Answer Set Programming in the Gioia-Tauro Seaport 108
Finite Model Reasoning in Hybrid Classes of Existential Rules 106
Efficient Query Answering over Datalog with Existential Quantifiers 104
Query Answering over Disjunctive Datalog with Existential Quantifiers 103
Efficiently Computable Datalog^E Programs 103
Semantic Clinical Process Management 102
Semantic Information Elicitation from Unstructured Medical Records 102
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again 101
Polynomial Rewritings for Linear Existential Rules 98
Dyadic Existential Rules 96
Navigating online semantic resources for entity set expansion 96
Taming primary key violations to query large inconsistent data via ASP 95
Multi-head Guarded Existential Rules Over Fixed Signatures 94
Exploiting ASP for semantic information extraction 94
The HiLeX System for Semantic Information Extraction 92
Decomposing and Pruning Primary Key Violations from Large Data Sets 90
Semantic Views of Homogeneous Unstructured Data 87
Polynomial Combined Rewritings for Existential Rules 87
Towards a Semantic Information Extraction Approach from Unstructured Documents 87
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios 86
Logic-Based Technologies for e-Tourism: The iTravel System 84
HiLeX: A System for Semantic Information Extraction from Web Documents 83
Group Reasoning in Social Environments 83
Magic-Sets for Datalog with Existential Quantifiers 83
Optimized encodings for consistent query answering via ASP from different perspectives 80
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019) 78
On the Complexity of Ontological Reasoning under Disjunctive Existential Rules 75
Polynomial Combined First-Order Rewritings for Linear and Guarded Existential Rules 74
Reasoning Web. Declarative Artificial Intelligence - 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures 65
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again 62
Large-Scale Ontological Reasoning via Datalog 43
Identification of thesaurus relationships with the support of ChatGPT and Gemini 42
null 36
Totale 9.217
Salva come PNG Salva come JPEG
Categoria #
all - tutte 49.549
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 49.549
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021147 0 0 0 0 0 0 0 0 0 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/20263.846 513 225 429 414 666 293 490 179 298 339 0 0
Totale 9.217