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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021370 0 0 0 0 0 7 106 9 109 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.255 28 18 73 24 25 173 74 44 336 159 39 262
2025/20261.335 157 115 288 326 310 139 0 0 0 0 0 0
Totale 7.308