IRIS
THESEIDER DUPRE', Daniele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.222
EU - Europa 3.722
AS - Asia 2.194
SA - Sud America 194
Continente sconosciuto - Info sul continente non disponibili 114
AF - Africa 76
OC - Oceania 2
Totale 10.524
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.124
RU - Federazione Russa 1.023
IE - Irlanda 791
SG - Singapore 750
CN - Cina 565
DE - Germania 420
SE - Svezia 365
HK - Hong Kong 355
IT - Italia 313
UA - Ucraina 291
VN - Vietnam 243
FI - Finlandia 168
FR - Francia 158
BR - Brasile 135
IN - India 79
GB - Regno Unito 73
CA - Canada 69
KR - Corea 48
BJ - Benin 29
BE - Belgio 26
AR - Argentina 22
BD - Bangladesh 22
TR - Turchia 21
IQ - Iraq 19
AT - Austria 18
MX - Messico 18
PL - Polonia 18
ZA - Sudafrica 17
IR - Iran 16
JP - Giappone 15
NL - Olanda 15
ES - Italia 11
ID - Indonesia 10
VE - Venezuela 10
CO - Colombia 8
EC - Ecuador 8
EU - Europa 8
LT - Lituania 8
PH - Filippine 8
MA - Marocco 7
RO - Romania 7
PK - Pakistan 6
SA - Arabia Saudita 6
TH - Thailandia 6
TN - Tunisia 6
MD - Moldavia 5
JO - Giordania 4
KE - Kenya 4
PY - Paraguay 4
UZ - Uzbekistan 4
CL - Cile 3
CR - Costa Rica 3
EG - Egitto 3
SI - Slovenia 3
UY - Uruguay 3
AE - Emirati Arabi Uniti 2
CI - Costa d'Avorio 2
DK - Danimarca 2
ET - Etiopia 2
HN - Honduras 2
IL - Israele 2
KZ - Kazakistan 2
NP - Nepal 2
AU - Australia 1
AW - Aruba 1
AZ - Azerbaigian 1
BB - Barbados 1
BG - Bulgaria 1
BN - Brunei Darussalam 1
BZ - Belize 1
CG - Congo 1
CY - Cipro 1
CZ - Repubblica Ceca 1
DJ - Gibuti 1
DZ - Algeria 1
GH - Ghana 1
GR - Grecia 1
IS - Islanda 1
JM - Giamaica 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
LV - Lettonia 1
MY - Malesia 1
NI - Nicaragua 1
NR - Nauru 1
PE - Perù 1
PS - Palestinian Territory 1
PT - Portogallo 1
SC - Seychelles 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
TL - Timor Orientale 1
Totale 10.418
Salva come PNG Salva come JPEG
Città #
Dublin 790
San Jose 670
Jacksonville 519
Hong Kong 349
Singapore 279
Council Bluffs 242
Dearborn 232
Ashburn 214
Beijing 188
Wilmington 173
Chandler 141
Moscow 136
Ann Arbor 129
Lauterbourg 107
Lawrence 104
Princeton 104
Columbus 87
Dallas 86
Los Angeles 82
San Mateo 81
Ho Chi Minh City 80
Andover 78
Buffalo 62
New York 53
Hanoi 52
Seoul 48
Piemonte 46
Orem 43
Houston 32
Bremen 31
Cotonou 29
Santa Clara 29
Ottawa 28
Phoenix 27
Brussels 26
St Louis 26
Strasbourg 25
The Dalles 24
Chennai 23
Chicago 22
Turin 20
Tianjin 19
Redondo Beach 18
Manchester 17
Milan 17
Nanjing 17
Philadelphia 17
Fairfield 16
Mumbai 16
Munich 16
Warsaw 16
Atlanta 14
Brooklyn 14
Montreal 14
Nuremberg 14
São Paulo 14
Tokyo 14
Guangzhou 13
Norwalk 13
Woodbridge 13
Assago 12
Frankfurt am Main 12
Toronto 12
Genoa 11
Johannesburg 11
Livigno 11
San Francisco 11
Seattle 11
Amsterdam 10
Baghdad 10
Falkenstein 10
Helsinki 10
Vienna 10
Zanjan 10
Denver 9
Hangzhou 9
Hefei 9
Novara 9
Rome 9
Stockholm 9
Haiphong 8
Kunming 8
Torino 8
Boston 7
Düsseldorf 7
Horia 7
Jinan 7
Nanchang 7
Poplar 7
Rivoli 7
Shanghai 7
Abbiategrasso 6
Boardman 6
Grafing 6
Mexico City 6
Paris 6
Rio de Janeiro 6
Zhengzhou 6
Ankara 5
Da Nang 5
Totale 6.146
Salva come PNG Salva come JPEG
Nome #
Conformance analysis for comorbid patients in Answer Set Programming 247
Modeling, verifying and reasoning about web services 198
Intelligenza Artificiale in ambito forense all’Università del Piemonte Orientale: supporto alle decisioni in ambito penale , rappresentazione della conoscenza e ragionamento nell’analisi forense. 157
Intelligenza Artificiale in Medicina presso il Dipartimento di Scienze e Innovazione Tecnologica dell’Università del Piemonte Orientale 146
Advances in the GINSENG project 134
An efficient algorithm for computing temporal abductive diagnoses 132
Wheeling around with Wanteat: Exploring Mixed Social Networks in the Gastronomy Domain 130
Abductive Diagnosis and its Application to a Mechanical Troubleshooting Problem 127
Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective 127
ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution 121
A Theory of Diagnosis for Incomplete Causal Models 120
An Inductive Definition Approach to Ramifications 117
Abductive Reasoning with Abstraction Axioms 117
Abductive Problem Solving with Abstractions 111
An ASP approach for reasoning in a concept-Aware multipreferential lightweight DL 111
Verifying Business Process Compliance by Reasoning about Actions 110
Introducing Test Theory into Abductive Diagnosis 109
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP 109
ASP and ontologies for reasoning on business processes 107
Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach 106
Temporal Conformance Analysis and Explanation of Clinical Guidelines Execution: An Answer Set Programming Approach 105
35 Years of Pietro Torasso’s work on diagnosis 105
Apprendimento Automatico di Conoscenza Operazionale da Modelli Causali 104
Business Processes Veri fication with Temporal Answer Set Programming 103
Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. 101
Advanced Fault Analysis in Web Service Composition 100
A spectrum of definitions for temporal model-based diagnosis 100
Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology 100
On a plausible concept-wise multipreference semantics and its relations with self-organising maps 100
Knowledge-Based Diagnosis in a Fuel Tank Production Plant 98
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps 98
Temporal Conformance Analysis of Clinical Guidelines Execution 96
Reasoning in a rational extension of SROEL 96
ASP for reasoning about actions with an EL^bot knowledge base 95
Powertrain diagnostics: a model-based approach 94
Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming 94
Towards a Second Generation of Computer Interpretable Guidelines 94
Exploiting abstractions in cost-sensitive abductive problem solving with observations and actions 93
Reasoning about actions with temporal answer sets 92
Temporal Conformance Analysis and Explanation on Comorbid Patients 92
A Framework for Decentralized Qualitative Model-Based Diagnosis 92
Business process compliance verification: combining Action Theories with CPNs 91
Achieving completeness in bounded model checking of action theories in ASP 91
Interacting with social networks of intelligent things and people in the world of gastronomy 91
The Role of Abduction in Database View Updating 90
Enriched modeling and reasoning on business processes with ontologies and answer set programming 90
Answer Set Programming for Temporal Conformance Analysis of Clinical Guidelines 90
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases 90
Reasoning in a rational extension of SROEL(∏, x) 89
Business process verification with constraint temporal answer set programming 89
Interacting with a Social Web of Smart Objects for Enhancing Tourist Experiences 88
Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure 85
Towards a conditional interpretation of self organizing maps 84
User action representation and automated reasoning for the forensic analysis of mobile devices 84
WantEat: interacting with social networks of smart objects for sharing cultural heritage and supporting sustainability 83
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality 82
Analyse de la diagnosticabilité des services web 82
On the role of Abduction 82
Proceedings of the Workshop AI Meets Business Processes 2013 82
ASP for minimal entailment in a rational extension of SROEL 82
Weighted conditional E L knowledge bases with integer weights: An ASP approach 81
Temporal Deontic Action Logic for the Verification of Compliance to Norms in ASP 79
Temporal Decision Trees or the lazy ECU vindicated 78
Multilayer Perceptrons as Weighted Conditional Knowledge Bases: An Overview 78
Modelling Web Services for Diagnosis 77
Hypothesis Discrimination with Abstractions based on Observation and Action Costs 77
TellEat: Sharing Experiences on the MoveHuman-Computer Interaction. Applications and Services 77
Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics 76
A framework for a modular multi-concept lexicographic closure semantics (an abridged report) 76
Combining Heuristic and Causal Reasoning in Diagnostic Problem Solving 75
Causal simulation and diagnosis of dynamic systems 74
On the automatic synthesis of functional dependency graphs from libraries of component models 74
Enhancing Web Services with Diagnostic Capabilities 74
Business process compliance verification: an annotation based approach with commitments 74
Towards the Integration of Different Knowledge Sources in Model-Based Diagnosis 74
Preferential reasoning with typicality and neural network models (Extended abstract) 74
Model Checking Verification of MultiLayer Perceptrons in Datalog: A Many-valued Approach with Typicality 73
Semantic similarity in heterogeneous ontologies 73
Verifying Compliance of Business Processes with Temporal Answer Sets 73
Integration of Causal and Temporal Reasoning in Diagnostic Problem Solving 73
The Different Roles of Abstraction in Abductive Reasoning 72
Generating on-board diagnosis of dynamic automotive systems based on qualitative models 72
Using Compiled knowledge to guide and focus abductive diagnosis 72
Model Synthesis for model-based fault analysis 71
Cost-sensitive Iterative Abductive Reasoning with Abstractions 71
Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model 71
Reasoning about Actions with Temporal Answer Set 70
Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board 70
Ramifications in an Event-based Language 69
Diagnosing Time-Varying Misbehavior: an Approach Based on Model Decomposition 69
Explainable Answer Set Programming for Legal Decision Support 68
Verifying properties of action theories by bounded model checking. 67
Il Pignoletto Rosso: Semantic Web Technology in a Food- and Human-centered Project 67
Local reasoning and knowledge compilation for efficient temporal abduction 67
Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases 66
Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability 66
Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation 66
Threading Facts into a Collective Narrative World. 66
Answer Set Programming for Legal Decision Support and Explanation 65
Focusing Abductive Diagnosis 65
Totale 9.213
Salva come PNG Salva come JPEG
Categoria #
all - tutte 55.393
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 55.393
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022645 0 1 125 56 22 7 88 11 62 12 101 160
2022/20231.506 142 72 66 43 82 155 26 88 779 0 39 14
2023/2024413 27 14 28 15 91 1 119 8 1 11 28 70
2024/20251.253 28 18 73 24 25 173 74 43 335 159 39 262
2025/20264.011 156 115 281 322 306 276 785 698 315 493 193 71
2026/2027542 159 383 0 0 0 0 0 0 0 0 0 0
Totale 10.524