IRIS
IANNI, Giovambattista
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.990
AS - Asia 4.165
EU - Europa 2.844
SA - Sud America 1.127
AF - Africa 297
Continente sconosciuto - Info sul continente non disponibili 132
OC - Oceania 10
Totale 13.565
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.704
SG - Singapore 1.572
CN - Cina 847
BR - Brasile 792
UA - Ucraina 720
VN - Vietnam 695
IT - Italia 588
DE - Germania 526
SE - Svezia 281
HK - Hong Kong 208
FR - Francia 173
TR - Turchia 137
CA - Canada 136
IN - India 133
RU - Federazione Russa 128
SN - Senegal 126
FI - Finlandia 122
AR - Argentina 116
BD - Bangladesh 113
KR - Corea 111
MX - Messico 99
AT - Austria 64
IQ - Iraq 62
GB - Regno Unito 56
EC - Ecuador 53
ZA - Sudafrica 47
ID - Indonesia 46
CO - Colombia 45
VE - Venezuela 36
NL - Olanda 34
CL - Cile 33
PK - Pakistan 31
MA - Marocco 30
PL - Polonia 25
UZ - Uzbekistan 24
MY - Malesia 22
TN - Tunisia 22
PY - Paraguay 21
ES - Italia 19
PH - Filippine 19
EG - Egitto 18
JP - Giappone 18
KE - Kenya 18
SA - Arabia Saudita 17
AE - Emirati Arabi Uniti 15
BE - Belgio 15
GR - Grecia 15
PE - Perù 13
CR - Costa Rica 12
PT - Portogallo 12
DZ - Algeria 11
JO - Giordania 11
RO - Romania 11
KZ - Kazakistan 10
AU - Australia 8
BG - Bulgaria 8
BO - Bolivia 8
HN - Honduras 8
JM - Giamaica 8
NP - Nepal 8
UY - Uruguay 8
IE - Irlanda 7
IR - Iran 7
PA - Panama 7
TH - Thailandia 7
AL - Albania 6
GA - Gabon 6
KG - Kirghizistan 6
KW - Kuwait 6
LB - Libano 5
AM - Armenia 4
AZ - Azerbaigian 4
BH - Bahrain 4
CZ - Repubblica Ceca 4
DO - Repubblica Dominicana 4
LT - Lituania 4
MN - Mongolia 4
SY - Repubblica araba siriana 4
AO - Angola 3
CH - Svizzera 3
CI - Costa d'Avorio 3
ET - Etiopia 3
HU - Ungheria 3
LK - Sri Lanka 3
LV - Lettonia 3
NI - Nicaragua 3
PS - Palestinian Territory 3
RS - Serbia 3
BA - Bosnia-Erzegovina 2
BB - Barbados 2
BY - Bielorussia 2
EE - Estonia 2
EU - Europa 2
GE - Georgia 2
HR - Croazia 2
LU - Lussemburgo 2
ML - Mali 2
NG - Nigeria 2
OM - Oman 2
SK - Slovacchia (Repubblica Slovacca) 2
Totale 13.411
Salva come PNG Salva come JPEG
Città #
Singapore 637
Jacksonville 475
Council Bluffs 432
Chandler 388
San Jose 376
Boardman 305
Ashburn 262
Dearborn 244
Ho Chi Minh City 244
Beijing 206
Hong Kong 195
Hanoi 167
San Mateo 151
Dallas 143
Dakar 126
Seoul 110
Helsinki 108
Izmir 105
Roxbury 100
Lawrence 97
Shanghai 96
Lauterbourg 92
Staranzano 90
New York 86
Ottawa 85
São Paulo 77
Cambridge 75
Santa Clara 75
Los Angeles 74
Brooklyn 70
Des Moines 68
Hefei 61
Milan 58
Vienna 56
Rende 54
Mexico City 47
Grafing 44
Chicago 41
Rome 41
Frankfurt am Main 35
Ogden 35
Bremen 34
Inglewood 34
Munich 33
Columbus 28
Da Nang 27
Florence 27
Guangzhou 26
Toronto 26
Wilmington 26
Haiphong 24
The Dalles 24
Curitiba 23
Pune 23
Seattle 23
Rio de Janeiro 22
Tashkent 22
Ann Arbor 21
Porto Alegre 21
Biên Hòa 20
San Francisco 20
Quito 19
Johannesburg 18
Phoenix 18
Warsaw 18
Baghdad 16
Belo Horizonte 16
Lahore 16
Falkenstein 15
Hải Dương 15
Mumbai 15
Amsterdam 14
Brussels 14
Can Tho 14
London 14
Mendicino 14
Orem 14
Shenzhen 14
Brasília 13
Chennai 13
Cropani 13
Guayaquil 13
Tianjin 13
Tokyo 13
Bogotá 12
Denver 12
Nairobi 12
San José 12
Stockholm 12
Amman 11
Cairo 11
Caracas 11
Dhaka 11
Santiago 11
Turku 11
Casablanca 10
Cosenza 10
Lima 10
Nuremberg 10
Omaha 10
Totale 7.253
Salva come PNG Salva come JPEG
Nome #
DLV: An Advanced System for Knowledge Representation and Reasoning 199
The DLV System 197
An ASP System with Functions, Lists, and Sets 192
Integrating rule-based AI tools into mainstream game development 188
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs 186
Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach 186
A System with Template Answer Set Programs 182
Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings 179
Angry-HEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases 179
AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases 179
Computable Functions in ASP: Theory and Implementation -- [Winner of the ICLP TEST OF TIME AWARD at ICLP 2018] 176
An Agent System Reasoning about the Web and the User 172
Answer set programming with templates 171
ASP-Core-2 Input Language Format 168
Incremental Answer Set Programming with Overgrounding 166
Combining anti-typosquatting techniques 163
Enhancing Answer Set Programming with Templates 158
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 158
Template Programs for Disjunctive Logic Programming: An Operational Semantics 157
The DLVHEX System 154
Individual identification of sharks through dorsal fin: a new approach thanks to advances in computer science. Poster Abstract. 153
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding 151
A Domain Meta-wrapper Using Seeds for Intelligent Author List Extraction in the Domain of Scholarly Articles 150
An Integrated Data Mining and Data Presentation Tool 150
Boosting Information Integration: The INFOMIX System 149
ActHEX: Implementing HEX Programs with Action Atoms 148
Incremental maintenance of overgrounded logic programs with tailored simplifications 147
A Rule System for Querying Persistent RDFS Data 147
Tight Integration of Rule-Based Tools in Game Development 146
Answer Set Programming: A Primer 145
An infrastructure for stream reasoning with incremental grounding 143
An integrated data mining and data presentation tool 138
The Eternal Battle between Determinism and Nondeterminism: preliminary Studies in the Sudoku Domain 135
A model building framework for answer set programming with external computations 134
From Vision to Execution: Enabling Knowledge Representation and Reasoning in Hybrid Intelligent Robots Playing Mobile Games 131
A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming 131
Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper) 128
The new DLV Grounder: External Computations, Interoperability and Customizability 128
The Answer Set Programming Competition 126
TypoAlert: a browser extension against typosquatting 125
Domain-agnostic Procedural Content Generation Can Be Done Declaratively 125
Finitely Recursive Programs: Decidability and Bottom-up Computation. 124
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques 123
Declarative AI design in Unity using Answer Set Programming 122
Protection Techniques from Information Extraction 121
Efficiently querying RDF(S) ontologies with Answer Set Programming 118
The Fourth Answer Set Programming Competition: Preliminary Report 118
Parametric External Predicates for the DLV System 116
The third open answer set programming competition 115
Computational Properties of metaquerying problems 115
Function Symbols in ASP: Overview and Perspectives 115
On the complexity of inducing categorical and quantitative association rules 115
Bottom-up Evaluation of Finitely Recursive Queries 114
External sources of knowledge and value invention in logic programming 113
NP-SPEC: an executable specification language for solving all problems in NP 113
Reasoning web: Semantic Interoperability on the web 113
Combining Answer Set Programming with Description Logics for the Semantic Web -- [Winner of the ARTIFICIAL INTELLIGENCE PROMINENT PAPER AWARD 2013] 111
Boosting Information Integration: The INFOMIX System 109
On the impact of sensors update in declarative AI for videogames 107
Proceedings of the 8th European Conference on Logics in Artificial Intelligence - LNAI 107
Exploiting Conjunctive Queries in Description Logic Programs 106
Logics in Artificial Intelligence, European Conference (JELIA) 105
Specification of assessment-test criteria through logic programming 105
Combining Nonmonotonic Knowledge Bases with External Sources 104
Data Integration: a Challenging ASP Application 104
External sources of computation for Answer Set Solvers 103
Extending ASP by value invention 102
Specification of assessment-test criteria through ASP specifications 102
Frame Logic under Answer Set Semantics 102
Metaquerying: proprieta' e tecniche di implementazione 102
The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data 102
Rethinking Answer Set Programming Templates 102
On the Complexity of Mining Association Rules 101
Surfing and searching the web using a semi-adaptive meta-engine 101
Reasoning about the Semantic Web using Answer Set Programming 99
Faithful and effective querying of RDF ontologies using DLV-DB 99
Hybrid Reasoning with Rules and Ontologies 99
DLV-HEX: a system for integrating multiple semantics in an answer set programming framework 98
dlvhex: A Tool for Semantic-Web Reasoning under the Answer-Set Semantics 97
Decidable Fragments Of Logic Programming With Value Invention 97
Forgetting in managing rules and ontologies 96
Metaqueries: Semantics, Complexity, and Efficient Algorithms 95
Computational Properties of Meta-querying problems 95
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition -- [Selected BEST PAPER for presentation at IJCAI 2011 in the Sister Conferences Track] 94
Effective integration of declarative rules with external evaluations for semantic web reasoning -- [BEST PAPER AWARD] 93
Nonmonotonic Description Logic Programs: Implementation and Experiments 93
Integration of multiple semantics in an answer set framework 91
Exploiting Conjunctive Queries in Description Logic Programs 90
Specification of Assessment-Test Criteria through ASP 89
The third open answer set programming competition 88
Intelligent Anticipated Exploration of Web Sites 88
NLP-DL: A KR System for Coupling Nonmonotonic Logic Programs with Description Logics 87
Rules and Ontologies for the Semantic Web 86
The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data 85
Magic Set Implementation for Disjunctive Logic Programming with Function Symbols 84
Reasoning with rules and ontologies 82
Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics 81
Well-Founded Semantics for Description Logic Programs in the Semantic Web 81
The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems. 80
Global Search Agent: the experience of a web meta-engine integrated with autonomous and adaptive capabilities 79
Totale 12.416
Salva come PNG Salva come JPEG
Categoria #
all - tutte 75.021
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 75.021
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022997 0 0 0 128 120 49 10 175 17 28 181 289
2022/20231.028 147 128 6 112 135 100 2 133 119 26 55 65
2023/2024948 67 28 110 69 49 128 23 60 58 53 75 228
2024/20251.948 102 280 100 125 107 116 125 156 255 99 150 333
2025/20265.506 650 247 424 763 965 296 574 227 378 504 238 240
2026/2027907 304 102 374 127 0 0 0 0 0 0 0 0
Totale 13.565