The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (Global Computing, 2004)

A Logic based Approach to Interaction Design in Open Multi-Agent Systems. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Federico Chesani; Paola Mello; Paolo Torroni (WETICE, 2004)

Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). - Federico Chesani; Marco Gavanelli; Marco Alberti 001; Evelina Lamma; Paola Mello; Paolo Torroni (CLIMA, 2005)

Security Protocols Verification in Abductive Logic Programming: A Case Study. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (ESAW, 2005)

Formalization and Verification of Interaction Protocols. - Federico Chesani (ICLP, 2005)

Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. - Marco Alberti 001; Federico Chesani; Alessio Guerri; Marco Gavanelli; Evelina Lamma; Paola Mello; Michela Milano; Paolo Torroni (W(C)LP, 2005)

The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma (W(C)LP, 2005)

Protocol Specification and Verification by Using Computational Logic. - Federico Chesani; Anna Ciampolini; Paola Mello; Marco Montali; Paolo Torroni; Marco Alberti 001; Sergio Storari (WOA, 2005)

The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system. - Marco Alberti 001; Federico Chesani (Intelligenza Artificiale, 2005)

Expressing interaction in combinatorial auction through social integrity constraints. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Alessio Guerri; Evelina Lamma; Paola Mello; Paolo Torroni (Intelligenza Artificiale, 2005)

A Verifiable Logic-Based Agent Architecture. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello (ISMIS, 2006)

A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. - Federico Chesani; Pietro De Matteis; Paola Mello; Marco Montali; Sergio Storari (ISMIS, 2006)

An abductive framework for a-priori verification of web services. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Federico Chesani; Paola Mello; Marco Montali (PPDP, 2006)

Policy-based Reasoning for Smart Web Service Interaction. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello (SWAP, 2006)

Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Marco Montali; Sergio Storari; Paolo Torroni (WS-FM, 2006)

Compliance verification of agent interaction: a logic-based software tool. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Federico Chesani; Paola Mello; Paolo Torroni (Appl. Artif. Intell., 2006)

Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic. - Federico Chesani; Paola Mello; Marco Montali; Sergio Storari (AIME, 2007)

Web Service Contracting: Specification and Reasoning with SCIFF. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Marco Montali; Paolo Torroni (ESWC, 2007)

A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Marco Montali; Paolo Torroni (RR, 2007)

Argumentation in the Semantic Web. - Paolo Torroni; Marco Gavanelli; Federico Chesani (IEEE Intell. Syst., 2007)

Specification and Verification of Agent Interaction Protocols in a Logic-based System. - Marco Alberti 001; Federico Chesani; Davide Daolio; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (Scalable Comput. Pract. Exp., 2007)

Specification, execution and verification of interaction protocols: an approach based on computational logic. - Federico Chesani (2007)

Compliance Checking of Cancer-Screening CareFlows: an Approach based on Computational Logic. - Federico Chesani; Evelina Lamma; Paola Mello; Marco Montali; Sergio Storari; Paola Baldazzi; Marilena Manfredi (Computer-based Medical Guidelines and Protocols, 2008)

Modeling and Verification of Business Processes and Choreographies in ALP. - Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni (Il Milione, 2008)

Checking Compliance of Execution Traces to Business Rules. - Federico Chesani; Paola Mello; Marco Montali; Fabrizio Riguzzi; Maurizio Sebastianis; Sergio Storari (Business Process Management Workshops, 2008)

Verification from Declarative Specifications Using Logic Programming. - Marco Montali; Paolo Torroni; Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello (ICLP, 2008)

E-learning by Doing with Computational Logic. - Federico Chesani; Anna Ciampolini; Paola Mello (Knowledge Construction in E-learning Context, 2008)

Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting. - Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni (SWAP, 2008)

Verification of Choreographies During Execution Using the Reactive Event Calculus. - Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni (WS-FM, 2008)

Expressing and Verifying Business Contracts with Abductive Logic Programming. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Marco Montali; Paolo Torroni (Int. J. Electron. Commer., 2008)

Verifiable agent interaction in abductive logic programming: The SCIFF framework. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (ACM Trans. Comput. Log., 2008)

Modelling Interactions via Commitments and Expectations. - Paolo Torroni; Pinar Yolum; Munindar P. Singh; Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello (Handbook of Research on Multi-Agent Systems, 2009)

Arguing on the Semantic Grid. - Paolo Torroni; Marco Gavanelli; Federico Chesani (Argumentation in Artificial Intelligence, 2009)

A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. - Alessio Bottrighi; Federico Chesani; Paola Mello; Gianpaolo Molino; Marco Montali; Stefania Montani; Sergio Storari; Paolo Terenziani; Mauro Torchio (AIME, 2009)

Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines. - Alessio Bottrighi; Federico Chesani; Paola Mello; Marco Montali; Stefania Montani; Sergio Storari; Paolo Terenziani (KR4HC, 2009)

Social Commitments in Time: Satisfied or Compensated. - Paolo Torroni; Federico Chesani; Paola Mello; Marco Montali (DALT, 2009)

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. - Marco Alberti 001; Massimiliano Cattafi; Federico Chesani; Marco Gavanelli; Evelina Lamma; Marco Montali; Paola Mello; Paolo Torroni (ICWS, 2009)

Commitment Tracking via the Reactive Event Calculus. - Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni (IJCAI, 2009)

Verifying A-Priori the Composition of Declarative Specified Services. - Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni (MALLOW, 2009)

Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. - Federico Chesani; Evelina Lamma; Paola Mello; Marco Montali; Fabrizio Riguzzi; Sergio Storari (Trans. Petri Nets Other Model. Concurr., 2009)

What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior. - Özgür Kafali; Federico Chesani; Paolo Torroni (CLIMA, 2010)

An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning. - Stefano Bragaglia; Federico Chesani; Anna Ciampolini; Paola Mello; Marco Montali; Davide Sottara (HAIS (1), 2010)

Declarative Technologies for Open Agent Systems and Beyond. - Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni (KES-AMSTA (1), 2010)

Role Monitoring in Open Agent Societies. - Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni (KES-AMSTA (1), 2010)

A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules. - Stefano Bragaglia; Federico Chesani; Paola Mello; Davide Sottara (RR, 2010)

A Rule-Based Implementation of Fuzzy Tableau Reasoning. - Stefano Bragaglia; Federico Chesani; Paola Mello; Davide Sottara (RuleML, 2010)

A Logic-Based, Reactive Calculus of Events. - Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni (Fundam. Informaticae, 2010)

Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes. - Marco Montali; Paolo Torroni; Federico Chesani; Paola Mello; Marco Alberti 001; Evelina Lamma (Fundam. Informaticae, 2010)

On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework. - Federico Chesani; Paola Mello; Marco Montali; Sergio Storari; Paolo Torroni (Multiagent Grid Syst., 2010)

Declarative specification and verification of service choreographiess. - Marco Montali; Maja Pesic; Wil M. P. van der Aalst; Federico Chesani; Paola Mello; Sergio Storari (ACM Trans. Web, 2010)

Fuzzy Conformance Checking of Observed Behaviour with Expectations. - Stefano Bragaglia; Federico Chesani; Paola Mello; Marco Montali; Davide Sottara (AI*IA, 2011)

Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge. - Alessio Bottrighi; Federico Chesani; Paola Mello; Marco Montali; Stefania Montani; Paolo Terenziani (Business Process Management Workshops (2), 2011)

A Retrospective on the Reactive Event Calculus and Commitment Modeling Language. - Paolo Torroni; Federico Chesani; Paola Mello; Marco Montali (DALT, 2011)

Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems. - Stefano Bragaglia; Federico Chesani; Emory Fry; Paola Mello; Marco Montali; Davide Sottara (RuleML America, 2011)

Monitoring Time-Aware Commitments within Agent-Based Simulation Environments. - Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni (Cybern. Syst., 2011)

Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions. - Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni (Intelligenza Artificiale, 2011)

A Computational Logic Application Framework for Service Discovery and Contracting. - Marco Alberti 001; Massimiliano Cattafi; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Marco Montali; Paolo Torroni (Int. J. Web Serv. Res., 2011)

Reactive Event Calculus for Monitoring Global Computing Applications. - Stefano Bragaglia; Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni (Logic Programs, Norms and Action, 2012)

A Rule-Based Calculus and Processing of Complex Events. - Stefano Bragaglia; Federico Chesani; Paola Mello; Davide Sottara (RuleML, 2012)

LPAD-based Fall Risk Assessment. - Luca Cattelani; Pierpaolo Palumbo; Federico Chesani; Luca Palmerini; Lorenzo Chiari (PAI@AI*IA, 2013)

Towards data-aware constraints in declare. - Marco Montali; Federico Chesani; Paola Mello; Fabrizio Maria Maggi (SAC, 2013)

Representing and monitoring social commitments using the event calculus. - Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni (Auton. Agents Multi Agent Syst., 2013)

Monitoring business constraints with the event calculus. - Marco Montali; Fabrizio Maria Maggi; Federico Chesani; Paola Mello; Wil M. P. van der Aalst (ACM Trans. Intell. Syst. Technol., 2013)

FRAT-Up, a Rule-Based System Evaluating Fall Risk in the Elderly. - Luca Cattelani; Federico Chesani; Pierpaolo Palumbo; Luca Palmerini; Stefania Bandinelli; Clemens Becker; Lorenzo Chiari (CBMS, 2014)

Multi-Criteria Optimal Planning for Energy Policies in CLP. - Marco Gavanelli; Michela Milano; Stefano Bragaglia; Federico Chesani; Elisa Marengo; Paolo Cagnoli (CILC, 2014)

Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes. - Stefano Bragaglia; Federico Chesani; Paola Mello; Marco Montali (Foundations of Biomedical Knowledge Representation, 2015)

Monitoring in the Healthcare Setting. - Federico Chesani; Catherine G. Enright; Marco Montali; Michael G. Madden (Foundations of Biomedical Knowledge Representation, 2015)

User Experience (UX) of the Fall Risk Assessment Tool (FRAT-up). - Ather Nawaz; Jorunn Lægdheim Helbostad; Lorenzo Chiari; Federico Chesani; Luca Cattelani (CBMS, 2015)

Abducing Compliance of Incomplete Event Logs. - Federico Chesani; Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Paola Mello; Marco Montali; Sergio Tessaris (AI*IA, 2016)

Solving Mathematical Puzzles: a Deep Reasoning Challenge (Position Paper). - Federico Chesani; Paola Mello; Michela Milano (URANIA@AI*IA, 2016)

Process Mining Monitoring for Map Reduce Applications in the Cloud. - Federico Chesani; Anna Ciampolini; Daniela Loreti; Paola Mello (CLOSER (1), 2016)

Map Reduce Autoscaling over the Cloud with Process Mining Monitoring. - Federico Chesani; Anna Ciampolini; Daniela Loreti; Paola Mello (CLOSER (Selected Papers), 2016)

Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes. - Federico Chesani; Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Paola Mello; Marco Montali; Sergio Tessaris (ECAI, 2016)

Developing the FARSEEING Taxonomy of Technologies: Classification and description of technology use (including ICT) in falls prevention studies. - 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 (J. Biomed. Informatics, 2016)

A Game-Based Competition as Instrument for Teaching Artificial Intelligence. - Federico Chesani; Andrea Galassi; Paola Mello; Giada Trisolini (AI*IA, 2017)

Abduction for Generating Synthetic Traces. - Federico Chesani; Anna Ciampolini; Daniela Loreti; Paola Mello (Business Process Management Workshops, 2017)

Abductive Reasoning on Compliance Monitoring - Balancing Flexibility and Regulation. - Federico Chesani; Paola Mello; Marco Montali (ISMIS, 2017)

Distributed Compliance Monitoring of Business Processes over MapReduce Architectures. - Daniela Loreti; Federico Chesani; Anna Ciampolini; Paola Mello (ICPE Companion, 2017)

Solving Mathematical Puzzles: A Challenging Competition for AI. - Federico Chesani; Paola Mello; Michela Milano (AI Mag., 2017)

A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning. - Federico Chesani; Giuseppe Cota; Evelina Lamma; Paola Mello; Fabrizio Riguzzi (CILC, 2018)

A distributed approach to compliance monitoring of business process event streams. - Daniela Loreti; Federico Chesani; Anna Ciampolini; Paola Mello (Future Gener. Comput. Syst., 2018)

Evaluating Compliance: From LTL to Abductive Logic Programming. - Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Marco Montali (Fundam. Informaticae, 2018)

Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning. - Federico Chesani; Paola Mello; Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Marco Montali; Sergio Tessaris (Fundam. Informaticae, 2018)

Can Deep Networks Learn to Play by the Rules? A Case Study on Nine Men's Morris. - Federico Chesani; Andrea Galassi; Marco Lippi 001; Paola Mello (IEEE Trans. Games, 2018)

Prediction of Decline in Activities of Daily Living Through Deep Artificial Neural Networks and Domain Adaptation. - Lorenzo Donati; Daniele Fongo; Luca Cattelani; Federico Chesani (AI*IA, 2019)

Towards the Generation of the "Perfect" Log Using Abductive Logic Programming. - Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Daniela Loreti; Fabrizio Maria Maggi; Paola Mello; Marco Montali; Vasyl Skydanienko; Sergio Tessaris (CILC, 2019)

Complex reactive event processing for assisted living: The Habitat project case study. - Daniela Loreti; Federico Chesani; Paola Mello; Luca Roffia; Francesco Antoniazzi; Tullio Salmon Cinotti; Giacomo Paolini; Diego Masotti; Alessandra Costanzo (Expert Syst. Appl., 2019)

HABITAT: An IoT Solution for Independent Elderly. - 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; et al. (Sensors, 2019)

Risk Prediction Model for Late Life Depression: Development and Validation on Three Large European Datasets. - Luca Cattelani; Martino Belvederi Murri; Federico Chesani; Lorenzo Chiari; Stefania Bandinelli; Pierpaolo Palumbo (IEEE J. Biomed. Health Informatics, 2019)

A Recommender System for Behavioral Change in 60-70-year-old Adults. - Pierpaolo Palumbo; Luca Cattelani; Federica Fusco; Mirjam Pijnappels; Lorenzo Chiari; Federico Chesani; Sabato Mellone (AIxAS@AI*IA, 2020)

OptiLIME: Optimized LIME Explanations for Diagnostic Computer Algorithms. - Giorgio Visani; Enrico Bagli; Federico Chesani (CIKM (Workshops), 2020)

Explanations of Machine Learning predictions: a mandatory step for its application to Operational Processes. - Giorgio Visani; Federico Chesani; Enrico Bagli; Davide Capuzzo; Alessandro Poluzzi (CoRR, 2020)

Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling. - Federico Chesani; Giuseppe Cota; Marco Gavanelli; Evelina Lamma; Paola Mello; Fabrizio Riguzzi (Eng. Appl. Artif. Intell., 2020)

A rule-based framework for risk assessment in the health domain. - Luca Cattelani; Federico Chesani; Luca Palmerini; Pierpaolo Palumbo; Lorenzo Chiari; Stefania Bandinelli (Int. J. Approx. Reason., 2020)

Generating synthetic positive and negative business process traces through abduction. - Daniela Loreti; Federico Chesani; Anna Ciampolini; Paola Mello (Knowl. Inf. Syst., 2020)

Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints. - Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Daniela Loreti; Fabrizio Maria Maggi; Paola Mello; Marco Montali; Elena Palmieri; Sergio Tessaris (CILC, 2022)

Enabling Synthetic Data adoption in regulated domains. - Giorgio Visani; Giacomo Graffi; Mattia Alfero; Enrico Bagli; Federico Chesani; Davide Capuzzo (DSAA, 2022)

Shape Your Process: Discovering Declarative Business Processes from Positive and Negative Traces Taking into Account User Preferences. - Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Giulia Grundler; Daniela Loreti; Fabrizio Maria Maggi; Paola Mello; Marco Montali; Sergio Tessaris (EDOC, 2022)

Optimising Business Process Discovery Using Answer Set Programming. - Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Giulia Grundler; Daniela Loreti; Fabrizio Maria Maggi; Paola Mello; Marco Montali; Sergio Tessaris (LPNMR, 2022)

Statistical stability indices for LIME: Obtaining reliable explanations for machine learning models. - Giorgio Visani; Enrico Bagli; Federico Chesani; Alessandro Poluzzi; Davide Capuzzo (J. Oper. Res. Soc., 2022)

A Prolog application for reasoning on maths puzzles with diagrams. - Riccardo Buscaroli; Federico Chesani; Giulia Giuliani; Daniela Loreti; Paola Mello (J. Exp. Theor. Artif. Intell., 2023)

Process Discovery on Deviant Traces and Other Stranger Things. - Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Daniela Loreti; Fabrizio Maria Maggi; Paola Mello; Marco Montali; Sergio Tessaris (IEEE Trans. Knowl. Data Eng., 2023)

Probabilistic Traces in Declarative Process Mining. - Michela Vespa; Elena Bellodi; Federico Chesani; Daniela Loreti; Paola Mello; Evelina Lamma; Anna Ciampolini; Marco Gavanelli; Riccardo Zese (AI*IA, 2024)

Probabilistic Compliance in Declarative Process Mining. - Michela Vespa; Elena Bellodi; Federico Chesani; Daniela Loreti; Paola Mello; Evelina Lamma; Anna Ciampolini (PMAI@ECAI, 2024)