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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021250 0 0 0 0 0 0 0 0 0 101 51 98
2021/20221.105 3 104 1 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.962 102 280 100 125 107 116 126 162 257 99 152 336
2025/20265.069 660 250 427 768 981 301 578 228 381 495 0 0
Totale 12.235