Daniele Theseider Dupré

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 57

Top Venues

CoRR

CILC

Description Logics

Theory Pract. Log. Program.

Publications

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)
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 (2024)
Mario Alviano, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability. CILC (2024)
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 (2023)
Daniele Theseider Dupré
Answer Set Programming for Legal Decision Support and Explanation. JURIX (2023)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases. CILC (2023)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Explaining Gradual Argumentation Semantics in a Conditional Multi-preferential Logic with Typicality. AI³@AI*IA (2023)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics. ICLP Workshops (2023)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation. NMR (2023)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases. JELIA (2023)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Complexity and scalability of defeasible reasoning in 1 many-valued weighted knowledge bases. CoRR (2023)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract). Description Logics (2023)
Daniele Theseider Dupré
Explainable Answer Set Programming for Legal Decision Support. CILC (2023)
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)
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 (2022)
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)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL. LPNMR (2022)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Weighted Conditionals from Gradual Argumentation to Probabilistic Argumentation. AI³@AI*IA (2022)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Reasoning about Actions with EL Ontologies in a Temporal Action Theory (Extended Abstract). Description Logics (2022)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation. CoRR (2022)
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) (2022)
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)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps. J. Log. Comput. 32 (2) (2022)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract). OVERLAY@GandALF (2021)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
A conditional, a fuzzy and a probabilistic interpretation of self-organising maps. CoRR (2021)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Reasoning about actions with EL ontologies with temporal answer sets. CoRR (2021)
Laura Giordano, Daniele Theseider Dupré
Knowledge Bases with Integer Weights: an ASP Approach. ICLP Technical Communications (2021)
Laura Giordano, Daniele Theseider Dupré
Multilayer Perceptrons as Weighted Conditional Knowledge Bases: an Overview. DP@AI*IA (2021)
Laura Giordano, Daniele Theseider Dupré
Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Extended Abstract). Description Logics (2021)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
A Multipreference Semantics from Common Sense Reasoning to Neural Network Models: An Overview. JOWO (2021)
Laura Giordano, Daniele Theseider Dupré
A Framework for a Modular Multi-Concept Lexicographic Closure Semantics (an abridged report). CILC (2021)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview. CoRR (2021)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Reasoning About Actions with EL(bot) Ontologies and Temporal Answer Sets. ICLP Workshops (2021)
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)
Laura Giordano, Daniele Theseider Dupré
Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model. JELIA (2021)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps. CILC (2020)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
Towards a Conditional Interpretation of Self Organizing Maps. XAI.it@AI*IA (2020)
Laura Giordano, Daniele Theseider Dupré
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. CoRR (2020)
Laura Giordano, Daniele Theseider Dupré
Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model. CoRR (2020)
Laura Giordano, Daniele Theseider Dupré
A framework for a modular multi-concept lexicographic closure semantics. CoRR (2020)
Luca Piovesan, Paolo Terenziani, Daniele Theseider Dupré
Conformance analysis for comorbid patients in Answer Set Programming. J. Biomed. Informatics 103 (2020)
Laura Giordano, Daniele Theseider Dupré
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. Theory Pract. Log. Program. 20 (5) (2020)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
On a plausible concept-wise multipreference semantics and its relations with self-organising maps. CoRR (2020)
Laura Giordano, Daniele Theseider Dupré
ASP and Ontologies for Reasoning on Business Processes. DDC@AI*IA (2019)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies. OVERLAY@AI*IA (2019)
Laura Giordano, Daniele Theseider Dupré
Defeasible Reasoning in 풮ℛ풪ℰℒ: from Rational Entailment to Rational Closure. Fundam. Informaticae 161 (1-2) (2018)
Laura Giordano, Daniele Theseider Dupré
Enriched Modeling and Reasoning on Business Processes with Ontologies and Answer Set Programming. BPM (Forum) (2018)
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) (2018)
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) (2018)
Laura Giordano, Daniele Theseider Dupré
Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure. CoRR (2018)
Luca Piovesan, Paolo Terenziani, Daniele Theseider Dupré
Temporal Conformance Analysis and Explanation on Comorbid Patients. HEALTHINF (2018)
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) (2017)
Laura Giordano, Daniele Theseider Dupré
ASP for minimal entailment in a rational extension of SROEL. Theory Pract. Log. Program. 16 (5-6) (2016)
Laura Giordano, Daniele Theseider Dupré
ASP for Minimal Entailment in a Rational Extension of SROEL. CoRR (2016)
Laura Giordano, Daniele Theseider Dupré
Reasoning in a Rational Extension of SROEL. CILC (2016)
Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré
ASP for Reasoning about Actions with an EL^bot Knowledge Base. CILC (2016)
Laura Giordano, Daniele Theseider Dupré
Reasoning in a Rational Extension of SROEL. Description Logics (2016)
Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré
Temporal Conformance Analysis of Clinical Guidelines Execution. AIME (2015)
Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré
Answer Set Programming for Temporal Conformance Analysis of Clinical Guidelines Execution. KR4HC/ProHealth (2015)
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) (2015)
Elisa Chiabrando, Roberto Furnari, Silvia Likavec, Francesco Osborne, Claudia Picardi, Daniele Theseider Dupré
TellEat: Sharing Experiences on the Move. HCI (3) (2014)
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)
Gianluca Torta, Luca Anselma, Daniele Theseider Dupré
Exploiting abstractions in cost-sensitive abductive problem solving with observations and actions. AI Commun. 27 (3) (2014)
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)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Reasoning about actions with Temporal Answer Sets. Theory Pract. Log. Program. 13 (2) (2013)
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) (2013)
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)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Temporal deontic action logic for the verification of compliance to norms in ASP. ICAIL (2013)
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)
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) (2013)
Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré
Business Processes Verification with Temporal Answer Set Programming. KiBP@KR (2012)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Achieving Completeness in Bounded Model Checking of Action Theories in ASP. KR (2012)
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)
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)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. CILC (2012)
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)
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)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Reasoning about Actions with Temporal Answer Sets CoRR (2011)
Luca Console, Claudia Picardi, Daniele Theseider Dupré
Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board CoRR (2011)
Elisa Chiabrando, Silvia Likavec, Ilaria Lombardi, Claudia Picardi, Daniele Theseider Dupré
Semantic similarity in heterogeneous ontologies. HT (2011)
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)
Silvia Likavec, Ilaria Lombardi, Alberto Nantiat, Claudia Picardi, Daniele Theseider Dupré
Threading Facts into a Collective Narrative World. ICIDS (2010)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Reasoning about Actions with Temporal Answer Sets. CILC (2010)
Gianluca Torta, Daniele Theseider Dupré
Abductive Problem Solving with Abstractions. SARA (2009)
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)
Gianluca Torta, Daniele Theseider Dupré, Luca Anselma
Cost-sensitive Iterative Abductive Reasoning with abstractions. ECAI (2008)
Luca Console, Claudia Picardi, Daniele Theseider Dupré
A Framework for Decentralized Qualitative Model-Based Diagnosis. IJCAI (2007)
Stefano Bocconi, Claudia Picardi, Xavier Pucel, Daniele Theseider Dupré, Louise Travé-Massuyès
Model-Based Diagnosability Analysis for Web Services. AI*IA (2007)
Liliana Ardissono, Luca Console, Anna Goy, Giovanna Petrone, Claudia Picardi, Marino Segnan, Daniele Theseider Dupré
Enhancing Web Services with Diagnostic Capabilities. ECOWS (2005)
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)
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) (2004)
Luca Console, Claudia Picardi, Daniele Theseider Dupré
Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board. J. Artif. Intell. Res. 19 (2003)
Luca Console, Paolo Terenziani, Daniele Theseider Dupré
Local Reasoning and Knowledge Compilation for Efficient Temporal Abduction. IEEE Trans. Knowl. Data Eng. 14 (6) (2002)
Andrea Panati, Daniele Theseider Dupré
Causal Simulation and Diagnosis of Dynamic Systems. AI*IA (2001)
Luca Console, Claudia Picardi, Daniele Theseider Dupré
Temporal Decision Trees or the lazy ECU vindicated. IJCAI (2001)
Andrea Panati, Daniele Theseider Dupré
State-based vs Simulation-based Diagnosis of Dynamic Systems. ECAI (2000)
Daniele Theseider Dupré
Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective CoRR (2000)
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) (1999)
Marc Denecker, Daniele Theseider Dupré, Kristof Van Belleghem
An Inductive Definition Approach to Ramifications. Electron. Trans. Artif. Intell. 2 (1998)
Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré
A Spectrum of Definitions for Temporal Model-Based Diagnosis. Artif. Intell. 102 (1) (1998)

Daniele Theseider Dupré.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Daniele Theseider Dupré