default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDaniele Theseider Dupré
Person information
- affiliation: Università del Piemonte Orientale, Italy
- affiliation (former): University of Turin, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j28]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Weighted knowledge bases with typicality and defeasible reasoning in a gradual argumentation semantics. Intelligenza Artificiale 18(1): 153-174 (2024)- [j27]Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
:
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality. Int. J. Approx. Reason. 164: 109065 (2024) - [c74]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Towards Temporal Many-valued Conditional Logics for Gradual Argumentation: a Preliminary Report. AI³@AI*IA 2024 - [c73]Mario Alviano, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré:
Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability. CILC 2024 - [c72]Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré:
Verifying Properties of a MultiLayer Network for the Recognition of Basic Emotions in a Conditional DL with Typicality (Extended Abstract). Description Logics 2024 - [i17]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Temporal Many-valued Conditional Logics: a Preliminary Report. CoRR abs/2409.09069 (2024) - 2023
- [c71]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Explaining Gradual Argumentation Semantics in a Conditional Multi-preferential Logic with Typicality. AI³@AI*IA 2023 - [c70]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases. CILC 2023 - [c69]Daniele Theseider Dupré:
Explainable Answer Set Programming for Legal Decision Support. CILC 2023 - [c68]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract). Description Logics 2023 - [c67]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics. ICLP Workshops 2023 - [c66]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases. JELIA 2023: 481-497 - [c65]Daniele Theseider Dupré:
Answer Set Programming for Legal Decision Support and Explanation. JURIX 2023: 383-386 - [c64]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation. NMR 2023: 4-13 - [i16]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality. CoRR abs/2303.04534 (2023) - [i15]Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré:
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality. CoRR abs/2305.00304 (2023) - 2022
- [j26]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps. J. Log. Comput. 32(2): 178-205 (2022) - [j25]Laura Giordano, Daniele Theseider Dupré:
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases. Theory Pract. Log. Program. 22(4): 589-605 (2022) - [c63]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Weighted Conditionals from Gradual Argumentation to Probabilistic Argumentation. AI³@AI*IA 2022 - [c62]Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract). XAI.it@AI*IA 2022: 64-72 - [c61]Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré:
Model Checking Verification of MultiLayer Perceptrons in Datalog: a Many-valued Approach with Typicality. Datalog 2022: 54-67 - [c60]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning about Actions with EL Ontologies in a Temporal Action Theory (Extended Abstract). Description Logics 2022 - [c59]Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
From Common Sense Reasonig to Neural Network Models: a Conditional and Multi-preferential Approach for Explainability and Neuro-Symbolic Integration. FCR@KI 2022: 66-78 - [c58]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL. LPNMR 2022: 231-244 - [i14]Laura Giordano, Daniele Theseider Dupré:
An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases. CoRR abs/2202.01123 (2022) - [i13]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation. CoRR abs/2212.07523 (2022) - 2021
- [c57]Cosimo Anglano, Massimo Canonico, Laura Giordano, Marco Guazzone, Daniele Theseider Dupré:
User action representation and automated reasoning for the forensic analysis of mobile devices. ARES 2021: 45:1-45:7 - [c56]Laura Giordano, Daniele Theseider Dupré:
Multilayer Perceptrons as Weighted Conditional Knowledge Bases: an Overview. DP@AI*IA 2021: 10-18 - [c55]Laura Giordano, Daniele Theseider Dupré:
A Framework for a Modular Multi-Concept Lexicographic Closure Semantics (an abridged report). CILC 2021: 47-61 - [c54]Laura Giordano, Daniele Theseider Dupré:
Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Extended Abstract). Description Logics 2021 - [c53]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract). OVERLAY@GandALF 2021: 83-89 - [c52]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning About Actions with EL(bot) Ontologies and Temporal Answer Sets. ICLP Workshops 2021 - [c51]Laura Giordano, Daniele Theseider Dupré:
Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model. JELIA 2021: 225-242 - [c50]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
A Multipreference Semantics from Common Sense Reasoning to Neural Network Models: An Overview. JOWO 2021 - [c49]Laura Giordano, Daniele Theseider Dupré:
Weighted Conditional EL⊥ Knowledge Bases with Integer Weights: an ASP Approach. ICLP Technical Communications 2021: 70-76 - [e2]Andrea Marrella, Daniele Theseider Dupré:
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. CEUR Workshop Proceedings 2952, CEUR-WS.org 2021 [contents] - [i12]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
A conditional, a fuzzy and a probabilistic interpretation of self-organising maps. CoRR abs/2103.06854 (2021) - [i11]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview. CoRR abs/2107.04870 (2021) - [i10]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning about actions with EL ontologies with temporal answer sets. CoRR abs/2107.08403 (2021) - 2020
- [j24]Luca Piovesan, Paolo Terenziani, Daniele Theseider Dupré:
Conformance analysis for comorbid patients in Answer Set Programming. J. Biomed. Informatics 103: 103377 (2020) - [j23]Laura Giordano, Daniele Theseider Dupré:
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. Theory Pract. Log. Program. 20(5): 751-766 (2020) - [c48]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
Towards a Conditional Interpretation of Self Organizing Maps. XAI.it@AI*IA 2020: 127-134 - [c47]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps. CILC 2020: 127-140 - [i9]Laura Giordano, Daniele Theseider Dupré:
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. CoRR abs/2006.04387 (2020) - [i8]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
On a plausible concept-wise multipreference semantics and its relations with self-organising maps. CoRR abs/2008.13278 (2020) - [i7]Laura Giordano, Daniele Theseider Dupré:
A framework for a modular multi-concept lexicographic closure semantics. CoRR abs/2009.00964 (2020) - [i6]Laura Giordano, Daniele Theseider Dupré:
Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model. CoRR abs/2012.13421 (2020)
2010 – 2019
- 2019
- [c46]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies. OVERLAY@AI*IA 2019: 41-46 - [c45]Laura Giordano, Daniele Theseider Dupré:
ASP and Ontologies for Reasoning on Business Processes. DDC@AI*IA 2019: 45-52 - 2018
- [j22]Laura Giordano, Daniele Theseider Dupré:
Defeasible Reasoning in 풮ℛ풪ℰℒ: from Rational Entailment to Rational Closure. Fundam. Informaticae 161(1-2): 135-161 (2018) - [j21]Luca Console, Diego Magro, Roberto Micalizio, Enrico Scala, Daniele Theseider Dupré, Gianluca Torta:
35 Years of Pietro Torasso's work on diagnosis. Intelligenza Artificiale 12(1): 31-40 (2018) - [j20]Luca Piovesan, Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré:
ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution. Künstliche Intell. 32(2-3): 201-204 (2018) - [c44]Luca Piovesan, Paolo Terenziani, Daniele Theseider Dupré:
Temporal Conformance Analysis and Explanation on Comorbid Patients. HEALTHINF 2018: 17-26 - [c43]Laura Giordano, Daniele Theseider Dupré:
Enriched Modeling and Reasoning on Business Processes with Ontologies and Answer Set Programming. BPM (Forum) 2018: 71-88 - [i5]Laura Giordano, Daniele Theseider Dupré:
Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure. CoRR abs/1803.08885 (2018) - 2017
- [j19]Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré:
Temporal Conformance Analysis and Explanation of Clinical Guidelines Execution: An Answer Set Programming Approach. IEEE Trans. Knowl. Data Eng. 29(11): 2567-2580 (2017) - 2016
- [j18]Laura Giordano, Daniele Theseider Dupré:
ASP for minimal entailment in a rational extension of SROEL. Theory Pract. Log. Program. 16(5-6): 738-754 (2016) - [c42]Laura Giordano, Daniele Theseider Dupré:
Reasoning in a Rational Extension of SROEL. CILC 2016: 53-68 - [c41]Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré:
ASP for Reasoning about Actions with an EL^bot Knowledge Base. CILC 2016: 214-229 - [c40]Laura Giordano, Daniele Theseider Dupré:
Reasoning in a Rational Extension of SROEL. Description Logics 2016 - [i4]Laura Giordano, Daniele Theseider Dupré:
ASP for Minimal Entailment in a Rational Extension of SROEL. CoRR abs/1608.02450 (2016) - 2015
- [j17]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP. J. Log. Comput. 25(6): 1307-1330 (2015) - [c39]Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré:
Answer Set Programming for Temporal Conformance Analysis of Clinical Guidelines Execution. KR4HC/ProHealth 2015: 65-79 - [c38]Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré:
Temporal Conformance Analysis of Clinical Guidelines Execution. AIME 2015: 332-336 - 2014
- [j16]Gianluca Torta, Luca Anselma, Daniele Theseider Dupré:
Exploiting abstractions in cost-sensitive abductive problem solving with observations and actions. AI Commun. 27(3): 245-262 (2014) - [c37]Elisa Chiabrando, Roberto Furnari, Silvia Likavec, Francesco Osborne, Claudia Picardi, Daniele Theseider Dupré:
TellEat: Sharing Experiences on the Move. HCI (3) 2014: 377-388 - [c36]Paolo Terenziani, Alessio Bottrighi, Laura Giordano, Giuliana Franceschinis, Stefania Montani, Luca Piovesan, Luigi Portinale, Stefania Rubrichi, Matteo Spiotta, Daniele Theseider Dupré:
Advances in the GINSENG Project. ICHI 2014: 368 - [c35]Matteo Spiotta, Alessio Bottrighi, Laura Giordano, Daniele Theseider Dupré:
Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology. KR4HC@VSL 2014: 62-77 - 2013
- [j15]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:
Interacting with social networks of intelligent things and people in the world of gastronomy. ACM Trans. Interact. Intell. Syst. 3(1): 4:1-4:38 (2013) - [j14]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning about actions with Temporal Answer Sets. Theory Pract. Log. Program. 13(2): 201-225 (2013) - [j13]Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré:
Business process verification with constraint temporal answer set programming. Theory Pract. Log. Program. 13(4-5): 641-655 (2013) - [c34]Matteo Spiotta, Alessio Bottrighi, Daniele Theseider Dupré:
Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming. AIBP@AI*IA 2013: 91-100 - [c33]Paolo Terenziani, Alessio Bottrighi, Laura Giordano, Giuliana Franceschinis, Stefania Montani, Luigi Portinale, Daniele Theseider Dupré:
Towards a Second Generation of Computer Interpretable Guidelines. DATA 2013: 199-205 - [c32]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Temporal deontic action logic for the verification of compliance to norms in ASP. ICAIL 2013: 53-62 - [e1]Laura Giordano, Stefania Montani, Daniele Theseider Dupré:
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), Turin, Italy, December 6, 2013. CEUR Workshop Proceedings 1101, CEUR-WS.org 2013 [contents] - 2012
- [c31]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. CILC 2012: 176-190 - [c30]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:
WantEat: interacting with social networks of smart objects for sharing cultural heritage and supporting sustainability. ECAI 2012: 1005-1006 - [c29]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:
Interacting with a Social Web of Smart Objects for Enhancing Tourist Experiences. ENTER 2012: 179-190 - [c28]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:
Wheeling around with Wanteat: exploring mixed social networks in the gastronomy domain. IUI 2012: 321-322 - [c27]Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré:
Business Processes Verification with Temporal Answer Set Programming. KiBP@KR 2012: 48-59 - [c26]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Achieving Completeness in Bounded Model Checking of Action Theories in ASP. KR 2012 - 2011
- [c25]Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré:
Verifying Compliance of Business Processes with Temporal Answer Sets. CILC 2011: 147-161 - [c24]Elisa Chiabrando, Silvia Likavec, Ilaria Lombardi, Claudia Picardi, Daniele Theseider Dupré:
Semantic similarity in heterogeneous ontologies. HT 2011: 153-160 - [i3]Luca Console, Claudia Picardi, Daniele Theseider Dupré:
Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board. CoRR abs/1106.5268 (2011) - [i2]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning about Actions with Temporal Answer Sets. CoRR abs/1110.3672 (2011) - 2010
- [c23]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning about Actions with Temporal Answer Sets. CILC 2010 - [c22]Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré:
Verifying Business Process Compliance by Reasoning about Actions. CLIMA 2010: 99-116 - [c21]Silvia Likavec, Ilaria Lombardi, Alberto Nantiat, Claudia Picardi, Daniele Theseider Dupré:
Threading Facts into a Collective Narrative World. ICIDS 2010: 86-97
2000 – 2009
- 2009
- [c20]Gianluca Torta, Daniele Theseider Dupré:
Abductive Problem Solving with Abstractions. SARA 2009 - 2008
- [c19]Liliana Ardissono, Stefano Bocconi, Luca Console, Roberto Furnari, Anna Goy, Giovanna Petrone, Claudia Picardi, Marino Segnan, Daniele Theseider Dupré:
Enhancing Web Service Composition by Means of Diagnosis. Business Process Management Workshops 2008: 468-479 - [c18]Gianluca Torta, Daniele Theseider Dupré, Luca Anselma:
Cost-sensitive Iterative Abductive Reasoning with abstractions. ECAI 2008: 803-804 - 2007
- [c17]Stefano Bocconi, Claudia Picardi, Xavier Pucel, Daniele Theseider Dupré, Louise Travé-Massuyès:
Model-Based Diagnosability Analysis for Web Services. AI*IA 2007: 24-35 - [c16]Luca Console, Claudia Picardi, Daniele Theseider Dupré:
A Framework for Decentralized Qualitative Model-Based Diagnosis. IJCAI 2007: 286-291 - 2005
- [c15]Liliana Ardissono, Luca Console, Anna Goy, Giovanna Petrone, Claudia Picardi, Marino Segnan, Daniele Theseider Dupré:
Enhancing Web Services with Diagnostic Capabilities. ECOWS 2005: 182-191 - [c14]Liliana Ardissono, Luca Console, Anna Goy, Giovanna Petrone, Claudia Picardi, Marino Segnan, Daniele Theseider Dupré:
Advanced fault analysis in web service composition. WWW (Special interest tracks and posters) 2005: 1090-1091 - 2004
- [j12]Rosanna Bray, Alessandro Buffo, Fulvio Cascio, Luca Console, Claudia Picardi, Marino Segnan, Daniele Theseider Dupré:
SALVO: model-based systems applications in automotive industry. Intelligenza Artificiale 1(3): 13-20 (2004) - 2003
- [j11]Luca Console, Claudia Picardi, Daniele Theseider Dupré:
Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board. J. Artif. Intell. Res. 19: 469-512 (2003) - 2002
- [j10]Luca Console, Paolo Terenziani, Daniele Theseider Dupré:
Local Reasoning and Knowledge Compilation for Efficient Temporal Abduction. IEEE Trans. Knowl. Data Eng. 14(6): 1230-1248 (2002) - 2001
- [c13]Andrea Panati, Daniele Theseider Dupré:
Causal Simulation and Diagnosis of Dynamic Systems. AI*IA 2001: 135-146 - [c12]Luca Console, Claudia Picardi, Daniele Theseider Dupré:
Temporal Decision Trees or the lazy ECU vindicated. IJCAI 2001: 545-550 - 2000
- [c11]Andrea Panati, Daniele Theseider Dupré:
State-based vs Simulation-based Diagnosis of Dynamic Systems. ECAI 2000: 176-180 - [i1]Daniele Theseider Dupré:
Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective. CoRR cs.AI/0003016 (2000)
1990 – 1999
- 1999
- [j9]Fulvio Cascio, Luca Console, Marcella Guagliumi, Massimo Osella, Andrea Panati, Sara Sottano, Daniele Theseider Dupré:
Generating On-Board Diagnostics of Dynamic Automotive Systems Based on Qualitative Models. AI Commun. 12(1-2): 33-43 (1999) - 1998
- [j8]Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré:
A Spectrum of Definitions for Temporal Model-Based Diagnosis. Artif. Intell. 102(1): 39-79 (1998) - [j7]Marc Denecker, Daniele Theseider Dupré, Kristof Van Belleghem:
An Inductive Definition Approach to Ramifications. Electron. Trans. Artif. Intell. 2: 25-67 (1998) - 1997
- [c10]Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré:
An Efficient Algorithm for Temporal Abduction. AI*IA 1997: 195-206 - [c9]Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré:
An Efficient Algorithm for Temporal Abduction. TIME 1997: 28-30 - 1996
- [j6]Luca Console, Luigi Portinale, Daniele Theseider Dupré:
Using Compiled Knowledge to Guide and Focus Abductive Diagnosis. IEEE Trans. Knowl. Data Eng. 8(5): 690-706 (1996) - 1995
- [j5]Pietro Torasso, Luca Console, Luigi Portinale, Daniele Theseider Dupré:
On the Role of Abduction. ACM Comput. Surv. 27(3): 353-355 (1995) - [j4]Luca Console, Maria Luisa Sapino, Daniele Theseider Dupré:
The Role of Abduction in Database View Updating. J. Intell. Inf. Syst. 4(3): 261-280 (1995) - [c8]Daniele Theseider Dupré, Mauro Rossotto:
The Different Roles of Abstraction in Abductive Reasoning. AI*IA 1995: 211-216 - 1994
- [j3]Luca Console, Luigi Portinale, Daniele Theseider Dupré, Pietro Torasso:
Diagnosing Tim-Varying Misbehavior: An Approach Based on Model Decomposition. Ann. Math. Artif. Intell. 11(1-4): 381-398 (1994) - 1993
- [c7]Luca Console, Gerhard Friedrich, Daniele Theseider Dupré:
Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended Abstract). AADEBUG 1993: 85-87 - [c6]Luca Console, Gerhard Friedrich, Daniele Theseider Dupré:
Model-Based Diagnosis Meets Error Diagnosis in Logic Programs. IJCAI 1993: 1494-1501 - 1992
- [c5]Luca Console, Daniele Theseider Dupré:
Adcuctive Reasoning with Abstraction Axioms. ECAI Workshop on Knowledge Representation and Reasoning 1992: 98-112 - [c4]Luca Console, Luigi Portinale, Daniele Theseider Dupré, Pietro Torasso:
Diagnostic Reasoning Across Different Time Points. ECAI 1992: 369-373 - 1991
- [j2]Luca Console, Luigi Portinale, Daniele Theseider Dupré:
Focussing Abductive Diagnosis. AI Commun. 4(2/3): 88-97 (1991) - [j1]Luca Console, Daniele Theseider Dupré, Pietro Torasso:
On the Relationship between Abduction and Deduction. J. Log. Comput. 1(5): 661-690 (1991) - [c3]Luca Console, Daniele Theseider Dupré, Pietro Torasso:
Towards the Integration of Different Knowledge Sources in Model-Based Diagnosis. AI*IA 1991: 177-186 - [c2]Luca Console, Maria Luisa Sapino, Daniele Theseider Dupré:
Object-Level Abduction for View Updates. DAISD 1991: 114-127
1980 – 1989
- 1989
- [c1]Luca Console, Daniele Theseider Dupré, Pietro Torasso:
A Theory of Diagnosis for Incomplete Causal Models. IJCAI 1989: 1311-1317
Coauthor Index
[j28] [j27] [c74] [c73] [c72] [i17] [c71] [c70] [c68] [c67] [c66] [c64] [i16] [i15] [j26] [j25] [c63] [c62] [c61] [c60] [c59] [c58] [i14] [i13] [c57] [c56] [c55] [c54] [c53] [c52] [c51] [c50] [c49] [i12] [i11] [i10] [j23] [c48] [c47] [i9] [i8] [i7] [i6] [c46] [c45] [j22] [c43] [i5] [j18] [c42] [c41] [c40] [i4] [j17] [c36] [c35] [j14] [j13] [c33] [c32] [e1] [c31] [c27] [c26] [c25] [i2] [c23] [c22]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-19 23:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
