Daniele Theseider Dupré

According to our database1, Daniele Theseider Dupré
  • authored at least 64 papers between 1989 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Temporal Conformance Analysis and Explanation of Clinical Guidelines Execution: An Answer Set Programming Approach.
IEEE Trans. Knowl. Data Eng., 2017

2016
ASP for minimal entailment in a rational extension of SROEL.
TPLP, 2016

ASP for Minimal Entailment in a Rational Extension of SROEL.
CoRR, 2016

Reasoning in a Rational Extension of SROEL.
Proceedings of the 29th International Workshop on Description Logics, 2016

ASP for Reasoning about Actions with an EL^bot Knowledge Base.
Proceedings of the 31st Italian Conference on Computational Logic, 2016

Reasoning in a Rational Extension of SROEL.
Proceedings of the 31st Italian Conference on Computational Logic, 2016

2015
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP.
J. Log. Comput., 2015

Answer Set Programming for Temporal Conformance Analysis of Clinical Guidelines Execution.
Proceedings of the Knowledge Representation for Health Care, 2015

Temporal Conformance Analysis of Clinical Guidelines Execution.
Proceedings of the Artificial Intelligence in Medicine, 2015

2014
Exploiting abstractions in cost-sensitive abductive problem solving with observations and actions.
AI Commun., 2014

Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology.
Proceedings of the Knowledge Representation for Health Care - 6th International Workshop, 2014

Advances in the GINSENG Project.
Proceedings of the 2014 IEEE International Conference on Healthcare Informatics, 2014

TellEat: Sharing Experiences on the Move.
Proceedings of the Human-Computer Interaction. Applications and Services, 2014

2013
Business process verification with constraint temporal answer set programming.
TPLP, 2013

Reasoning about actions with Temporal Answer Sets.
TPLP, 2013

Interacting with social networks of intelligent things and people in the world of gastronomy.
TiiS, 2013

Temporal deontic action logic for the verification of compliance to norms in ASP.
Proceedings of the International Conference on Artificial Intelligence and Law, 2013

Towards a Second Generation of Computer Interpretable Guidelines.
Proceedings of the DATA 2013 - Proceedings of the 2nd International Conference on Data Technologies and Applications, Reykjavík, Iceland, 29, 2013

Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming.
Proceedings of the Workshop AI Meets Business Processes 2013 co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013

2012
Achieving Completeness in Bounded Model Checking of Action Theories in ASP.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Business Processes Verification with Temporal Answer Set Programming.
Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, 2012



Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach.
Proceedings of the 9th Italian Convention on Computational Logic, 2012

2011
Reasoning about Actions with Temporal Answer Sets
CoRR, 2011

Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board
CoRR, 2011

Semantic similarity in heterogeneous ontologies.
Proceedings of the HT'11, 2011

Verifying Compliance of Business Processes with Temporal Answer Sets.
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

2010
Threading Facts into a Collective Narrative World.
Proceedings of the Interactive Storytelling, 2010

Verifying Business Process Compliance by Reasoning about Actions.
Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

Reasoning about Actions with Temporal Answer Sets.
Proceedings of the 25th Italian Conference on Computational Logic, 2010

2009
Abductive Problem Solving with Abstractions.
Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

2008
Cost-sensitive Iterative Abductive Reasoning with abstractions.
Proceedings of the ECAI 2008, 2008

Enhancing Web Service Composition by Means of Diagnosis.
Proceedings of the Business Process Management Workshops, 2008

2007
A Framework for Decentralized Qualitative Model-Based Diagnosis.
Proceedings of the IJCAI 2007, 2007

Model-Based Diagnosability Analysis for Web Services.
Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

2005
Advanced fault analysis in web service composition.
Proceedings of the 14th international conference on World Wide Web, 2005

Enhancing Web Services with Diagnostic Capabilities.
Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

2004
SALVO: model-based systems applications in automotive industry.
Intelligenza Artificiale, 2004

2003
Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board.
J. Artif. Intell. Res., 2003

2002
Local Reasoning and Knowledge Compilation for Efficient Temporal Abduction.
IEEE Trans. Knowl. Data Eng., 2002

2001
Temporal Decision Trees or the lazy ECU vindicated.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Causal Simulation and Diagnosis of Dynamic Systems.
Proceedings of the AI*IA 2001: Advances in Artificial Intelligence, 2001

2000
Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective
CoRR, 2000

State-based vs Simulation-based Diagnosis of Dynamic Systems.
Proceedings of the ECAI 2000, 2000

1999
Generating On-Board Diagnostics of Dynamic Automotive Systems Based on Qualitative Models.
AI Commun., 1999

1998
An Inductive Definition Approach to Ramifications.
Electron. Trans. Artif. Intell., 1998

A Spectrum of Definitions for Temporal Model-Based Diagnosis.
Artif. Intell., 1998

1997
An Efficient Algorithm for Temporal Abduction.
Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997

An Efficient Algorithm for Temporal Abduction.
Proceedings of the AI*IA 97: Advances in Artificial Intelligence, 1997

1996
Using Compiled Knowledge to Guide and Focus Abductive Diagnosis.
IEEE Trans. Knowl. Data Eng., 1996

1995
The Role of Abduction in Database View Updating.
J. Intell. Inf. Syst., 1995

On the Role of Abduction.
ACM Comput. Surv., 1995

The Different Roles of Abstraction in Abductive Reasoning.
Proceedings of the Topics in Artificial Intelligence, 1995

1994
Diagnosing Tim-Varying Misbehavior: An Approach Based on Model Decomposition.
Ann. Math. Artif. Intell., 1994

1993
Model-Based Diagnosis Meets Error Diagnosis in Logic Programs.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended Abstract).
Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993

1992
Diagnostic Reasoning Across Different Time Points.
ECAI, 1992

Adcuctive Reasoning with Abstraction Axioms.
Proceedings of the Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], 1992

1991
On the Relationship between Abduction and Deduction.
J. Log. Comput., 1991

Focussing Abductive Diagnosis.
AI Commun., 1991

Object-Level Abduction for View Updates.
DAISD, 1991

Towards the Integration of Different Knowledge Sources in Model-Based Diagnosis.
Proceedings of the Trends in Artificial Intelligence, 1991

1989
A Theory of Diagnosis for Incomplete Causal Models.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989


  Loading...