Some Papers by Daniele Theseider Dupré
(more on DBLP)
2017
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) Link
Luca Piovesan, Paolo Terenziani, and Daniele Theseider Dupré, Temporal Conformance Analysis and Explanation on Comorbid Patients, KR4HC-ProHealth-RichMedSem 2017 Link
2016
Laura Giordano, Daniele Theseider Dupré: ASP for minimal entailment in a rational extension of SROEL. TPLP 16(5-6): 738-754 (2016) Link
Laura Giordano, Daniele Theseider Dupré: Reasoning in a Rational Extension of SROEL. CILC 2016: 53-68 Link
Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré: ASP for Reasoning about Actions with an EL^bot Knowledge Base. CILC 2016: 214-229 Link
Laura Giordano, Daniele Theseider Dupré: Reasoning in a Rational Extension of SROEL. Description Logics 2016 Link
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): 1307-1330 (2015) Link
Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré, Answer Set Programming for Temporal Conformance Analysis of Clinical Guidelines Execution. KR4HC/ProHealth 2015: 65-79 Link
Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré, Temporal Conformance Analysis of Clinical Guidelines Execution. AIME 2015: 332-336 Link
2014
G. Torta, L. Anselma, D. Theseider Dupré, Exploiting abstractions in cost-sensitive abductive problem solving with observations and actions. AI Communications 27(3): 245-262 (2014). Link
M. Spiotta, A. Bottrighi, L. Giordano, D. Theseider Dupre. Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology. In: Knowledge Representation for Health Care. LNAI 8903, p. 62-77, Springer (2014). Link
Elisa Chiabrando, Roberto Furnari, Silvia Likavec, Francesco Osborne, Claudia Picardi, Daniele Theseider Dupré: TellEat: Sharing Experiences on the Move. In Human-Computer Interaction. Applications and Services, LNCS 8512, p. 377-388, Springer (2014). Link
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 Link
2013
L. Giordano, A. Martelli, M. Spiotta, D. Theseider Dupré. Business Process Verification with Constraint Temporal Answer Set Programming, Theory and Practice of Logic Programming, vol. 13, 4-5 (2013). LinkL. Giordano, A. Martelli, D. Theseider Dupré. Reasoning about actions with Temporal Answer Sets . Theory and Practice of Logic Programming, vol. 13, p. 201-225 (2013), ISSN: 1471-0684, doi: 10.1017/S1471068411000639. Link
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 TiiS 3(1): 4 (2013). Link
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré: Temporal deontic action logic for the verification of compliance to norms in ASP. ICAIL 2013: 53-62 Link
P. Terenziani, A. Bottrighi, G. Franceschinis, L. Giordano, S. Montani, L. Portinale, D. Theseider Dupré, Towards a second generation of Computer Interpretable Guidelines, 2nd International Conference on Data Management Technologies and Applications (DATA), 2013
Matteo Spiotta, Alessio Bottrighi, Daniele Theseider Dupré: Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming, AI Meets Business Processes, 2013, Link
2012
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré: Achieving Completeness in Bounded Model Checking of Action Theories in ASP. KR 2012. LinkD. D'Aprile, L. Giordano, A. Martelli, G.L. Pozzato, D. Rognone, D. Theseider Dupré. Business process compliance verification: an annotation based approach with commitments. In: Information Systems: Crossroads for Organization, Management, Accounting and Engineering, Springer (2012).
D. D'Aprile, L. Giordano, D. Rognone, D. Theseider Dupré. Business process compliance verification: combining Action Theories with CPNs. In: Proc. ITAIS 2012.
L. Giordano, A. Martelli, M. Spiotta, D. Theseider Dupré (2012). Business Processes Verification with Temporal Answer Set Programming. In: Proc. 1st International Workshop on Knowledge-intensive Business Processes. Link
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. Link
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. Link
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. In: Proceedings of ENTER2012, eTourism Present and Future Services and Applications, pp. 179-190. Springer, ISBN: 9783709111413, Helsingborg, Sweden, 24-27 January 2012. Link
2011
Elisa Chiabrando, Silvia Likavec, Ilaria Lombardi, Claudia Picardi, Daniele Theseider Dupré: Semantic similarity in heterogeneous ontologies. HT 2011: 153-160. LinkDavide 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. Link
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, Elena Guercio, Silvia Likavec, Ilaria Lombardi, Dario Mana, Alessandro Marcengo, Michele Mioli, Mario Mirabelli, Monica Perrero, Claudia Picardi, Federica Protti, Amon Rapp, Olivia Reviglio, Roberta Sandon, Rossana Simeoni, Daniele Theseider Dupré, Ilaria Torre, Andrea Toso, Fabio Torta, Fabiana Vernero. WantEat: interacting with “social” networks of intelligent things and people in the world of enogastronomy. In: Proceedings of the Workshop on Interacting with Smart Objects. Palo Alto - California (USA), 2011.
2010
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. LinkSilvia Likavec, Ilaria Lombardi, Alberto Nantiat, Claudia Picardi, Daniele Theseider Dupré: Threading Facts into a Collective Narrative World. ICIDS 2010: 86-97. Link
F. Antonelli, F. Cena, D. Mana, F. Protti, D. Theseider Dupré: . Il Pignoletto Rosso: Semantic Web Technology in a Food- and Human-centered Project. In: 6th Workshop on Semantic Web Applications and Perspectives, 2010. Link