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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.567 660 250 427 768 981 301 578 228 381 511 241 241
2026/2027206 206 0 0 0 0 0 0 0 0 0 0 0
Totale 12.939