Daniele Theseider Dupré

Proceedings of the Legal Knowledge and Information Systems, 2023

Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

Explainable Answer Set Programming for Legal Decision Support.

[BibT_eX]

[DOI]

Proceedings of the 38th Italian Conference on Computational Logic, 2023

Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the 38th Italian Conference on Computational Logic, 2023

Explaining Gradual Argumentation Semantics in a Conditional Multi-preferential Logic with Typicality.

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023

2022

An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2022

A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps.

[BibT_eX]

[DOI]

J. Log. Comput., 2022

Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation.

[BibT_eX]

[DOI]

CoRR, 2022

Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

From Common Sense Reasonig to Neural Network Models: a Conditional and Multi-preferential Approach for Explainability and Neuro-Symbolic Integration.

[BibT_eX]

[DOI]

Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), 2022

Reasoning about Actions with EL Ontologies in a Temporal Action Theory (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Model Checking Verification of MultiLayer Perceptrons in Datalog: a Many-valued Approach with Typicality.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 3rd Italian Workshop on Explainable Artificial Intelligence co-located with 21th International Conference of the Italian Association for Artificial Intelligence(AIxIA 2022), Udine, Italy, November 28, 2022

Weighted Conditionals from Gradual Argumentation to Probabilistic Argumentation.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Advances in Argumentation in Artificial Intelligence 2022 co-located with the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), 2022

2021

Weighted Conditional EL<sup>⊥</sup> Knowledge Bases with Integer Weights: an ASP Approach.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021

Reasoning about actions with EL ontologies with temporal answer sets.

[BibT_eX]

[DOI]

CoRR, 2021

From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview.

[BibT_eX]

[DOI]

CoRR, 2021

A conditional, a fuzzy and a probabilistic interpretation of self-organising maps.

[BibT_eX]

[DOI]

CoRR, 2021

A Multipreference Semantics from Common Sense Reasoning to Neural Network Models: An Overview.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2021 Episode VII: The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), 2021

Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

Reasoning About Actions with EL(bot) Ontologies and Temporal Answer Sets.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021

Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

A Framework for a Modular Multi-Concept Lexicographic Closure Semantics (an abridged report).

[BibT_eX]

[DOI]

Proceedings of the 36th Italian Conference on Computational Logic, 2021

Multilayer Perceptrons as Weighted Conditional Knowledge Bases: an Overview.

[BibT_eX]

[DOI]

Proceedings of the AIxIA 2021 Discussion Papers co-located with the the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA2021), 2021

User action representation and automated reasoning for the forensic analysis of mobile devices.

[BibT_eX]

[DOI]

Proceedings of the ARES 2021: The 16th International Conference on Availability, 2021

2020

An ASP approach for reasoning in a concept-aware multipreferential lightweight DL.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

Conformance analysis for comorbid patients in Answer Set Programming.

[BibT_eX]

[DOI]

Luca Piovesan

J. Biomed. Informatics, 2020

A framework for a modular multi-concept lexicographic closure semantics.

[BibT_eX]

[DOI]

CoRR, 2020

On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps.

[BibT_eX]

[DOI]

Proceedings of the 35th Italian Conference on Computational Logic, 2020

Towards a Conditional Interpretation of Self Organizing Maps.

[BibT_eX]

[DOI]

Proceedings of the Italian Workshop on Explainable Artificial Intelligence co-located with 19th International Conference of the Italian Association for Artificial Intelligence, 2020

2019

Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

ASP and Ontologies for Reasoning on Business Processes.

[BibT_eX]

[DOI]

Proceedings of the Discussion and Doctoral Consortium papers of AI*IA 2019, 2019

2018

ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution.

[BibT_eX]

[DOI]

Luca Piovesan

Künstliche Intell., 2018

35 Years of Pietro Torasso's work on diagnosis.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2018

Defeasible Reasoning in 풮ℛ풪ℰℒ: from Rational Entailment to Rational Closure.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure.

[BibT_eX]

[DOI]

CoRR, 2018

Enriched Modeling and Reasoning on Business Processes with Ontologies and Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Forum, 2018

Temporal Conformance Analysis and Explanation on Comorbid Patients.

[BibT_eX]

[DOI]

Luca Piovesan

Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2018), 2018

2017

Temporal Conformance Analysis and Explanation of Clinical Guidelines Execution: An Answer Set Programming Approach.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2017

2016

ASP for minimal entailment in a rational extension of SROEL.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

ASP for Reasoning about Actions with an EL^bot Knowledge Base.

[BibT_eX]

[DOI]

Proceedings of the 31st Italian Conference on Computational Logic, 2016

Reasoning in a Rational Extension of SROEL.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Log. Comput., 2015

Answer Set Programming for Temporal Conformance Analysis of Clinical Guidelines Execution.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Representation for Health Care, 2015

Temporal Conformance Analysis of Clinical Guidelines Execution.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Medicine, 2015

2014

Exploiting abstractions in cost-sensitive abductive problem solving with observations and actions.

[BibT_eX]

[DOI]

Luca Anselma

AI Commun., 2014

Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Representation for Health Care - 6th International Workshop, 2014

Advances in the GINSENG Project.

[BibT_eX]

[DOI]

Giuliana Franceschinis

Proceedings of the 2014 IEEE International Conference on Healthcare Informatics, 2014

TellEat: Sharing Experiences on the Move.

[BibT_eX]

[DOI]

Proceedings of the Human-Computer Interaction. Applications and Services, 2014

2013

Business process verification with constraint temporal answer set programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Reasoning about actions with Temporal Answer Sets.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

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

[BibT_eX]

[DOI]

ACM Trans. Interact. Intell. Syst., 2013

Temporal deontic action logic for the verification of compliance to norms in ASP.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Artificial Intelligence and Law, 2013

Towards a Second Generation of Computer Interpretable Guidelines.

[BibT_eX]

[DOI]

Giuliana Franceschinis

Stefania Montani

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Business Processes Verification with Temporal Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, 2012

Wheeling around with Wanteat: exploring mixed social networks in the gastronomy domain.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Intelligent User Interfaces, 2012

Interacting with a Social Web of Smart Objects for Enhancing Tourist Experiences.

[BibT_eX]

[DOI]

Proceedings of the Information and Communication Technologies in Tourism 2012, 2012

WantEat: interacting with social networks of smart objects for sharing cultural heritage and supporting sustainability.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach.

[BibT_eX]

[DOI]

Proceedings of the 9th Italian Convention on Computational Logic, 2012

2011

Semantic similarity in heterogeneous ontologies.

[BibT_eX]

[DOI]

Proceedings of the HT'11, 2011

Verifying Compliance of Business Processes with Temporal Answer Sets.

[BibT_eX]

[DOI]

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

2010

Threading Facts into a Collective Narrative World.

[BibT_eX]

[DOI]

Proceedings of the Interactive Storytelling, 2010

Verifying Business Process Compliance by Reasoning about Actions.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

2009

Abductive Problem Solving with Abstractions.

[BibT_eX]

[DOI]

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

2008

Cost-sensitive Iterative Abductive Reasoning with abstractions.

[BibT_eX]

[DOI]

Luca Anselma

Proceedings of the ECAI 2008, 2008

Enhancing Web Service Composition by Means of Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2008

2007

A Framework for Decentralized Qualitative Model-Based Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

Model-Based Diagnosability Analysis for Web Services.

[BibT_eX]

[DOI]

Stefano Bocconi

Xavier Pucel

Louise Travé-Massuyès

Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

2005

Advanced fault analysis in web service composition.

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on World Wide Web, 2005

Enhancing Web Services with Diagnostic Capabilities.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

2004

SALVO: model-based systems applications in automotive industry.

[BibT_eX]

Intelligenza Artificiale, 2004

2003

Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2003

2002

Local Reasoning and Knowledge Compilation for Efficient Temporal Abduction.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2002

2001

Temporal Decision Trees or the lazy ECU vindicated.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Causal Simulation and Diagnosis of Dynamic Systems.

[BibT_eX]

[DOI]

Andrea Panati

Proceedings of the AI*IA 2001: Advances in Artificial Intelligence, 2001

2000

Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective

[BibT_eX]

[DOI]

CoRR, 2000

State-based vs Simulation-based Diagnosis of Dynamic Systems.

[BibT_eX]

Andrea Panati

Proceedings of the ECAI 2000, 2000

1999

Generating On-Board Diagnostics of Dynamic Automotive Systems Based on Qualitative Models.

[BibT_eX]

[DOI]

AI Commun., 1999

1998

An Inductive Definition Approach to Ramifications.

[BibT_eX]

[DOI]

Marc Denecker

Kristof Van Belleghem

Electron. Trans. Artif. Intell., 1998

A Spectrum of Definitions for Temporal Model-Based Diagnosis.

[BibT_eX]

[DOI]

Vittorio Brusoni

Artif. Intell., 1998

1997

An Efficient Algorithm for Temporal Abduction.

[BibT_eX]

[DOI]

Vittorio Brusoni

Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997

1996

Using Compiled Knowledge to Guide and Focus Abductive Diagnosis.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1996

1995

The Role of Abduction in Database View Updating.

[BibT_eX]

[DOI]

Maria Luisa Sapino

J. Intell. Inf. Syst., 1995

On the Role of Abduction.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1995

The Different Roles of Abstraction in Abductive Reasoning.

[BibT_eX]

[DOI]

Mauro Rossotto

Proceedings of the Topics in Artificial Intelligence, 1995

1994

Diagnosing Tim-Varying Misbehavior: An Approach Based on Model Decomposition.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1994

1993

Model-Based Diagnosis Meets Error Diagnosis in Logic Programs.

[BibT_eX]

Gerhard Friedrich

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).

[BibT_eX]

[DOI]

Gerhard Friedrich

Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993

1992

Diagnostic Reasoning Across Different Time Points.

[BibT_eX]

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

Adcuctive Reasoning with Abstraction Axioms.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Log. Comput., 1991

Focussing Abductive Diagnosis.

[BibT_eX]

[DOI]

AI Commun., 1991

Object-Level Abduction for View Updates.

[BibT_eX]

Maria Luisa Sapino

Proceedings of the Second International Workshop on the Deductive Approach to Information Systems and Databases, 1991

Towards the Integration of Different Knowledge Sources in Model-Based Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Trends in Artificial Intelligence, 1991

1989

A Theory of Diagnosis for Incomplete Causal Models.

[BibT_eX]

[DOI]