THESEIDER DUPRE', Daniele
 Distribuzione geografica
Continente #
EU - Europa 2.278
NA - Nord America 2.034
AS - Asia 470
Continente sconosciuto - Info sul continente non disponibili 8
AF - Africa 1
Totale 4.791
Nazione #
US - Stati Uniti d'America 2.007
IE - Irlanda 791
SE - Svezia 355
DE - Germania 334
UA - Ucraina 277
IT - Italia 238
CN - Cina 170
FI - Finlandia 166
SG - Singapore 142
HK - Hong Kong 116
FR - Francia 36
GB - Regno Unito 30
CA - Canada 27
BE - Belgio 25
IN - India 21
IR - Iran 13
EU - Europa 8
RO - Romania 7
AT - Austria 4
NL - Olanda 4
TR - Turchia 4
RU - Federazione Russa 3
SI - Slovenia 3
VN - Vietnam 3
DK - Danimarca 2
LT - Lituania 2
EG - Egitto 1
LA - Repubblica Popolare Democratica del Laos 1
PL - Polonia 1
Totale 4.791
Città #
Dublin 790
Jacksonville 517
Dearborn 232
Wilmington 173
Chandler 141
Ann Arbor 129
Hong Kong 116
Lawrence 104
Princeton 104
Singapore 92
Beijing 81
San Mateo 81
Andover 78
Ashburn 47
Piemonte 46
Bremen 31
Brussels 25
Strasbourg 25
Houston 24
Ottawa 24
Philadelphia 17
Fairfield 16
Nanjing 16
Norwalk 13
Woodbridge 13
Genoa 11
Livigno 11
Milan 11
Turin 11
Zanjan 10
Hefei 9
Helsinki 9
Santa Clara 9
Kunming 8
Torino 8
Dallas 7
Düsseldorf 7
Horia 7
Jinan 7
Nanchang 7
Rivoli 7
Abbiategrasso 6
Boardman 6
Grafing 6
Cirié 4
Monmouth Junction 4
Mumbai 4
Munich 4
Mülheim 4
Novara 4
Rome 4
Sacramento 4
Alserio 3
Bergamo 3
Cassano Magnago 3
Frankfurt am Main 3
Guangzhou 3
Hebei 3
Seattle 3
Shenyang 3
Toronto 3
Wuhan 3
Zhengzhou 3
Agnadello 2
Bologna 2
Borgomanero 2
Cambridge 2
Castellazzo Bormida 2
Centro 2
Chengdu 2
Copenhagen 2
Des Moines 2
Dong Ket 2
Forlì 2
Fuzhou 2
Gattico 2
Grugliasco 2
Hangzhou 2
Leawood 2
London 2
Manfredonia 2
Mappano 2
Menlo Park 2
New York 2
Ningbo 2
Redmond 2
Shanghai 2
Taizhou 2
Vienna 2
Wenzhou 2
West Jordan 2
Aci Catena 1
Alessandria 1
Anzio 1
Ardabil 1
Asti 1
Ballwin 1
Belvedere Spinello 1
Berlin 1
Catania 1
Totale 3.222
Nome #
Modeling, verifying and reasoning about web services 129
Wheeling around with Wanteat: Exploring Mixed Social Networks in the Gastronomy Domain 83
Intelligenza Artificiale in ambito forense all’Università del Piemonte Orientale: supporto alle decisioni in ambito penale , rappresentazione della conoscenza e ragionamento nell’analisi forense. 78
An efficient algorithm for computing temporal abductive diagnoses 78
Abductive Diagnosis and its Application to a Mechanical Troubleshooting Problem 73
Advances in the GINSENG project 71
Intelligenza Artificiale in Medicina presso il Dipartimento di Scienze e Innovazione Tecnologica dell’Università del Piemonte Orientale 70
Apprendimento Automatico di Conoscenza Operazionale da Modelli Causali 70
An Inductive Definition Approach to Ramifications 70
Verifying Business Process Compliance by Reasoning about Actions 68
Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach 66
Temporal Conformance Analysis and Explanation of Clinical Guidelines Execution: An Answer Set Programming Approach 65
ASP and ontologies for reasoning on business processes 64
Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. 63
Business Processes Veri fication with Temporal Answer Set Programming 63
Abductive Reasoning with Abstraction Axioms 63
Introducing Test Theory into Abductive Diagnosis 62
Knowledge-Based Diagnosis in a Fuel Tank Production Plant 61
The Role of Abduction in Database View Updating 60
Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective 60
Business process compliance verification: combining Action Theories with CPNs 59
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP 57
Temporal Conformance Analysis and Explanation on Comorbid Patients 57
ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution 57
A Theory of Diagnosis for Incomplete Causal Models 55
Powertrain diagnostics: a model-based approach 55
Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology 54
Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming 54
Reasoning in a rational extension of SROEL(∏, x) 53
Answer Set Programming for Temporal Conformance Analysis of Clinical Guidelines 53
A spectrum of definitions for temporal model-based diagnosis 52
Towards a Second Generation of Computer Interpretable Guidelines 52
Business process verification with constraint temporal answer set programming 52
Abductive Problem Solving with Abstractions 49
Analyse de la diagnosticabilité des services web 49
Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure 49
ASP for reasoning about actions with an EL^bot knowledge base 49
Reasoning about actions with temporal answer sets 48
Interacting with a Social Web of Smart Objects for Enhancing Tourist Experiences 47
Achieving completeness in bounded model checking of action theories in ASP 47
Reasoning in a rational extension of SROEL 47
On a plausible concept-wise multipreference semantics and its relations with self-organising maps 47
ASP for minimal entailment in a rational extension of SROEL 46
35 Years of Pietro Torasso’s work on diagnosis 45
Conformance analysis for comorbid patients in Answer Set Programming 45
On the role of Abduction 44
Temporal Deontic Action Logic for the Verification of Compliance to Norms in ASP 44
Interacting with social networks of intelligent things and people in the world of gastronomy 44
Temporal Conformance Analysis of Clinical Guidelines Execution 44
Temporal Decision Trees or the lazy ECU vindicated 43
Causal simulation and diagnosis of dynamic systems 43
Enriched modeling and reasoning on business processes with ontologies and answer set programming 43
A Framework for Decentralized Qualitative Model-Based Diagnosis 43
The Different Roles of Abstraction in Abductive Reasoning 42
Combining Heuristic and Causal Reasoning in Diagnostic Problem Solving 42
Advanced Fault Analysis in Web Service Composition 42
WantEat: interacting with social networks of smart objects for sharing cultural heritage and supporting sustainability 42
Verifying Compliance of Business Processes with Temporal Answer Sets 41
Using Compiled knowledge to guide and focus abductive diagnosis 41
Integration of Causal and Temporal Reasoning in Diagnostic Problem Solving 41
Generating on-board diagnosis of dynamic automotive systems based on qualitative models 40
Reasoning about Actions with Temporal Answer Set 40
Modelling Web Services for Diagnosis 39
Enhancing Web Services with Diagnostic Capabilities 39
Towards the Integration of Different Knowledge Sources in Model-Based Diagnosis 39
Model-Based Diagnosis Meets Error Diagnosis in Logic Programs 38
Model Synthesis for model-based fault analysis 38
Hypothesis Discrimination with Abstractions based on Observation and Action Costs 38
Il Pignoletto Rosso: Semantic Web Technology in a Food- and Human-centered Project 37
An ASP approach for reasoning in a concept-Aware multipreferential lightweight DL 37
Verifying properties of action theories by bounded model checking. 36
Business process compliance verification: an annotation based approach with commitments 36
Local reasoning and knowledge compilation for efficient temporal abduction 36
Exploiting abstractions in cost-sensitive abductive problem solving with observations and actions 36
User action representation and automated reasoning for the forensic analysis of mobile devices 36
Cost-sensitive Iterative Abductive Reasoning with Abstractions 35
TellEat: Sharing Experiences on the MoveHuman-Computer Interaction. Applications and Services 35
Proceedings of the Workshop AI Meets Business Processes 2013 35
Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board 35
State-based vs simulation-based diagnosis of dynamic systems 34
Semantic similarity in heterogeneous ontologies 34
WantEat: interacting with “social” networks of intelligent things and people in the world of enogastronomy. 34
SALVO: Model-based systems - applications in automotive industry 34
Focusing Abductive Diagnosis 34
On the automatic synthesis of functional dependency graphs from libraries of component models 33
On the Relationship between Abduction and Deduction 33
Diagnosing Time-Varying Misbehavior: an Approach Based on Model Decomposition 33
Towards a conditional interpretation of self organizing maps 33
Diagnostic Reasoning across different time points 32
Threading Facts into a Collective Narrative World. 31
Enhancing Web Service Composition by Means of Diagnosis 31
Model-Based Diagnosability Analysis for Web Services 31
Preferential reasoning with typicality and neural network models (Extended abstract) 31
Ramifications in an Event-based Language 30
Diagnosability analysis for web services with constraint-based models 30
WS-DIAMOND: Web Services - DIAgnosability, MONitoring, and Diagnosis 29
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps 29
Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Extended Abstract) 28
Reasoning about actions with ℰℒ ontologies and temporal answer sets 25
Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model 24
Totale 4.692
Categoria #
all - tutte 30.161
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 30.161


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020810 0 0 0 0 161 135 202 45 119 33 95 20
2020/2021644 94 3 88 5 84 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/2025165 28 18 73 24 22 0 0 0 0 0 0 0
Totale 4.883