default search action
Federico Chesani
Person information
- affiliation: University of Bologna, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c65]Michela Vespa, Elena Bellodi, Federico Chesani, Daniela Loreti, Paola Mello, Evelina Lamma, Anna Ciampolini:
Probabilistic Compliance in Declarative Process Mining. PMAI@ECAI 2024: 11-22 - 2023
- [j32]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): 1079-1099 (2023) - [j31]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): 11784-11800 (2023) - 2022
- [j30]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): 91-101 (2022) - [c64]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: 201-216 - [c63]Giorgio Visani, Giacomo Graffi, Mattia Alfero, Enrico Bagli, Federico Chesani, Davide Capuzzo:
Enabling Synthetic Data adoption in regulated domains. DSAA 2022: 1-10 - [c62]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: 217-234 - [c61]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: 498-504 - [i8]Giorgio Visani, Giacomo Graffi, Mattia Alfero, Enrico Bagli, Davide Capuzzo, Federico Chesani:
Enabling Synthetic Data adoption in regulated domains. CoRR abs/2204.06297 (2022) - 2021
- [i7]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 abs/2109.14883 (2021) - 2020
- [j29]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: 103861 (2020) - [j28]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: 242-259 (2020) - [j27]Daniela Loreti, Federico Chesani, Anna Ciampolini, Paola Mello:
Generating synthetic positive and negative business process traces through abduction. Knowl. Inf. Syst. 62(2): 813-839 (2020) - [c60]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: 69-80 - [c59]Giorgio Visani, Enrico Bagli, Federico Chesani:
OptiLIME: Optimized LIME Explanations for Diagnostic Computer Algorithms. CIKM (Workshops) 2020 - [i6]Giorgio Visani, Enrico Bagli, Federico Chesani, Alessandro Poluzzi, Davide Capuzzo:
Statistical stability indices for LIME: obtaining reliable explanations for Machine Learning models. CoRR abs/2001.11757 (2020) - [i5]Giorgio Visani, Enrico Bagli, Federico Chesani:
OptiLIME: Optimized LIME Explanations for Diagnostic Computer Algorithms. CoRR abs/2006.05714 (2020) - [i4]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 abs/2012.15103 (2020)
2010 – 2019
- 2019
- [j26]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: 200-217 (2019) - [j25]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): 1258 (2019) - [j24]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): 2196-2204 (2019) - [c58]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: 376-391 - [c57]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: 179-192 - 2018
- [j23]Daniela Loreti, Federico Chesani, Anna Ciampolini, Paola Mello:
A distributed approach to compliance monitoring of business process event streams. Future Gener. Comput. Syst. 82: 104-118 (2018) - [j22]Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali:
Evaluating Compliance: From LTL to Abductive Logic Programming. Fundam. Informaticae 159(1-2): 35-63 (2018) - [j21]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): 75-111 (2018) - [j20]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): 344-353 (2018) - [c56]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: 117-131 - 2017
- [j19]Federico Chesani, Paola Mello, Michela Milano:
Solving Mathematical Puzzles: A Challenging Competition for AI. AI Mag. 38(3): 83-96 (2017) - [c55]Federico Chesani, Andrea Galassi, Paola Mello, Giada Trisolini:
A Game-Based Competition as Instrument for Teaching Artificial Intelligence. AI*IA 2017: 72-84 - [c54]Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello:
Abduction for Generating Synthetic Traces. Business Process Management Workshops 2017: 151-159 - [c53]Federico Chesani, Paola Mello, Marco Montali:
Abductive Reasoning on Compliance Monitoring - Balancing Flexibility and Regulation. ISMIS 2017: 3-16 - [c52]Daniela Loreti, Federico Chesani, Anna Ciampolini, Paola Mello:
Distributed Compliance Monitoring of Business Processes over MapReduce Architectures. ICPE Companion 2017: 79-84 - [e3]Federico Chesani, Paola Mello, Michela Milano:
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. CEUR Workshop Proceedings 1802, CEUR-WS.org 2017 [contents] - 2016
- [j18]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: 132-140 (2016) - [c51]Federico Chesani, Paola Mello, Michela Milano:
Solving Mathematical Puzzles: a Deep Reasoning Challenge (Position Paper). URANIA@AI*IA 2016: 44-49 - [c50]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: 208-222 - [c49]Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello:
Process Mining Monitoring for Map Reduce Applications in the Cloud. CLOSER (1) 2016: 95-105 - [c48]Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello:
Map Reduce Autoscaling over the Cloud with Process Mining Monitoring. CLOSER (Selected Papers) 2016: 109-130 - [c47]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: 1734-1735 - [i3]Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris:
Abducing Compliance of Incomplete Event Logs. CoRR abs/1606.05446 (2016) - 2015
- [c46]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: 19-22 - [c45]Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
Evaluating compliance: from LTL to abductive logic programming. CILC 2015: 101-116 - [p5]Federico Chesani, Catherine G. Enright, Marco Montali, Michael G. Madden:
Monitoring in the Healthcare Setting. Foundations of Biomedical Knowledge Representation 2015: 71-80 - [p4]Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali:
Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes. Foundations of Biomedical Knowledge Representation 2015: 81-106 - 2014
- [c44]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: 38-41 - [c43]Marco Gavanelli, Michela Milano, Stefano Bragaglia, Federico Chesani, Elisa Marengo, Paolo Cagnoli:
Multi-Criteria Optimal Planning for Energy Policies in CLP. CILC 2014: 54-68 - [i2]Marco Gavanelli, Stefano Bragaglia, Michela Milano, Federico Chesani, Elisa Marengo, Paolo Cagnoli:
Multi-Criteria Optimal Planning for Energy Policies in CLP. CoRR abs/1405.3824 (2014) - 2013
- [j17]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Representing and monitoring social commitments using the event calculus. Auton. Agents Multi Agent Syst. 27(1): 85-130 (2013) - [j16]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): 17:1-17:30 (2013) - [c42]Luca Cattelani, Pierpaolo Palumbo, Federico Chesani, Luca Palmerini, Lorenzo Chiari:
LPAD-based Fall Risk Assessment. PAI@AI*IA 2013: 15-20 - [c41]Marco Montali, Federico Chesani, Paola Mello, Fabrizio Maria Maggi:
Towards data-aware constraints in declare. SAC 2013: 1391-1396 - [e2]Matteo Baldoni, Federico Chesani, Paola Mello, Marco Montali:
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. CEUR Workshop Proceedings 1107, CEUR-WS.org 2013 [contents] - 2012
- [c40]Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Reactive Event Calculus for Monitoring Global Computing Applications. Logic Programs, Norms and Action 2012: 123-146 - [c39]Stefano Bragaglia, Federico Chesani, Paola Mello, Davide Sottara:
A Rule-Based Calculus and Processing of Complex Events. RuleML 2012: 151-166 - [e1]Matteo Baldoni, Federico Chesani, Bernardo Magnini, Paola Mello, Marco Montali:
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. CEUR Workshop Proceedings 860, CEUR-WS.org 2012 [contents] - 2011
- [j15]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Monitoring Time-Aware Commitments within Agent-Based Simulation Environments. Cybern. Syst. 42(7): 546-566 (2011) - [j14]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): 101-105 (2011) - [j13]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): 1-25 (2011) - [c38]Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Davide Sottara:
Fuzzy Conformance Checking of Observed Behaviour with Expectations. AI*IA 2011: 80-91 - [c37]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: 200-211 - [c36]Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali:
A Retrospective on the Reactive Event Calculus and Commitment Modeling Language. DALT 2011: 120-127 - [c35]Stefano Bragaglia, Federico Chesani, Emory Fry, Paola Mello, Marco Montali, Davide Sottara:
Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems. RuleML America 2011: 267-281 - 2010
- [j12]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): 325-361 (2010) - [j11]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
A Logic-Based, Reactive Calculus of Events. Fundam. Informaticae 105(1-2): 135-161 (2010) - [j10]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): 165-190 (2010) - [j9]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): 3:1-3:62 (2010) - [c34]Özgür Kafali, Federico Chesani, Paolo Torroni:
What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior. CLIMA 2010: 82-98 - [c33]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: 438-445 - [c32]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Declarative Technologies for Open Agent Systems and Beyond. KES-AMSTA (1) 2010: 1-5 - [c31]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Role Monitoring in Open Agent Societies. KES-AMSTA (1) 2010: 112-121 - [c30]Stefano Bragaglia, Federico Chesani, Paola Mello, Davide Sottara:
A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules. RR 2010: 227-230 - [c29]Stefano Bragaglia, Federico Chesani, Paola Mello, Davide Sottara:
A Rule-Based Implementation of Fuzzy Tableau Reasoning. RuleML 2010: 35-49
2000 – 2009
- 2009
- [j8]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: 278-295 (2009) - [c28]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: 76-87 - [c27]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: 91-95 - [c26]Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali:
Social Commitments in Time: Satisfied or Compensated. DALT 2009: 228-243 - [c25]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: 254-261 - [c24]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Commitment Tracking via the Reactive Event Calculus. IJCAI 2009: 91-96 - [c23]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Verifying A-Priori the Composition of Declarative Specified Services. MALLOW 2009 - [p3]Paolo Torroni, Pinar Yolum, Munindar P. Singh, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
Modelling Interactions via Commitments and Expectations. Handbook of Research on Multi-Agent Systems 2009: 263-284 - [p2]Paolo Torroni, Marco Gavanelli, Federico Chesani:
Arguing on the Semantic Grid. Argumentation in Artificial Intelligence 2009: 423-441 - 2008
- [j7]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): 9-38 (2008) - [j6]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): 29:1-29:43 (2008) - [c22]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Modeling and Verification of Business Processes and Choreographies in ALP. Il Milione 2008 - [c21]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: 134-145 - [c20]Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
Verification from Declarative Specifications Using Logic Programming. ICLP 2008: 440-454 - [c19]Federico Chesani, Anna Ciampolini, Paola Mello:
E-learning by Doing with Computational Logic. Knowledge Construction in E-learning Context 2008 - [c18]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting. SWAP 2008 - [c17]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Verification of Choreographies During Execution Using the Reactive Event Calculus. WS-FM 2008: 55-72 - [p1]Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paola Baldazzi, Marilena Manfredi:
Compliance Checking of Cancer-Screening CareFlows: an Approach based on Computational Logic. Computer-based Medical Guidelines and Protocols 2008: 183-192 - 2007
- [b1]Federico Chesani:
Specification, execution and verification of interaction protocols: an approach based on computational logic. University of Bologna, Italy, 2007 - [j5]Paolo Torroni, Marco Gavanelli, Federico Chesani:
Argumentation in the Semantic Web. IEEE Intell. Syst. 22(6): 66-74 (2007) - [j4]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) - [c16]Federico Chesani, Paola Mello, Marco Montali, Sergio Storari:
Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic. AIME 2007: 479-488 - [c15]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
Web Service Contracting: Specification and Reasoning with SCIFF. ESWC 2007: 68-83 - [c14]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: 279-288 - [i1]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 - 2006
- [j3]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): 133-157 (2006) - [c13]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
A Verifiable Logic-Based Agent Architecture. ISMIS 2006: 188-197 - [c12]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: 338-343 - [c11]Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali:
An abductive framework for a-priori verification of web services. PPDP 2006: 39-50 - [c10]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
Policy-based Reasoning for Smart Web Service Interaction. SWAP 2006 - [c9]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni:
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool. WS-FM 2006: 58-72 - 2005
- [j2]Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, Paolo Torroni:
Expressing interaction in combinatorial auction through social integrity constraints. Intelligenza Artificiale 2(1): 22-29 (2005) - [j1]Marco Alberti, Federico Chesani:
The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system. Intelligenza Artificiale 2(3): 45-51 (2005) - [c8]Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni:
Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). CLIMA 2005: 243-264 - [c7]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Security Protocols Verification in Abductive Logic Programming: A Case Study. ESAW 2005: 106-124 - [c6]Federico Chesani:
Formalization and Verification of Interaction Protocols. ICLP 2005: 437-438 - [c5]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: 53-64 - [c4]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: 111-122 - [c3]Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari:
Protocol Specification and Verification by Using Computational Logic. WOA 2005: 184-192 - 2004
- [c2]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. Global Computing 2004: 314-339 - [c1]Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni:
A Logic based Approach to Interaction Design in Open Multi-Agent Systems. WETICE 2004: 387-392
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-30 20:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint