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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021139 0 0 0 0 0 0 0 0 0 18 107 14
2021/2022664 19 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/20263.620 156 115 281 322 306 276 785 698 315 366 0 0
Totale 9.591