IRIS
TRUBITSYNA, Irina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.560
EU - Europa 1.458
AS - Asia 732
AF - Africa 48
SA - Sud America 20
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 4
Totale 4.831
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.494
UA - Ucraina 456
SG - Singapore 303
DE - Germania 286
CN - Cina 243
SE - Svezia 176
IT - Italia 174
AT - Austria 155
TR - Turchia 99
FI - Finlandia 65
CA - Canada 64
SN - Senegal 46
CZ - Repubblica Ceca 27
FR - Francia 26
BE - Belgio 23
IN - India 22
IR - Iran 16
NL - Olanda 16
BR - Brasile 15
GB - Regno Unito 15
JP - Giappone 12
HK - Hong Kong 10
ES - Italia 9
KR - Corea 8
RU - Federazione Russa 8
AU - Australia 7
EU - Europa 4
AR - Argentina 3
CY - Cipro 3
IE - Irlanda 3
VN - Vietnam 3
BG - Bulgaria 2
DZ - Algeria 2
HR - Croazia 2
LT - Lituania 2
LU - Lussemburgo 2
NZ - Nuova Zelanda 2
OM - Oman 2
PA - Panama 2
PE - Perù 2
PT - Portogallo 2
SA - Arabia Saudita 2
UZ - Uzbekistan 2
AE - Emirati Arabi Uniti 1
CH - Svizzera 1
EE - Estonia 1
HU - Ungheria 1
JO - Giordania 1
KW - Kuwait 1
LA - Repubblica Popolare Democratica del Laos 1
LV - Lettonia 1
MD - Moldavia 1
MY - Malesia 1
NO - Norvegia 1
PL - Polonia 1
QA - Qatar 1
RO - Romania 1
SK - Slovacchia (Repubblica Slovacca) 1
TW - Taiwan 1
Totale 4.831
Salva come PNG Salva come JPEG
Città #
Chandler 516
Jacksonville 311
Boardman 249
Singapore 237
San Mateo 165
Vienna 145
Dearborn 127
New York 85
Shanghai 83
Roxbury 79
Lawrence 77
Helsinki 62
Cambridge 61
Izmir 56
Rende 56
Des Moines 52
Ottawa 51
Ashburn 48
Dakar 46
Ogden 43
Inglewood 36
Kocaeli 36
Wilmington 30
Brooklyn 29
Brno 27
Florence 25
Beijing 24
Bremen 24
Los Angeles 23
Brussels 22
Ann Arbor 14
Guangzhou 13
San Francisco 13
Grafing 12
Palermo 11
Munich 10
Acworth 9
Augusta 9
Milan 9
Seattle 9
Hong Kong 8
Isfahan 8
Seoul 8
Amsterdam 7
Cosenza 7
Frankfurt am Main 7
Santa Clara 7
Toronto 7
Leawood 6
Luzzi 6
Redwood City 6
Chelles 5
Chicago 5
Falkenstein 5
London 5
Utrecht 5
Ardabil 4
Bochum 4
Hefei 4
Jiaxing 4
Norwalk 4
Vittoria 4
Wuhan 4
Buenos Aires 3
Castrolibero 3
Catanzaro 3
Champaign 3
Dublin 3
Hebei 3
Ho Chi Minh City 3
Lappeenranta 3
Markham 3
Monmouth Junction 3
Nicosia 3
Pescara 3
Portland 3
Pune 3
Rome 3
Shenyang 3
Shenzhen 3
Taranto 3
Tokyo 3
Toulouse 3
Wuxi 3
Yiwu 3
Örebro 3
A Coruña 2
Auckland 2
Barcelona 2
Bhubaneswar 2
Bou Saada 2
Boulder 2
Canberra 2
Changsha 2
Falls Church 2
Fortaleza 2
Foshan 2
Hamburg 2
Jinhua 2
Kawaguchi 2
Totale 3.161
Salva come PNG Salva come JPEG
Nome #
Epistemic Abstract Argumentation Framework: Formal Foundations, Computation and Complexity 103
Dealing with Inconsistency in Databases: An Overview 97
HIKE: A step beyond data exchange 95
Abstract Argumentation Framework with Conditional Preferences 90
Aggregates and Preferences in Logic Programming 87
ACQUA: Approximate consistent query answering over inconsistent knowledge bases 85
Evaluating the influence of user searches on neighbors 84
A Measure of Arbitrariness in Abductive Explanations. 81
A framework for prioritized reasoning based on the choice evaluation 78
A logical framework for view updating in indefinite databases 78
Combining linear programming techniques and clustering algorithms for the classification of Research Centers 75
Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments 71
Checking Chase Termination: Cyclicity Analysis and Rewriting Techniques 69
Computing approximate certain answers over incomplete databases 69
Checking Termination of Datalog with Function Symbols Through Linear Constraints 68
ACID: A system for computing approximate certain query answers over incomplete databases 68
Approximate Query Answering over Incomplete Data 68
Detecting decidable classes of finitely ground logic programs with function symbols 67
Exploiting Equality Generating Dependencies in Checking Chase Termination 66
Using linear constraints for logic program termination analysis 65
Evaluating user behaviour in a cooperative environment 65
The view-update problem for indefinite databases 64
Approximation Algorithms for Computing Certain Answers over Incomplete Databases 64
ChaseT: A tool for checking chase termination 64
Computing approximate query answers over inconsistent knowledge bases 64
Approximation algorithms for querying incomplete databases 64
Algorithms for computing approximate certain answers over incomplete databases 63
Preferred repairs for inconsistent databases 62
Checking termination of bottom-up evaluation of logic programs with function symbols 62
Combining Linear Programming and Clustering Techniques for the Classification of Research Centers 62
Incomplete Argumentation Frameworks: Properties and Complexity 61
Logic Program Termination Analysis Using Atom Sizes 60
Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols 60
An Effective System for User Queries Assistance 60
Feasibility Conditions and Preference Criteria in Querying and Repairing Inconsistent Databases 59
Optimizing the Computation of Approximate Certain Query Answers over Incomplete Databases 59
A SYSTEM SUPPORTING WEBSITE NAVIGATION 58
Preferred Repairs for Inconsistent Databases 58
ChaseT: A tool for checking chase termination 58
Optimization of Bound Disjunctive Queries with Constraints 57
Detecting decidable classes of finitely ground logic programs with function symbols 57
Checking Termination of Logic Programs with Function Symbols through Linear Constraints 56
NPDatalog: a Logic Language for Expressing NP Search and Optimization Problems 56
Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation 55
Simple user assistance by data posting 53
Mining Scientific Results Through the Combined Use of Clustering and Linear Programming Techniques 52
Stratification Criteria and Rewriting Techniques for Checking Chase Termination 52
A system prototype for approximate query answering over incomplete data 52
Simple user assistance by data posting 50
Probabilistic Answers over Inconsistent Knowledge Bases 49
Consistent Queries over Databases with Integrity Constraints 48
On the semantics of abstract argumentation frameworks: A logic programming approach 48
Translating datalog-like optimization queries into ILOG programs 47
Query optimization of disjunctive databases with constraints through binding propagation 47
The view-update problem for indefinite databases 46
View Updating Through Active Integrity Constraints 45
Preferred Generalized Answers for Inconsistent Databases 45
Smart Data Exchange 45
Simplified data posting in practice 43
Argumentation Frameworks with Strong and Weak Constraints: Semantics and Complexity 43
Implementation and Experimentation of the Logic Language NP Datalog 42
Querying and Updating Inconsistent Databases 42
Stratification-based Criteria for Checking Chase Termination 42
Prioritized Reasoning in Logic Programming 42
Leveraging Equality Generating Dependencies for Chase Termination 41
Towards decidable classes of logic programs with function symbols 41
On the semantics and expressive power of Datalog-like languages for NP search and optimization problems 40
On the Termination of Logic Programs with Function Symbols 40
Implementing Prioritized Reasoning in Logic Programming 39
Existential active integrity constraints 39
On the Semantics of Logic Programs with Preferences 38
On the Semantics of Logic Programs with Preferences 38
Defining the Semantics of Abstract Argumentation Frameworks through Logic Programs and Partial Stable Models (Extended Abstract) 38
Termination Criteria for Datalog with Function Symbols 37
Preference-based Inconsistency-Tolerant Query Answering under Existential Rules 37
Active Integrity Constraints with Existential Quantification 35
On the implementation of a logic language for NP search and optimization problems 35
Approximate Query Answering over Inconsistent Knowledge Bases 35
Consistent query answering with prioritized active integrity constraints 34
NP Datalog: A Logic Language for NP Search and Optimization Queries 33
An approximation algorithm for querying inconsistent knowledge bases 32
Rewriting-based check of chase termination 31
Preference-based inconsistency-tolerant query answering under existential rules 29
null 28
Stable Semantics for Epistemic Abstract Argumentation Framework 24
On Preferences and Priority Rules in Abstract Argumentation 23
Querying Data Exchange Settings beyond Positive Queries 22
Abstract Argumentation Framework with Priority Rules and Preferences 21
On the semantics of recursive bipolar AFs and partial stable models 20
Complexity of Credulous and Skeptical Acceptance in Epistemic Argumentation Framework 17
Query answering over inconsistent knowledge bases: A probabilistic approach 16
An approximation algorithm for querying inconsistent knowledge 15
Human Sensing by Using Radio Frequency Signals: A Survey on Occupancy and Activity Detection 15
General Epistemic Abstract Argumentation Framework: Semantics and Complexity 14
Complexity of Verification and Existence Problems in Epistemic Argumentation Framework 14
On the Verification and Existence Problems in Epistemic Argumentation Framework 14
On General Epistemic Abstract Argumentation Frameworks 14
Preference-based inconsistency-tolerant query answering under existential rules 13
Querying Data Exchange Settings Beyond Positive Queries 13
Preferences and Constraints in Abstract Argumentation 12
Totale 4.932
Salva come PNG Salva come JPEG
Categoria #
all - tutte 39.670
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 39.670
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020302 0 0 0 0 0 0 38 71 7 12 72 102
2020/2021621 79 1 69 68 11 65 0 98 27 109 45 49
2021/2022897 2 65 1 70 94 17 24 186 10 19 145 264
2022/20231.164 104 128 34 169 154 103 6 158 131 58 71 48
2023/2024762 62 48 60 28 40 134 29 49 74 34 33 171
2024/2025748 100 271 70 71 124 110 2 0 0 0 0 0
Totale 5.047