Daniele Theseider Dupr
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
19
Active years
1989–2025
Best venue rank
A*
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICLP | Temporal Conditional Reasoning with Weighted Knowledge Bases. | Mario Alviano, Laura Giordano, Daniele Theseider Dupr |
| 2023 | ICLP | Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics. | Mario Alviano, Laura Giordano, Daniele Theseider Dupr |
| 2023 | JELIA | Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases. | Mario Alviano, Laura Giordano, Daniele Theseider Dupr |
| 2023 | JURIX | Answer Set Programming for Legal Decision Support and Explanation. | Daniele Theseider Dupr |
| 2022 | KI | 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, Valentina Gliozzi, Daniele Theseider Dupr |
| 2022 | LPNMR | Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL. | Laura Giordano, Alberto Martelli, Daniele Theseider Dupr |
| 2021 | ICLP | Reasoning About Actions with EL(bot) Ontologies and Temporal Answer Sets. | Laura Giordano, Alberto Martelli, Daniele Theseider Dupr |
| 2021 | JELIA | Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model. | Laura Giordano, Daniele Theseider Dupr |
| 2018 | BPM | Enriched Modeling and Reasoning on Business Processes with Ontologies and Answer Set Programming. | Laura Giordano, Daniele Theseider Dupr |
| 2015 | AIME | Temporal Conformance Analysis of Clinical Guidelines Execution. | Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupr |
| 2015 | AIME | Answer Set Programming for Temporal Conformance Analysis of Clinical Guidelines Execution. | Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupr |
| 2014 | HCI | TellEat: Sharing Experiences on the Move. | Elisa Chiabrando, Roberto Furnari, Silvia Likavec, Francesco Osborne, Claudia Picardi, Daniele Theseider Dupr |
| 2013 | DATA | Towards a Second Generation of Computer Interpretable Guidelines. | Paolo Terenziani, Alessio Bottrighi, Laura Giordano, Giuliana Franceschinis, Stefania Montani, Luigi Portinale, Daniele Theseider Dupr |
| 2013 | ICAIL | Temporal deontic action logic for the verification of compliance to norms in ASP. | Laura Giordano, Alberto Martelli, Daniele Theseider Dupr |
| 2012 | ECAI | 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, 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 | ENTER | 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, 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 | IUI | 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, 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 | KR | Business Processes Verification with Temporal Answer Set Programming. | Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupr |
| 2012 | KR | Achieving Completeness in Bounded Model Checking of Action Theories in ASP. | Laura Giordano, Alberto Martelli, Daniele Theseider Dupr |
| 2010 | ICIDS | Threading Facts into a Collective Narrative World. | Silvia Likavec, Ilaria Lombardi, Alberto Nantiat, Claudia Picardi, Daniele Theseider Dupr |
| 2008 | BPM | 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 |
| 2008 | ECAI | Cost-sensitive Iterative Abductive Reasoning with abstractions. | Gianluca Torta, Daniele Theseider Dupr, Luca Anselma |
| 2007 | IJCAI | A Framework for Decentralized Qualitative Model-Based Diagnosis. | Luca Console, Claudia Picardi, Daniele Theseider Dupr |
| 2005 | ICWS | Enhancing Web Services with Diagnostic Capabilities. | Liliana Ardissono, Luca Console, Anna Goy, Giovanna Petrone, Claudia Picardi, Marino Segnan, Daniele Theseider Dupr |
| 2005 | WWW | Advanced fault analysis in web service composition. | Liliana Ardissono, Luca Console, Anna Goy, Giovanna Petrone, Claudia Picardi, Marino Segnan, Daniele Theseider Dupr |
| 2001 | IJCAI | Temporal Decision Trees or the lazy ECU vindicated. | Luca Console, Claudia Picardi, Daniele Theseider Dupr |
| 2000 | ECAI | State-based vs Simulation-based Diagnosis of Dynamic Systems. | Andrea Panati, Daniele Theseider Dupr |
| 1997 | TIME | An Efficient Algorithm for Temporal Abduction. | Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupr |
| 1993 | IJCAI | Model-Based Diagnosis Meets Error Diagnosis in Logic Programs. | Luca Console, Gerhard Friedrich, Daniele Theseider Dupr |
| 1992 | ECAI | Adcuctive Reasoning with Abstraction Axioms. | Luca Console, Daniele Theseider Dupr |
| 1992 | ECAI | Diagnostic Reasoning Across Different Time Points. | Luca Console, Luigi Portinale, Daniele Theseider Dupr, Pietro Torasso |
| 1989 | IJCAI | A Theory of Diagnosis for Incomplete Causal Models. | Luca Console, Daniele Theseider Dupr, Pietro Torasso |