A Theory of Diagnosis for Incomplete Causal Models. - Luca Console; Daniele Theseider Dupré; Pietro Torasso (IJCAI, 1989)

Towards the Integration of Different Knowledge Sources in Model-Based Diagnosis. - Luca Console; Daniele Theseider Dupré; Pietro Torasso (AI*IA, 1991)

Object-Level Abduction for View Updates. - Luca Console; Maria Luisa Sapino; Daniele Theseider Dupré (DAISD, 1991)

Focussing Abductive Diagnosis. - Luca Console; Luigi Portinale; Daniele Theseider Dupré (AI Commun., 1991)

On the Relationship between Abduction and Deduction. - Luca Console; Daniele Theseider Dupré; Pietro Torasso (J. Log. Comput., 1991)

Adcuctive Reasoning with Abstraction Axioms. - Luca Console; Daniele Theseider Dupré (ECAI Workshop on Knowledge Representation and Reasoning, 1992)

Diagnostic Reasoning Across Different Time Points. - Luca Console; Luigi Portinale; Daniele Theseider Dupré; Pietro Torasso (ECAI, 1992)

Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended Abstract). - Luca Console; Gerhard Friedrich; Daniele Theseider Dupré (AADEBUG, 1993)

Model-Based Diagnosis Meets Error Diagnosis in Logic Programs. - Luca Console; Gerhard Friedrich; Daniele Theseider Dupré (IJCAI, 1993)

Diagnosing Tim-Varying Misbehavior: An Approach Based on Model Decomposition. - Luca Console; Luigi Portinale; Daniele Theseider Dupré; Pietro Torasso (Ann. Math. Artif. Intell., 1994)

The Different Roles of Abstraction in Abductive Reasoning. - Daniele Theseider Dupré; Mauro Rossotto (AI*IA, 1995)

On the Role of Abduction. - Pietro Torasso; Luca Console; Luigi Portinale; Daniele Theseider Dupré (ACM Comput. Surv., 1995)

The Role of Abduction in Database View Updating. - Luca Console; Maria Luisa Sapino; Daniele Theseider Dupré (J. Intell. Inf. Syst., 1995)

Using Compiled Knowledge to Guide and Focus Abductive Diagnosis. - Luca Console; Luigi Portinale; Daniele Theseider Dupré (IEEE Trans. Knowl. Data Eng., 1996)

An Efficient Algorithm for Temporal Abduction. - Vittorio Brusoni; Luca Console; Paolo Terenziani; Daniele Theseider Dupré (AI*IA, 1997)

A Spectrum of Definitions for Temporal Model-Based Diagnosis. - Vittorio Brusoni; Luca Console; Paolo Terenziani; Daniele Theseider Dupré (Artif. Intell., 1998)

An Inductive Definition Approach to Ramifications. - Marc Denecker; Daniele Theseider Dupré; Kristof Van Belleghem (Electron. Trans. Artif. Intell., 1998)

Generating On-Board Diagnostics of Dynamic Automotive Systems Based on Qualitative Models. - Fulvio Cascio; Luca Console; Marcella Guagliumi; Massimo Osella; Andrea Panati; Sara Sottano; Daniele Theseider Dupré (AI Commun., 1999)

State-based vs Simulation-based Diagnosis of Dynamic Systems. - Andrea Panati; Daniele Theseider Dupré (ECAI, 2000)

Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective - Daniele Theseider Dupré (CoRR, 2000)

Causal Simulation and Diagnosis of Dynamic Systems. - Andrea Panati; Daniele Theseider Dupré (AI*IA, 2001)

Temporal Decision Trees or the lazy ECU vindicated. - Luca Console; Claudia Picardi; Daniele Theseider Dupré (IJCAI, 2001)

Local Reasoning and Knowledge Compilation for Efficient Temporal Abduction. - Luca Console; Paolo Terenziani; Daniele Theseider Dupré (IEEE Trans. Knowl. Data Eng., 2002)

Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board. - Luca Console; Claudia Picardi; Daniele Theseider Dupré (J. Artif. Intell. Res., 2003)

SALVO: model-based systems applications in automotive industry. - Rosanna Bray; Alessandro Buffo; Fulvio Cascio; Luca Console; Claudia Picardi; Marino Segnan; Daniele Theseider Dupré (Intelligenza Artificiale, 2004)

Enhancing Web Services with Diagnostic Capabilities. - Liliana Ardissono; Luca Console; Anna Goy; Giovanna Petrone; Claudia Picardi; Marino Segnan; Daniele Theseider Dupré (ECOWS, 2005)

Advanced fault analysis in web service composition. - Liliana Ardissono; Luca Console; Anna Goy; Giovanna Petrone; Claudia Picardi; Marino Segnan; Daniele Theseider Dupré (WWW (Special interest tracks and posters), 2005)

Model-Based Diagnosability Analysis for Web Services. - Stefano Bocconi; Claudia Picardi; Xavier Pucel; Daniele Theseider Dupré; Louise Travé-Massuyès (AI*IA, 2007)

A Framework for Decentralized Qualitative Model-Based Diagnosis. - Luca Console; Claudia Picardi; Daniele Theseider Dupré (IJCAI, 2007)

Enhancing Web Service Composition by Means of Diagnosis. - Liliana Ardissono; Stefano Bocconi; Luca Console; Roberto Furnari; Anna Goy; Giovanna Petrone; Claudia Picardi; Marino Segnan; Daniele Theseider Dupré (Business Process Management Workshops, 2008)

Cost-sensitive Iterative Abductive Reasoning with abstractions. - Gianluca Torta; Daniele Theseider Dupré; Luca Anselma (ECAI, 2008)

Abductive Problem Solving with Abstractions. - Gianluca Torta; Daniele Theseider Dupré (SARA, 2009)

Verifying Business Process Compliance by Reasoning about Actions. - Davide D'Aprile; Laura Giordano 001; Valentina Gliozzi; Alberto Martelli; Gian Luca Pozzato; Daniele Theseider Dupré (CLIMA, 2010)

Threading Facts into a Collective Narrative World. - Silvia Likavec; Ilaria Lombardi; Alberto Nantiat; Claudia Picardi; Daniele Theseider Dupré (ICIDS, 2010)

Verifying Compliance of Business Processes with Temporal Answer Sets. - Davide D'Aprile; Laura Giordano 001; Valentina Gliozzi; Alberto Martelli; Gian Luca Pozzato; Daniele Theseider Dupré (CILC, 2011)

Semantic similarity in heterogeneous ontologies. - Elisa Chiabrando; Silvia Likavec; Ilaria Lombardi; Claudia Picardi; Daniele Theseider Dupré (HT, 2011)

Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (CILC, 2012)

WantEat: interacting with social networks of smart objects for sharing cultural heritage and supporting sustainability. - Luca Console; Giulia Biamino; Francesca Carmagnola; Federica Cena; Elisa Chiabrando; Roberto Furnari; Cristina Gena; Pierluigi Grillo; Silvia Likavec; Ilaria Lombardi; Michele Mioli; Claudia Picardi; et al. (ECAI, 2012)

Interacting with a Social Web of Smart Objects for Enhancing Tourist Experiences. - Federica Cena; Fabrizio Antonelli; Giulia Biamino; Francesca Carmagnola; Elisa Chiabrando; Luca Console; Vincenzo Cuciti; Matteo Demichelis; Franco Fassio; Fabrizio Franceschi; Roberto Furnari; Cristina Gena; et al. (ENTER, 2012)

Wheeling around with Wanteat: exploring mixed social networks in the gastronomy domain. - Fabrizio Antonelli; Giulia Biamino; Francesca Carmagnola; Federica Cena; Elisa Chiabrando; Luca Console; Vincenzo Cuciti; Matteo Demichelis; Franco Fassio; Fabrizio Franceschi; Roberto Furnari; Cristina Gena; et al. (IUI, 2012)

Business Processes Verification with Temporal Answer Set Programming. - Laura Giordano 001; Alberto Martelli; Matteo Spiotta; Daniele Theseider Dupré (KiBP@KR, 2012)

Achieving Completeness in Bounded Model Checking of Action Theories in ASP. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (KR, 2012)

Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming. - Matteo Spiotta; Alessio Bottrighi; Daniele Theseider Dupré (AIBP@AI*IA, 2013)

Towards a Second Generation of Computer Interpretable Guidelines. - Paolo Terenziani; Alessio Bottrighi; Laura Giordano 001; Giuliana Franceschinis; Stefania Montani; Luigi Portinale; Daniele Theseider Dupré (DATA, 2013)

Temporal deontic action logic for the verification of compliance to norms in ASP. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (ICAIL, 2013)

Interacting with social networks of intelligent things and people in the world of gastronomy. - Luca Console; Fabrizio Antonelli; Giulia Biamino; Francesca Carmagnola; Federica Cena; Elisa Chiabrando; Vincenzo Cuciti; Matteo Demichelis; Franco Fassio; Fabrizio Franceschi; Roberto Furnari; Cristina Gena; et al. (ACM Trans. Interact. Intell. Syst., 2013)

Reasoning about actions with Temporal Answer Sets. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (Theory Pract. Log. Program., 2013)

Business process verification with constraint temporal answer set programming. - Laura Giordano 001; Alberto Martelli; Matteo Spiotta; Daniele Theseider Dupré (Theory Pract. Log. Program., 2013)

TellEat: Sharing Experiences on the Move. - Elisa Chiabrando; Roberto Furnari; Silvia Likavec; Francesco Osborne; Claudia Picardi; Daniele Theseider Dupré (HCI (3), 2014)

Advances in the GINSENG Project. - Paolo Terenziani; Alessio Bottrighi; Laura Giordano 001; Giuliana Franceschinis; Stefania Montani; Luca Piovesan; Luigi Portinale; Stefania Rubrichi; Matteo Spiotta; Daniele Theseider Dupré (ICHI, 2014)

Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology. - Matteo Spiotta; Alessio Bottrighi; Laura Giordano 001; Daniele Theseider Dupré (KR4HC@VSL, 2014)

Exploiting abstractions in cost-sensitive abductive problem solving with observations and actions. - Gianluca Torta; Luca Anselma; Daniele Theseider Dupré (AI Commun., 2014)

Temporal Conformance Analysis of Clinical Guidelines Execution. - Matteo Spiotta; Paolo Terenziani; Daniele Theseider Dupré (AIME, 2015)

Answer Set Programming for Temporal Conformance Analysis of Clinical Guidelines Execution. - Matteo Spiotta; Paolo Terenziani; Daniele Theseider Dupré (KR4HC/ProHealth, 2015)

Achieving completeness in the verification of action theories by Bounded Model Checking in ASP. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (J. Log. Comput., 2015)

ASP for Reasoning about Actions with an EL^bot Knowledge Base. - Laura Giordano 001; Alberto Martelli; Matteo Spiotta; Daniele Theseider Dupré (CILC, 2016)

Reasoning in a Rational Extension of SROEL. - Laura Giordano 001; Daniele Theseider Dupré (Description Logics, 2016)

ASP for minimal entailment in a rational extension of SROEL. - Laura Giordano 001; Daniele Theseider Dupré (Theory Pract. Log. Program., 2016)

Temporal Conformance Analysis and Explanation of Clinical Guidelines Execution: An Answer Set Programming Approach. - Matteo Spiotta; Paolo Terenziani; Daniele Theseider Dupré (IEEE Trans. Knowl. Data Eng., 2017)

Temporal Conformance Analysis and Explanation on Comorbid Patients. - Luca Piovesan; Paolo Terenziani; Daniele Theseider Dupré (HEALTHINF, 2018)

Enriched Modeling and Reasoning on Business Processes with Ontologies and Answer Set Programming. - Laura Giordano 001; Daniele Theseider Dupré (BPM (Forum), 2018)

Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure. - Laura Giordano 001; Daniele Theseider Dupré (CoRR, 2018)

Defeasible Reasoning in 풮ℛ풪ℰℒ: from Rational Entailment to Rational Closure. - Laura Giordano 001; Daniele Theseider Dupré (Fundam. Informaticae, 2018)

35 Years of Pietro Torasso's work on diagnosis. - Luca Console; Diego Magro; Roberto Micalizio; Enrico Scala; Daniele Theseider Dupré; Gianluca Torta (Intelligenza Artificiale, 2018)

ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution. - Luca Piovesan; Matteo Spiotta; Paolo Terenziani; Daniele Theseider Dupré (Künstliche Intell., 2018)

ASP and Ontologies for Reasoning on Business Processes. - Laura Giordano 001; Daniele Theseider Dupré (DDC@AI*IA, 2019)

Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (OVERLAY@AI*IA, 2019)

Towards a Conditional Interpretation of Self Organizing Maps. - Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (XAI.it@AI*IA, 2020)

On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps. - Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (CILC, 2020)

A framework for a modular multi-concept lexicographic closure semantics. - Laura Giordano 001; Daniele Theseider Dupré (CoRR, 2020)

Conformance analysis for comorbid patients in Answer Set Programming. - Luca Piovesan; Paolo Terenziani; Daniele Theseider Dupré (J. Biomed. Informatics, 2020)

An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. - Laura Giordano 001; Daniele Theseider Dupré (Theory Pract. Log. Program., 2020)

User action representation and automated reasoning for the forensic analysis of mobile devices. - Cosimo Anglano; Massimo Canonico; Laura Giordano 001; Marco Guazzone; Daniele Theseider Dupré (ARES, 2021)

Multilayer Perceptrons as Weighted Conditional Knowledge Bases: an Overview. - Laura Giordano 001; Daniele Theseider Dupré (DP@AI*IA, 2021)

A Framework for a Modular Multi-Concept Lexicographic Closure Semantics (an abridged report). - Laura Giordano 001; Daniele Theseider Dupré (CILC, 2021)

Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Extended Abstract). - Laura Giordano 001; Daniele Theseider Dupré (Description Logics, 2021)

Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract). - Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (OVERLAY@GandALF, 2021)

Reasoning About Actions with EL(bot) Ontologies and Temporal Answer Sets. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (ICLP Workshops, 2021)

Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model. - Laura Giordano 001; Daniele Theseider Dupré (JELIA, 2021)

A Multipreference Semantics from Common Sense Reasoning to Neural Network Models: An Overview. - Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (JOWO, 2021)

A conditional, a fuzzy and a probabilistic interpretation of self-organising maps. - Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (CoRR, 2021)

From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview. - Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (CoRR, 2021)

Reasoning about actions with EL ontologies with temporal answer sets. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (CoRR, 2021)

Weighted Conditional EL⊥ Knowledge Bases with Integer Weights: an ASP Approach. - Laura Giordano 001; Daniele Theseider Dupré (ICLP Technical Communications, 2021)

Weighted Conditionals from Gradual Argumentation to Probabilistic Argumentation. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (AI³@AI*IA, 2022)

Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract). - Mario Alviano; Francesco Bartoli; Marco Botta; Roberto Esposito; Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (XAI.it@AI*IA, 2022)

Model Checking Verification of MultiLayer Perceptrons in Datalog: a Many-valued Approach with Typicality. - Francesco Bartoli; Marco Botta; Roberto Esposito; Laura Giordano 001; Daniele Theseider Dupré (Datalog, 2022)

Reasoning about Actions with EL Ontologies in a Temporal Action Theory (Extended Abstract). - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (Description Logics, 2022)

From Common Sense Reasonig to Neural Network Models: a Conditional and Multi-preferential Approach for Explainability and Neuro-Symbolic Integration. - Francesco Bartoli; Marco Botta; Roberto Esposito; Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (FCR@KI, 2022)

Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (LPNMR, 2022)

Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (CoRR, 2022)

A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps. - Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (J. Log. Comput., 2022)

An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases. - Laura Giordano 001; Daniele Theseider Dupré (Theory Pract. Log. Program., 2022)

Explaining Gradual Argumentation Semantics in a Conditional Multi-preferential Logic with Typicality. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (AI³@AI*IA, 2023)

Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (CILC, 2023)

Explainable Answer Set Programming for Legal Decision Support. - Daniele Theseider Dupré (CILC, 2023)

Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract). - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (Description Logics, 2023)

Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (ICLP Workshops, 2023)

Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (JELIA, 2023)

Answer Set Programming for Legal Decision Support and Explanation. - Daniele Theseider Dupré (JURIX, 2023)

Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (NMR, 2023)

Towards Temporal Many-valued Conditional Logics for Gradual Argumentation: a Preliminary Report. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (AI³@AI*IA, 2024)

Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability. - Mario Alviano; Marco Botta; Roberto Esposito; Laura Giordano 001; Daniele Theseider Dupré (CILC, 2024)

Verifying Properties of a MultiLayer Network for the Recognition of Basic Emotions in a Conditional DL with Typicality (Extended Abstract). - Mario Alviano; Francesco Bartoli; Marco Botta; Roberto Esposito; Laura Giordano 001; Daniele Theseider Dupré (Description Logics, 2024)

Temporal Many-valued Conditional Logics: an Abridged Report. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (OVERLAY, 2024)

Many-valued Temporal Description Logics with Typicality: an Abridged Report (short paper). - Mario Alviano; Marco Botta; Roberto Esposito; Laura Giordano 001; Daniele Theseider Dupré (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

Temporal Many-valued Conditional Logics: a Preliminary Report. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (CoRR, 2024)

Weighted knowledge bases with typicality and defeasible reasoning in a gradual argumentation semantics. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (Intelligenza Artificiale, 2024)

Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (J. Log. Comput., 2024)

A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality. - Mario Alviano; Francesco Bartoli; Marco Botta; Roberto Esposito; Laura Giordano 001; Daniele Theseider Dupré (Int. J. Approx. Reason., 2024)

A framework for Conditional Reasoning in Answer Set Programming. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (CoRR, 2025)