Federico Chesani

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