IRIS
MANNA, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.499
AS - Asia 2.914
EU - Europa 2.006
SA - Sud America 770
AF - Africa 221
OC - Oceania 12
Continente sconosciuto - Info sul continente non disponibili 2
Totale 9.424
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.328
SG - Singapore 1.140
CN - Cina 602
BR - Brasile 556
VN - Vietnam 470
IT - Italia 459
UA - Ucraina 432
DE - Germania 401
FR - Francia 137
HK - Hong Kong 128
SE - Svezia 126
RU - Federazione Russa 116
SN - Senegal 104
CA - Canada 97
BD - Bangladesh 87
AR - Argentina 83
TR - Turchia 83
KR - Corea 77
IN - India 75
FI - Finlandia 64
GB - Regno Unito 64
AT - Austria 63
IQ - Iraq 45
EC - Ecuador 39
ZA - Sudafrica 39
MX - Messico 36
ID - Indonesia 29
NL - Olanda 25
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
AU - Australia 12
CL - Cile 12
PE - Perù 12
PY - Paraguay 12
UY - Uruguay 12
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
JM - Giamaica 6
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
TT - Trinidad e Tobago 4
AO - Angola 3
BH - Bahrain 3
ET - Etiopia 3
GA - Gabon 3
GT - Guatemala 3
HN - Honduras 3
KZ - Kazakistan 3
RS - Serbia 3
BO - Bolivia 2
CI - Costa d'Avorio 2
GR - Grecia 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
BM - Bermuda 1
CV - Capo Verde 1
EU - Europa 1
GH - Ghana 1
KH - Cambogia 1
LK - Sri Lanka 1
Totale 9.413
Salva come PNG Salva come JPEG
Città #
Singapore 469
Chandler 415
San Jose 289
Jacksonville 261
Dallas 243
Ashburn 220
Ho Chi Minh City 168
Beijing 162
Boardman 161
Dearborn 143
San Mateo 131
Hong Kong 126
Dakar 104
Hanoi 102
New York 83
Munich 82
Council Bluffs 80
Rende 75
Seoul 73
Lauterbourg 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
Rome 38
Los Angeles 37
Brooklyn 34
Des Moines 34
Grafing 32
Ogden 28
Seattle 26
Haiphong 24
Wilmington 24
Milan 23
Da Nang 22
Rio de Janeiro 22
Santa Clara 22
Tashkent 19
Redwood City 18
The Dalles 18
Baghdad 17
Tianjin 17
Guangzhou 16
Brno 14
Catanzaro 14
Toronto 14
Brussels 13
Cosenza 13
Guayaquil 13
Johannesburg 13
Quito 13
Warsaw 13
Biên Hòa 12
Chennai 12
Columbus 12
Fremont 12
Hải Dương 12
London 12
Montreal 12
San Francisco 12
Boston 11
Frankfurt am Main 11
Lahore 11
Orem 11
Tokyo 11
Washington 11
Amsterdam 10
Charlotte 10
Montevideo 10
Reggio Calabria 10
Chicago 9
Dhaka 9
Naples 9
Paris 9
Turku 9
Amman 8
Curitiba 8
Nuremberg 8
Bari 7
Belo Horizonte 7
Brasília 7
Buffalo 7
Cao Lanh 7
Falkenstein 7
Lima 7
Mexico City 7
Mumbai 7
Nanjing 7
Ninh Bình 7
Porto Alegre 7
Totale 5.153
Salva come PNG Salva come JPEG
Nome #
Reasoning over Ontologies with DLV 192
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues 191
Enhancing DLV for Large-Scale Reasoning 190
Large-scale reasoning on expressive horn ontologies 188
Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images 187
A Logic-Based System for e-Tourism 186
Large Scale DLV: Preliminary Results 184
The ASP System DLV: Advancements and Applications 178
Querying large expressive horn ontologies 177
Combining decidability paradigms for existential rules 168
Fast query answering over existential rules 167
Combining deep learning and ASP-based models for the semantic segmentation of medical images 166
Enhancing Existential Rules by Closed-World Variables 163
Entity set expansion from the Web via ASP 161
Decomposing and pruning primary key violations from large data sets 154
Darling: A datalog rewriter for owl 2 rl ontological reasoning under sparql queries 151
A Logic-Based Tool for Semantic Information Extraction 149
Using Answer Set Programming to Find Maximum Height Spanning Trees 147
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 147
Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments 144
Document layout analysis for semantic information extraction 144
ASP at Work: Spin-off and Applications of the DLV System 142
Reasoning on anonymity in Datalog+/- 142
The AI system DLV: Ontologies, reasoning, and more 140
Discrete preference games with logic-based agents: Formal framework, complexity, and islands of tractability 138
A Logic-Based Approach to Semantic Information Extraction 132
A DLV-based Reasoner for Datalog+/- Languages 132
Finite model reasoning over existential rules 132
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification 129
Erratum: A logic-based system for e-tourism (Fundamenta Informaticae (2010) 105:1-2) 129
Erratum to the paper: “A Logic-Based System for e-Tourism” 128
Consistent Query Answering via ASP from Different Perspectives: Theory and Practice 128
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward 128
Distributed XML Design 127
A Formal Comparison between Datalog-based Languages for Stream Reasoning 125
Distributed XML design 125
On the complexity of regular-grammars with integer attributes 122
Polynomial combined rewritings for linear existential rules and DL-Lite with n-ary relations 121
I-DLV-sr: A stream reasoning system based on I-DLV 121
Ontology: Introduction 119
Characterizing Nexus of Similarity between Entities 117
A logic-based framework for characterizing nexus of similarity within knowledge bases 117
Guarded-Based Disjunctive Tuple-Generating Dependencies 116
Dyadic Existential Rules 113
Semantic Views of Homogeneous Unstructured Data 112
Efficiently Computable Datalog^E Programs 112
Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings 112
Team-building with Answer Set Programming in the Gioia-Tauro Seaport 111
Query Answering over Disjunctive Datalog with Existential Quantifiers 109
Finite Model Reasoning in Hybrid Classes of Existential Rules 107
Efficient Query Answering over Datalog with Existential Quantifiers 105
Semantic Clinical Process Management 105
Semantic Information Elicitation from Unstructured Medical Records 104
Dyadic Existential Rules 103
Polynomial Rewritings for Linear Existential Rules 103
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again 102
Navigating online semantic resources for entity set expansion 101
The HiLeX System for Semantic Information Extraction 100
Exploiting ASP for semantic information extraction 99
Taming primary key violations to query large inconsistent data via ASP 99
Multi-head Guarded Existential Rules Over Fixed Signatures 98
Towards a Semantic Information Extraction Approach from Unstructured Documents 97
Group Reasoning in Social Environments 97
Polynomial Combined Rewritings for Existential Rules 92
Decomposing and Pruning Primary Key Violations from Large Data Sets 90
Magic-Sets for Datalog with Existential Quantifiers 89
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios 87
Logic-Based Technologies for e-Tourism: The iTravel System 86
Identification of thesaurus relationships with the support of ChatGPT and Gemini 84
HiLeX: A System for Semantic Information Extraction from Web Documents 83
Optimized encodings for consistent query answering via ASP from different perspectives 81
On the Complexity of Ontological Reasoning under Disjunctive Existential Rules 81
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019) 79
Polynomial Combined First-Order Rewritings for Linear and Guarded Existential Rules 76
Reasoning Web. Declarative Artificial Intelligence - 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures 67
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again 63
Large-Scale Ontological Reasoning via Datalog 44
null 36
First-Order Rewritability of Rule-Based Ontology Mediated Queries with Negation 11
Towards a neuro-symbolic approach for precision anti-reflux surgery 5
neXSim: A System for Explaining Nexus of Similarities✶ 3
Totale 9.590
Salva come PNG Salva come JPEG
Categoria #
all - tutte 51.907
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 51.907
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202148 0 0 0 0 0 0 0 0 0 0 0 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/20264.219 513 225 429 414 666 293 490 179 298 377 187 148
Totale 9.590