Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Daniele Theseider
    Last name: Dupré
    DBLP: d/DTDupre
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 64  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    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. 2017, Volume 29 (0) 2017
    Conference paper
    Laura Giordano 0001, Daniele Theseider Dupré.
    Reasoning in a Rational Extension of SROEL.
    Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016. 2016 (0) 2016
    Conference paper
    Laura Giordano 0001, Daniele Theseider Dupré.
    Reasoning in a Rational Extension of SROEL.
    Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016. 2016 (0) 2016
    Conference paper
    Laura Giordano 0001, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré.
    ASP for Reasoning about Actions with an EL^bot Knowledge Base.
    Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016. 2016 (0) 2016
    Conference paper
    Laura Giordano 0001, Daniele Theseider Dupré.
    ASP for minimal entailment in a rational extension of SROEL.
    TPLP 2016, Volume 16 (0) 2016
    Conference paper
    Laura Giordano 0001, Daniele Theseider Dupré.
    ASP for Minimal Entailment in a Rational Extension of SROEL.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré.
    Temporal Conformance Analysis of Clinical Guidelines Execution.
    Artificial Intelligence in Medicine - 15th Conference on Artificial Intelligence in Medicine, AIME 2015, Pavia, Italy, June 17-20, 2015. Proceedings 2015 (0) 2015
    Conference paper
    Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré.
    Answer Set Programming for Temporal Conformance Analysis of Clinical Guidelines Execution.
    Knowledge Representation for Health Care - AIME 2015 International Joint Workshop, KR4HC/ProHealth 2015, Pavia, Italy, June 20, 2015, Revised Selected Papers 2015 (0) 2015
    Conference paper
    Laura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré.
    Achieving completeness in the verification of action theories by Bounded Model Checking in ASP.
    J. Log. Comput. 2015, Volume 25 (0) 2015
    Conference paper
    Gianluca Torta, Luca Anselma, Daniele Theseider Dupré.
    Exploiting abstractions in cost-sensitive abductive problem solving with observations and actions.
    AI Commun. 2014, Volume 27 (0) 2014
    Conference paper
    Elisa Chiabrando, Roberto Furnari, Silvia Likavec, Francesco Osborne, Claudia Picardi, Daniele Theseider Dupré.
    TellEat: Sharing Experiences on the Move.
    Human-Computer Interaction. Applications and Services - 16th International Conference, HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part III 2014 (0) 2014
    Conference paper
    Matteo Spiotta, Alessio Bottrighi, Laura Giordano, Daniele Theseider Dupré.
    Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology.
    Knowledge Representation for Health Care - 6th International Workshop, KR4HC 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014, Revised Selected Papers 2014 (0) 2014
    Conference paper
    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.
    2014 IEEE International Conference on Healthcare Informatics, ICHI 2014, Verona, Italy, September 15-17, 2014 2014 (0) 2014
    Journal article
    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.
    TiiS 2013, Volume 3 (0) 2013
    Journal article
    Laura Giordano, Alberto Martelli, Daniele Theseider Dupré.
    Reasoning about actions with Temporal Answer Sets.
    TPLP 2013, Volume 13 (0) 2013
    Conference paper
    Laura Giordano, Alberto Martelli, Daniele Theseider Dupré.
    Temporal deontic action logic for the verification of compliance to norms in ASP.
    International Conference on Artificial Intelligence and Law, ICAIL '13, Rome, Italy, June 10-14, 2013 2013 (0) 2013
    Conference paper
    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 - Proceedings of the 2nd International Conference on Data Technologies and Applications, Reykjavík, Iceland, 29 - 31 July, 2013 2013 (0) 2013
    Conference paper
    Matteo Spiotta, Alessio Bottrighi, Daniele Theseider Dupré.
    Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming.
    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. 2013 (0) 2013
    Conference paper
    Laura Giordano 0001, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré.
    Business process verification with constraint temporal answer set programming.
    TPLP 2013, Volume 13 (0) 2013
    Conference paper
    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.
    17th International Conference on Intelligent User Interfaces, IUI 2012, Lisbon, Portugal, February 14-17, 2012 2012 (0) 2012
    Conference paper
    Laura Giordano, Alberto Martelli, Daniele Theseider Dupré.
    Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach.
    Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012 2012 (0) 2012
    Conference paper
    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 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012 2012 (0) 2012
    Conference paper
    Laura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré.
    Achieving Completeness in Bounded Model Checking of Action Theories in ASP.
    Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012 2012 (0) 2012
    Conference paper
    Laura Giordano 0001, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré.
    Business Processes Verification with Temporal Answer Set Programming.
    Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, KiBP@KR 2012, Rome, Italy, June 15, 2012 2012 (0) 2012
    Conference paper
    Elisa Chiabrando, Silvia Likavec, Ilaria Lombardi, Claudia Picardi, Daniele Theseider Dupré.
    Semantic similarity in heterogeneous ontologies.
    HT'11, Proceedings of the 22nd ACM Conference on Hypertext and Hypermedia, Eindhoven, The Netherlands, June 6-9, 2011 2011 (0) 2011
    Show item 1 to 25 of 64  

    Your query returned 64 matches in the database.