Federico Chesani

ORCID

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 39

Top Venues

University of Bologna, Italy (PHD)

Education History

University of Bologna, Italy

PHD

Publications

Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris
Process Discovery on Deviant Traces and Other Stranger Things. IEEE Trans. Knowl. Data Eng. 35 (11) (2023)
Riccardo Buscaroli, Federico Chesani, Giulia Giuliani, Daniela Loreti, Paola Mello
A Prolog application for reasoning on maths puzzles with diagrams. J. Exp. Theor. Artif. Intell. 35 (7) (2023)
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Elena Palmieri, Sergio Tessaris
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints. CILC (2022)
Giorgio Visani, Enrico Bagli, Federico Chesani, Alessandro Poluzzi, Davide Capuzzo
Statistical stability indices for LIME: Obtaining reliable explanations for machine learning models. J. Oper. Res. Soc. 73 (1) (2022)
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris
Optimising Business Process Discovery Using Answer Set Programming. LPNMR (2022)
Giorgio Visani, Giacomo Graffi, Mattia Alfero, Enrico Bagli, Davide Capuzzo, Federico Chesani
Enabling Synthetic Data adoption in regulated domains. CoRR (2022)
Giorgio Visani, Giacomo Graffi, Mattia Alfero, Enrico Bagli, Federico Chesani, Davide Capuzzo
Enabling Synthetic Data adoption in regulated domains. DSAA (2022)
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris
Shape Your Process: Discovering Declarative Business Processes from Positive and Negative Traces Taking into Account User Preferences. EDOC (2022)
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris
Process discovery on deviant traces and other stranger things. CoRR (2021)
Federico Chesani, Giuseppe Cota, Marco Gavanelli, Evelina Lamma, Paola Mello, Fabrizio Riguzzi
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling. Eng. Appl. Artif. Intell. 95 (2020)
Pierpaolo Palumbo, Luca Cattelani, Federica Fusco, Mirjam Pijnappels, Lorenzo Chiari, Federico Chesani, Sabato Mellone
A Recommender System for Behavioral Change in 60-70-year-old Adults. AIxAS@AI*IA (2020)
Giorgio Visani, Enrico Bagli, Federico Chesani
OptiLIME: Optimized LIME Explanations for Diagnostic Computer Algorithms. CoRR (2020)
Luca Cattelani, Federico Chesani, Luca Palmerini, Pierpaolo Palumbo, Lorenzo Chiari, Stefania Bandinelli
A rule-based framework for risk assessment in the health domain. Int. J. Approx. Reason. 119 (2020)
Daniela Loreti, Federico Chesani, Anna Ciampolini, Paola Mello
Generating synthetic positive and negative business process traces through abduction. Knowl. Inf. Syst. 62 (2) (2020)
Giorgio Visani, Enrico Bagli, Federico Chesani
OptiLIME: Optimized LIME Explanations for Diagnostic Computer Algorithms. CIKM (Workshops) (2020)
Giorgio Visani, Enrico Bagli, Federico Chesani, Alessandro Poluzzi, Davide Capuzzo
Statistical stability indices for LIME: obtaining reliable explanations for Machine Learning models. CoRR (2020)
Giorgio Visani, Federico Chesani, Enrico Bagli, Davide Capuzzo, Alessandro Poluzzi
Explanations of Machine Learning predictions: a mandatory step for its application to Operational Processes. CoRR (2020)
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Vasyl Skydanienko, Sergio Tessaris
Towards the Generation of the "Perfect" Log Using Abductive Logic Programming. CILC (2019)
Elena Borelli, Giacomo Paolini, Francesco Antoniazzi, Marina Barbiroli, Francesca Benassi, Federico Chesani, Lorenzo Chiari, Massimiliano Fantini, Franco Fuschini, Andrea Galassi, Gian Andrea Giacobone, Silvia Imbesi, Melissa Licciardello, Daniela Loreti, Michele Marchi, Diego Masotti, Paola Mello, Sabato Mellone, Giuseppe Mincolelli, Carla Raffaelli, Luca Roffia, Tullio Salmon Cinotti, Carlo Tacconi, Paola Tamburini, Marco Zoli, Alessandra Costanzo
HABITAT: An IoT Solution for Independent Elderly. Sensors 19 (5) (2019)
Lorenzo Donati, Daniele Fongo, Luca Cattelani, Federico Chesani
Prediction of Decline in Activities of Daily Living Through Deep Artificial Neural Networks and Domain Adaptation. AI*IA (2019)
Luca Cattelani, Martino Belvederi Murri, Federico Chesani, Lorenzo Chiari, Stefania Bandinelli, Pierpaolo Palumbo
Risk Prediction Model for Late Life Depression: Development and Validation on Three Large European Datasets. IEEE J. Biomed. Health Informatics 23 (5) (2019)
Daniela Loreti, Federico Chesani, Paola Mello, Luca Roffia, Francesco Antoniazzi, Tullio Salmon Cinotti, Giacomo Paolini, Diego Masotti, Alessandra Costanzo
Complex reactive event processing for assisted living: The Habitat project case study. Expert Syst. Appl. 126 (2019)
Federico Chesani, Giuseppe Cota, Evelina Lamma, Paola Mello, Fabrizio Riguzzi
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning. CILC (2018)
Daniela Loreti, Federico Chesani, Anna Ciampolini, Paola Mello
A distributed approach to compliance monitoring of business process event streams. Future Gener. Comput. Syst. 82 (2018)
Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali
Evaluating Compliance: From LTL to Abductive Logic Programming. Fundam. Informaticae 159 (1-2) (2018)
Federico Chesani, Paola Mello, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Sergio Tessaris
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning. Fundam. Informaticae 161 (1-2) (2018)
Federico Chesani, Andrea Galassi, Marco Lippi, Paola Mello
Can Deep Networks Learn to Play by the Rules? A Case Study on Nine Men's Morris. IEEE Trans. Games 10 (4) (2018)
Daniela Loreti, Federico Chesani, Anna Ciampolini, Paola Mello
Distributed Compliance Monitoring of Business Processes over MapReduce Architectures. ICPE Companion (2017)
Federico Chesani, Paola Mello, Michela Milano
Solving Mathematical Puzzles: A Challenging Competition for AI. AI Mag. 38 (3) (2017)
Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello
Abduction for Generating Synthetic Traces. Business Process Management Workshops (2017)
Federico Chesani, Andrea Galassi, Paola Mello, Giada Trisolini
A Game-Based Competition as Instrument for Teaching Artificial Intelligence. AI*IA (2017)
Federico Chesani, Paola Mello, Marco Montali
Abductive Reasoning on Compliance Monitoring - Balancing Flexibility and Regulation. ISMIS (2017)
Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris
Abducing Compliance of Incomplete Event Logs. CoRR (2016)
Elisabeth Boulton, Helen Hawley-Hague, Beatrix Vereijken, Amanda Clifford, Nick A. Guldemond, Klaus Pfeiffer, Alex Hall, Federico Chesani, Sabato Mellone, Alan Bourke, Chris J. Todd
Developing the FARSEEING Taxonomy of Technologies: Classification and description of technology use (including ICT) in falls prevention studies. J. Biomed. Informatics 61 (2016)
Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello
Map Reduce Autoscaling over the Cloud with Process Mining Monitoring. CLOSER (Selected Papers) (2016)
Federico Chesani, Paola Mello, Michela Milano
Solving Mathematical Puzzles: a Deep Reasoning Challenge (Position Paper). URANIA@AI*IA (2016)
Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris
Abducing Compliance of Incomplete Event Logs. AI*IA (2016)
Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello
Process Mining Monitoring for Map Reduce Applications in the Cloud. CLOSER (1) (2016)
Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris
Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes. ECAI (2016)
Ather Nawaz, Jorunn Lægdheim Helbostad, Lorenzo Chiari, Federico Chesani, Luca Cattelani
User Experience (UX) of the Fall Risk Assessment Tool (FRAT-up). CBMS (2015)
Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
Evaluating compliance: from LTL to abductive logic programming. CILC (2015)
Marco Gavanelli, Michela Milano, Stefano Bragaglia, Federico Chesani, Elisa Marengo, Paolo Cagnoli
Multi-Criteria Optimal Planning for Energy Policies in CLP. CILC (2014)
Luca Cattelani, Federico Chesani, Pierpaolo Palumbo, Luca Palmerini, Stefania Bandinelli, Clemens Becker, Lorenzo Chiari
FRAT-Up, a Rule-Based System Evaluating Fall Risk in the Elderly. CBMS (2014)
Marco Gavanelli, Stefano Bragaglia, Michela Milano, Federico Chesani, Elisa Marengo, Paolo Cagnoli
Multi-Criteria Optimal Planning for Energy Policies in CLP. CoRR (2014)
Luca Cattelani, Pierpaolo Palumbo, Federico Chesani, Luca Palmerini, Lorenzo Chiari
LPAD-based Fall Risk Assessment. PAI@AI*IA (2013)
Marco Montali, Fabrizio Maria Maggi, Federico Chesani, Paola Mello, Wil M. P. van der Aalst
Monitoring business constraints with the event calculus. ACM Trans. Intell. Syst. Technol. 5 (1) (2013)
Marco Montali, Federico Chesani, Paola Mello, Fabrizio Maria Maggi
Towards data-aware constraints in declare. SAC (2013)
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
Representing and monitoring social commitments using the event calculus. Auton. Agents Multi Agent Syst. 27 (1) (2013)
Stefano Bragaglia, Federico Chesani, Paola Mello, Davide Sottara
A Rule-Based Calculus and Processing of Complex Events. RuleML (2012)
Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
Reactive Event Calculus for Monitoring Global Computing Applications. Logic Programs, Norms and Action (2012)
Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Paolo Terenziani
Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge. Business Process Management Workshops (2) (2011)
Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
A Computational Logic Application Framework for Service Discovery and Contracting. Int. J. Web Serv. Res. 8 (3) (2011)
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
Monitoring Time-Aware Commitments within Agent-Based Simulation Environments. Cybern. Syst. 42 (7) (2011)
Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Davide Sottara
Fuzzy Conformance Checking of Observed Behaviour with Expectations. AI*IA (2011)
Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali
A Retrospective on the Reactive Event Calculus and Commitment Modeling Language. DALT (2011)
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions. Intelligenza Artificiale 5 (1) (2011)
Stefano Bragaglia, Federico Chesani, Emory Fry, Paola Mello, Marco Montali, Davide Sottara
Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems. RuleML America (2011)
Federico Chesani, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework. Multiagent Grid Syst. 6 (2) (2010)
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
Role Monitoring in Open Agent Societies. KES-AMSTA (1) (2010)
Stefano Bragaglia, Federico Chesani, Paola Mello, Davide Sottara
A Rule-Based Implementation of Fuzzy Tableau Reasoning. RuleML (2010)
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
A Logic-Based, Reactive Calculus of Events. Fundam. Informaticae 105 (1-2) (2010)
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
Declarative Technologies for Open Agent Systems and Beyond. KES-AMSTA (1) (2010)
Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari
Declarative specification and verification of service choreographiess. ACM Trans. Web 4 (1) (2010)
Stefano Bragaglia, Federico Chesani, Paola Mello, Davide Sottara
A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules. RR (2010)
Özgür Kafali, Federico Chesani, Paolo Torroni
What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior. CLIMA (2010)
Marco Montali, Paolo Torroni, Federico Chesani, Paola Mello, Marco Alberti, Evelina Lamma
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes. Fundam. Informaticae 102 (3-4) (2010)
Stefano Bragaglia, Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Davide Sottara
An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning. HAIS (1) (2010)
Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. Trans. Petri Nets Other Model. Concurr. 2 (2009)
Alessio Bottrighi, Federico Chesani, Paola Mello, Gianpaolo Molino, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani, Mauro Torchio
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. AIME (2009)
Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali
Social Commitments in Time: Satisfied or Compensated. DALT (2009)
Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani
Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines. KR4HC (2009)
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
Verifying A-Priori the Composition of Declarative Specified Services. MALLOW (2009)
Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. ICWS (2009)
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
Commitment Tracking via the Reactive Event Calculus. IJCAI (2009)
Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
Verification from Declarative Specifications Using Logic Programming. ICLP (2008)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
Expressing and Verifying Business Contracts with Abductive Logic Programming. Int. J. Electron. Commer. 12 (4) (2008)
Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, Maurizio Sebastianis, Sergio Storari
Checking Compliance of Execution Traces to Business Rules. Business Process Management Workshops (2008)
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
Modeling and Verification of Business Processes and Choreographies in ALP. Il Milione (2008)
Federico Chesani, Anna Ciampolini, Paola Mello
E-learning by Doing with Computational Logic. Knowledge Construction in E-learning Context (2008)
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting. SWAP (2008)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Trans. Comput. Log. 9 (4) (2008)
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
Verification of Choreographies During Execution Using the Reactive Event Calculus. WS-FM (2008)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
Web Service Contracting: Specification and Reasoning with SCIFF. ESWC (2007)
Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Comput. Pract. Exp. 8 (1) (2007)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services. RR (2007)
Paolo Torroni, Marco Gavanelli, Federico Chesani
Argumentation in the Semantic Web. IEEE Intell. Syst. 22 (6) (2007)
Federico Chesani, Paola Mello, Marco Montali, Sergio Storari
Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic. AIME (2007)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
Expressing and Verifying Business Contracts with Abductive Logic Programming. Normative Multi-agent Systems (2007)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
A Verifiable Logic-Based Agent Architecture. ISMIS (2006)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali
An abductive framework for a-priori verification of web services. PPDP (2006)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni
Compliance verification of agent interaction: a logic-based software tool. Appl. Artif. Intell. 20 (2-4) (2006)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni
Tool. WS-FM (2006)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
Policy-based Reasoning for Smart Web Service Interaction. SWAP (2006)
Federico Chesani, Pietro De Matteis, Paola Mello, Marco Montali, Sergio Storari
A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. ISMIS (2006)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma
The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. W(C)LP (2005)
Federico Chesani
Formalization and Verification of Interaction Protocols. ICLP (2005)
Marco Alberti, Federico Chesani, Alessio Guerri, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni
Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. W(C)LP (2005)
Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari
Protocol Specification and Verification by Using Computational Logic. WOA (2005)
Marco Alberti, Federico Chesani
The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system. Intelligenza Artificiale 2 (3) (2005)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
Security Protocols Verification in Abductive Logic Programming: A Case Study. ESAW (2005)

Federico Chesani.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Federico Chesani