Daniele Theseider Dupré

129 papers A* 5A 5B 6C 6Journal 47Unranked 58

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A many-valued multi-preferential propositional typicality logic and a conditional interpretation for gradual argumentation. J. Log. Comput. Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2025	—	`conf`	A Temporal, Deontic, Conditional Logic with Typicality: a Preliminary Report. ICTCS Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2025	B	`conf`	A framework for Conditional Reasoning in Answer Set Programming. ICLP Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2025	—	`conf`	Conditionals and Temporal Conditionals for Gradual Argumentation. AI^3@ICLP Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2025	—	`conf`	Temporal Conditional Reasoning with Weighted Knowledge Bases. ICLP Workshops Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2024	J	`jnl`	A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality. Int. J. Approx. Reason. Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
2024	J	`jnl`	Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality. J. Log. Comput. Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2024	—	`conf`	Many-valued Temporal Description Logics with Typicality: an Abridged Report (short paper). AI4CC-IPS-RCRA-SPIRIT@AI*IA Mario Alviano, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
2024	—	`conf`	Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability. CILC Mario Alviano, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
2024	J	`jnl`	Temporal Many-valued Conditional Logics: a Preliminary Report. CoRR Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2024	—	`conf`	Temporal Many-valued Conditional Logics: an Abridged Report. OVERLAY Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2024	—	`conf`	Towards Temporal Many-valued Conditional Logics for Gradual Argumentation: a Preliminary Report. AI³@AI*IA Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2024	—	`conf`	Verifying Properties of a MultiLayer Network for the Recognition of Basic Emotions in a Conditional DL with Typicality (Extended Abstract). Description Logics Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
2024	J	`jnl`	Weighted knowledge bases with typicality and defeasible reasoning in a gradual argumentation semantics. Intelligenza Artificiale Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2023	J	`jnl`	A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality. CoRR Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
2023	C	`conf`	Answer Set Programming for Legal Decision Support and Explanation. JURIX Daniele Theseider Dupré
2023	B	`conf`	Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases. JELIA Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2023	J	`jnl`	Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality. CoRR Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2023	—	`conf`	Explainable Answer Set Programming for Legal Decision Support. CILC Daniele Theseider Dupré
2023	—	`conf`	Explaining Gradual Argumentation Semantics in a Conditional Multi-preferential Logic with Typicality. AI³@AI*IA Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2023	—	`conf`	Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics. ICLP Workshops Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2023	—	`conf`	Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract). Description Logics Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2023	—	`conf`	Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases. CILC Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2023	—	`conf`	Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation. NMR Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2022	J	`jnl`	A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps. J. Log. Comput. Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2022	J	`jnl`	An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases. Theory Pract. Log. Program. Laura Giordano, Daniele Theseider Dupré
2022	J	`jnl`	An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases. CoRR Laura Giordano, Daniele Theseider Dupré
2022	—	`conf`	From Common Sense Reasonig to Neural Network Models: a Conditional and Multi-preferential Approach for Explainability and Neuro-Symbolic Integration. FCR@KI Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2022	J	`jnl`	Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation. CoRR Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2022	—	`conf`	Model Checking Verification of MultiLayer Perceptrons in Datalog: a Many-valued Approach with Typicality. Datalog Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
2022	B	`conf`	Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL. LPNMR Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2022	—	`conf`	Reasoning about Actions with EL Ontologies in a Temporal Action Theory (Extended Abstract). Description Logics Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2022	—	`conf`	Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract). XAI.it@AI*IA Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2022	—	`conf`	Weighted Conditionals from Gradual Argumentation to Probabilistic Argumentation. AI³@AI*IA Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2021	—	`conf`	A Framework for a Modular Multi-Concept Lexicographic Closure Semantics (an abridged report). CILC Laura Giordano, Daniele Theseider Dupré
2021	—	`conf`	A Multipreference Semantics from Common Sense Reasoning to Neural Network Models: An Overview. JOWO Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2021	J	`jnl`	A conditional, a fuzzy and a probabilistic interpretation of self-organising maps. CoRR Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2021	J	`jnl`	From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview. CoRR Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2021	—	`conf`	Multilayer Perceptrons as Weighted Conditional Knowledge Bases: an Overview. DP@AI*IA Laura Giordano, Daniele Theseider Dupré
2021	—	`conf`	Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Extended Abstract). Description Logics Laura Giordano, Daniele Theseider Dupré
2021	—	`conf`	Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract). OVERLAY@GandALF Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2021	—	`ed.`	Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021), Rome, Italy, September 10th, 2021. ITBPM@BPM Andrea Marrella, Daniele Theseider Dupré
2021	—	`conf`	Reasoning About Actions with EL(bot) Ontologies and Temporal Answer Sets. ICLP Workshops Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2021	J	`jnl`	Reasoning about actions with EL ontologies with temporal answer sets. CoRR Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2021	B	`conf`	User action representation and automated reasoning for the forensic analysis of mobile devices. ARES Cosimo Anglano, Massimo Canonico, Laura Giordano, Marco Guazzone, Daniele Theseider Dupré
2021	—	`conf`	Weighted Conditional EL ICLP Technical Communications Laura Giordano, Daniele Theseider Dupré
2021	B	`conf`	Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model. JELIA Laura Giordano, Daniele Theseider Dupré
2020	J	`jnl`	A framework for a modular multi-concept lexicographic closure semantics. CoRR Laura Giordano, Daniele Theseider Dupré
2020	J	`jnl`	An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. CoRR Laura Giordano, Daniele Theseider Dupré
2020	J	`jnl`	An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. Theory Pract. Log. Program. Laura Giordano, Daniele Theseider Dupré
2020	J	`jnl`	Conformance analysis for comorbid patients in Answer Set Programming. J. Biomed. Informatics Luca Piovesan, Paolo Terenziani, Daniele Theseider Dupré
2020	—	`conf`	On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps. CILC Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2020	J	`jnl`	On a plausible concept-wise multipreference semantics and its relations with self-organising maps. CoRR Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2020	—	`conf`	Towards a Conditional Interpretation of Self Organizing Maps. XAI.it@AI*IA Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2020	J	`jnl`	Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model. CoRR Laura Giordano, Daniele Theseider Dupré
2019	—	`conf`	ASP and Ontologies for Reasoning on Business Processes. DDC@AI*IA Laura Giordano, Daniele Theseider Dupré
2019	—	`conf`	Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies. OVERLAY@AI*IA Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2018	J	`jnl`	35 Years of Pietro Torasso's work on diagnosis. Intelligenza Artificiale Luca Console, Diego Magro, Roberto Micalizio, Enrico Scala, Daniele Theseider Dupré, Gianluca Torta
2018	J	`jnl`	ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution. Künstliche Intell. Luca Piovesan, Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré
2018	J	`jnl`	Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure. CoRR Laura Giordano, Daniele Theseider Dupré
2018	J	`jnl`	Defeasible Reasoning in 풮ℛ풪ℰℒ: from Rational Entailment to Rational Closure. Fundam. Informaticae Laura Giordano, Daniele Theseider Dupré
2018	—	`conf`	Enriched Modeling and Reasoning on Business Processes with Ontologies and Answer Set Programming. BPM (Forum) Laura Giordano, Daniele Theseider Dupré
2018	—	`conf`	Temporal Conformance Analysis and Explanation on Comorbid Patients. HEALTHINF Luca Piovesan, Paolo Terenziani, Daniele Theseider Dupré
2017	J	`jnl`	Temporal Conformance Analysis and Explanation of Clinical Guidelines Execution: An Answer Set Programming Approach. IEEE Trans. Knowl. Data Eng. Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré
2016	J	`jnl`	ASP for Minimal Entailment in a Rational Extension of SROEL. CoRR Laura Giordano, Daniele Theseider Dupré
2016	—	`conf`	ASP for Reasoning about Actions with an EL^bot Knowledge Base. CILC Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré
2016	J	`jnl`	ASP for minimal entailment in a rational extension of SROEL. Theory Pract. Log. Program. Laura Giordano, Daniele Theseider Dupré
2016	—	`conf`	Reasoning in a Rational Extension of SROEL. CILC Laura Giordano, Daniele Theseider Dupré
2016	—	`conf`	Reasoning in a Rational Extension of SROEL. Description Logics Laura Giordano, Daniele Theseider Dupré
2015	J	`jnl`	Achieving completeness in the verification of action theories by Bounded Model Checking in ASP. J. Log. Comput. Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2015	—	`conf`	Answer Set Programming for Temporal Conformance Analysis of Clinical Guidelines Execution. KR4HC/ProHealth Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré
2015	B	`conf`	Temporal Conformance Analysis of Clinical Guidelines Execution. AIME Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré
2014	—	`conf`	Advances in the GINSENG Project. ICHI Paolo Terenziani, Alessio Bottrighi, Laura Giordano, Giuliana Franceschinis, Stefania Montani, Luca Piovesan, Luigi Portinale, Stefania Rubrichi, Matteo Spiotta, Daniele Theseider Dupré
2014	—	`conf`	Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology. KR4HC@VSL Matteo Spiotta, Alessio Bottrighi, Laura Giordano, Daniele Theseider Dupré
2014	J	`jnl`	Exploiting abstractions in cost-sensitive abductive problem solving with observations and actions. AI Commun. Gianluca Torta, Luca Anselma, Daniele Theseider Dupré
2014	—	`conf`	TellEat: Sharing Experiences on the Move. HCI (3) Elisa Chiabrando, Roberto Furnari, Silvia Likavec, Francesco Osborne, Claudia Picardi, Daniele Theseider Dupré
2013	J	`jnl`	Business process verification with constraint temporal answer set programming. Theory Pract. Log. Program. Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré
2013	—	`conf`	Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming. AIBP@AI*IA Matteo Spiotta, Alessio Bottrighi, Daniele Theseider Dupré
2013	J	`jnl`	Interacting with social networks of intelligent things and people in the world of gastronomy. ACM Trans. Interact. Intell. Syst. Luca Console, Fabrizio Antonelli, Giulia Biamino, Francesca Carmagnola, Federica Cena, Elisa Chiabrando, Vincenzo Cuciti, Matteo Demichelis, Franco Fassio, Fabrizio Franceschi, Roberto Furnari, Cristina Gena, Marina Geymonat, Piercarlo Grimaldi, Pierluigi Grillo, Silvia Likavec, Ilaria Lombardi, Dario Mana, Alessandro Marcengo, Michele Mioli, Mario Mirabelli, Monica Perrero, Claudia Picardi, Federica Protti, Amon Rapp, Rossana Simeoni, Daniele Theseider Dupré, Ilaria Torre, Andrea Toso, Fabio Torta, Fabiana Vernero
2013	—	`ed.`	Proceedings of the Workshop AI Meets Business Processes 2013 co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AIIA 2013), Turin, Italy, December 6, 2013. AIBP@AIIA Laura Giordano, Stefania Montani, Daniele Theseider Dupré
2013	J	`jnl`	Reasoning about actions with Temporal Answer Sets. Theory Pract. Log. Program. Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2013	C	`conf`	Temporal deontic action logic for the verification of compliance to norms in ASP. ICAIL Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2013	C	`conf`	Towards a Second Generation of Computer Interpretable Guidelines. DATA Paolo Terenziani, Alessio Bottrighi, Laura Giordano, Giuliana Franceschinis, Stefania Montani, Luigi Portinale, Daniele Theseider Dupré
2012	A*	`conf`	Achieving Completeness in Bounded Model Checking of Action Theories in ASP. KR Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2012	—	`conf`	Business Processes Verification with Temporal Answer Set Programming. KiBP@KR Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré
2012	C	`conf`	Interacting with a Social Web of Smart Objects for Enhancing Tourist Experiences. ENTER Federica Cena, Fabrizio Antonelli, Giulia Biamino, Francesca Carmagnola, Elisa Chiabrando, Luca Console, Vincenzo Cuciti, Matteo Demichelis, Franco Fassio, Fabrizio Franceschi, Roberto Furnari, Cristina Gena, Marina Geymonat, Piercarlo Grimaldi, Pierluigi Grillo, Elena Guercio, Silvia Likavec, Ilaria Lombardi, Dario Mana, Alessandro Marcengo, Michele Mioli, Mario Mirabelli, Monica Perrero, Claudia Picardi, Federica Protti, Amon Rapp, Roberta Sandon, Rossana Simeoni, Daniele Theseider Dupré, Ilaria Torre, Andrea Toso, Fabio Torta, Fabiana Vernero
2012	—	`conf`	Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. CILC Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2012	A	`conf`	WantEat: interacting with social networks of smart objects for sharing cultural heritage and supporting sustainability. ECAI Luca Console, Giulia Biamino, Francesca Carmagnola, Federica Cena, Elisa Chiabrando, Roberto Furnari, Cristina Gena, Pierluigi Grillo, Silvia Likavec, Ilaria Lombardi, Michele Mioli, Claudia Picardi, Daniele Theseider Dupré, Fabiana Vernero, Rossana Simeoni, Fabrizio Antonelli, Vincenzo Cuciti, Matteo Demichelis, Fabrizio Franceschi, Marina Geymonat, Alessandro Marcengo, Dario Mana, Mario Mirabelli, Monica Perrero, Amon Rapp, Franco Fassio, Piercarlo Grimaldi, Fabio Torta
2012	A	`conf`	Wheeling around with Wanteat: exploring mixed social networks in the gastronomy domain. IUI Fabrizio Antonelli, Giulia Biamino, Francesca Carmagnola, Federica Cena, Elisa Chiabrando, Luca Console, Vincenzo Cuciti, Matteo Demichelis, Franco Fassio, Fabrizio Franceschi, Roberto Furnari, Cristina Gena, Marina Geymonat, Piercarlo Grimaldi, Pierluigi Grillo, Elena Guercio, Silvia Likavec, Ilaria Lombardi, Dario Mana, Alessandro Marcengo, Michele Mioli, Mario Mirabelli, Monica Perrero, Claudia Picardi, Federica Protti, Amon Rapp, Roberta Sandon, Rossana Simeoni, Daniele Theseider Dupré, Ilaria Torre, Andrea Toso, Fabio Torta, Fabiana Vernero
2011	J	`jnl`	Reasoning about Actions with Temporal Answer Sets CoRR Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2011	—	`conf`	Semantic similarity in heterogeneous ontologies. HT Elisa Chiabrando, Silvia Likavec, Ilaria Lombardi, Claudia Picardi, Daniele Theseider Dupré
2011	J	`jnl`	Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board CoRR Luca Console, Claudia Picardi, Daniele Theseider Dupré
2011	—	`conf`	Verifying Compliance of Business Processes with Temporal Answer Sets. CILC Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré
2010	—	`conf`	Reasoning about Actions with Temporal Answer Sets. CILC Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2010	C	`conf`	Threading Facts into a Collective Narrative World. ICIDS Silvia Likavec, Ilaria Lombardi, Alberto Nantiat, Claudia Picardi, Daniele Theseider Dupré
2010	—	`conf`	Verifying Business Process Compliance by Reasoning about Actions. CLIMA Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré
2009	—	`conf`	Abductive Problem Solving with Abstractions. SARA Gianluca Torta, Daniele Theseider Dupré
2008	A	`conf`	Cost-sensitive Iterative Abductive Reasoning with abstractions. ECAI Gianluca Torta, Daniele Theseider Dupré, Luca Anselma
2008	—	`conf`	Enhancing Web Service Composition by Means of Diagnosis. Business Process Management Workshops Liliana Ardissono, Stefano Bocconi, Luca Console, Roberto Furnari, Anna Goy, Giovanna Petrone, Claudia Picardi, Marino Segnan, Daniele Theseider Dupré
2007	A*	`conf`	A Framework for Decentralized Qualitative Model-Based Diagnosis. IJCAI Luca Console, Claudia Picardi, Daniele Theseider Dupré
2007	—	`conf`	Model-Based Diagnosability Analysis for Web Services. AI*IA Stefano Bocconi, Claudia Picardi, Xavier Pucel, Daniele Theseider Dupré, Louise Travé-Massuyès
2005	—	`conf`	Advanced fault analysis in web service composition. WWW (Special interest tracks and posters) Liliana Ardissono, Luca Console, Anna Goy, Giovanna Petrone, Claudia Picardi, Marino Segnan, Daniele Theseider Dupré
2005	—	`conf`	Enhancing Web Services with Diagnostic Capabilities. ECOWS Liliana Ardissono, Luca Console, Anna Goy, Giovanna Petrone, Claudia Picardi, Marino Segnan, Daniele Theseider Dupré
2004	J	`jnl`	SALVO: model-based systems applications in automotive industry. Intelligenza Artificiale Rosanna Bray, Alessandro Buffo, Fulvio Cascio, Luca Console, Claudia Picardi, Marino Segnan, Daniele Theseider Dupré
2003	J	`jnl`	Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board. J. Artif. Intell. Res. Luca Console, Claudia Picardi, Daniele Theseider Dupré
2002	J	`jnl`	Local Reasoning and Knowledge Compilation for Efficient Temporal Abduction. IEEE Trans. Knowl. Data Eng. Luca Console, Paolo Terenziani, Daniele Theseider Dupré
2001	—	`conf`	Causal Simulation and Diagnosis of Dynamic Systems. AI*IA Andrea Panati, Daniele Theseider Dupré
2001	A*	`conf`	Temporal Decision Trees or the lazy ECU vindicated. IJCAI Luca Console, Claudia Picardi, Daniele Theseider Dupré
2000	J	`jnl`	Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective CoRR Daniele Theseider Dupré
2000	A	`conf`	State-based vs Simulation-based Diagnosis of Dynamic Systems. ECAI Andrea Panati, Daniele Theseider Dupré
1999	J	`jnl`	Generating On-Board Diagnostics of Dynamic Automotive Systems Based on Qualitative Models. AI Commun. Fulvio Cascio, Luca Console, Marcella Guagliumi, Massimo Osella, Andrea Panati, Sara Sottano, Daniele Theseider Dupré
1998	J	`jnl`	A Spectrum of Definitions for Temporal Model-Based Diagnosis. Artif. Intell. Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré
1998	J	`jnl`	An Inductive Definition Approach to Ramifications. Electron. Trans. Artif. Intell. Marc Denecker, Daniele Theseider Dupré, Kristof Van Belleghem
1997	—	`conf`	An Efficient Algorithm for Temporal Abduction. AI*IA Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré
1997	C	`conf`	An Efficient Algorithm for Temporal Abduction. TIME Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré
1996	J	`jnl`	Using Compiled Knowledge to Guide and Focus Abductive Diagnosis. IEEE Trans. Knowl. Data Eng. Luca Console, Luigi Portinale, Daniele Theseider Dupré
1995	J	`jnl`	On the Role of Abduction. ACM Comput. Surv. Pietro Torasso, Luca Console, Luigi Portinale, Daniele Theseider Dupré
1995	—	`conf`	The Different Roles of Abstraction in Abductive Reasoning. AI*IA Daniele Theseider Dupré, Mauro Rossotto
1995	J	`jnl`	The Role of Abduction in Database View Updating. J. Intell. Inf. Syst. Luca Console, Maria Luisa Sapino, Daniele Theseider Dupré
1994	J	`jnl`	Diagnosing Tim-Varying Misbehavior: An Approach Based on Model Decomposition. Ann. Math. Artif. Intell. Luca Console, Luigi Portinale, Daniele Theseider Dupré, Pietro Torasso
1993	—	`conf`	Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended Abstract). AADEBUG Luca Console, Gerhard Friedrich, Daniele Theseider Dupré
1993	A*	`conf`	Model-Based Diagnosis Meets Error Diagnosis in Logic Programs. IJCAI Luca Console, Gerhard Friedrich, Daniele Theseider Dupré
1992	—	`conf`	Adcuctive Reasoning with Abstraction Axioms. ECAI Workshop on Knowledge Representation and Reasoning Luca Console, Daniele Theseider Dupré
1992	A	`conf`	Diagnostic Reasoning Across Different Time Points. ECAI Luca Console, Luigi Portinale, Daniele Theseider Dupré, Pietro Torasso
1991	J	`jnl`	Focussing Abductive Diagnosis. AI Commun. Luca Console, Luigi Portinale, Daniele Theseider Dupré
1991	—	`conf`	Object-Level Abduction for View Updates. DAISD Luca Console, Maria Luisa Sapino, Daniele Theseider Dupré
1991	J	`jnl`	On the Relationship between Abduction and Deduction. J. Log. Comput. Luca Console, Daniele Theseider Dupré, Pietro Torasso
1991	—	`conf`	Towards the Integration of Different Knowledge Sources in Model-Based Diagnosis. AI*IA Luca Console, Daniele Theseider Dupré, Pietro Torasso
1989	A*	`conf`	A Theory of Diagnosis for Incomplete Causal Models. IJCAI Luca Console, Daniele Theseider Dupré, Pietro Torasso