BALDONI, Matteo
BALDONI, Matteo
INFORMATICA
2COMM: a commitment-based MAS architecture
2013-01-01 Matteo Baldoni; Cristina Baroglio; Federico Capuzzimati
A Focus on Robustness with ARFIN organizations
2019-01-01 Matteo Baldoni, Cristina Baroglio, Roberto Micalizio, Stefano Tedeschi
A formal framework for handling audiovisual materials
2004-01-01 BALDONI M.; BAROGLIO C.; BERTOLOTTI P.; DEL PERO R.; MARTELLI A.; MESSINA M.; SACCO G.; SCHIFANELLA C.
A Framework for Modal Logic Programming
1996-01-01 M. Baldoni; L. Giordano; A. Martelli
A Generalized Commitment Machine for 2CL Protocols and its Implementation
2012-01-01 M. Baldoni; C. Baroglio; F. Capuzzimati; E. Marengo; V. Patti
A generalized commitment machine for 2CL protocols and its prolog implementation
2012-01-01 Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico; Marengo, Elisa; Patti, Viviana
A Middleware for Modeling Organizations and Roles in Jade
2009-01-01 M. BALDONI; G. BOELLA; V. GENOVESE; A. MUGANINI; R. GRENNA; L. VAN DER TORRE
A Modal Extention of Logic Programming
1994-01-01 M. Baldoni; L. Giordano; A. Martelli
A Modal Programming Language for Representing Complex Actions
1998-01-01 M. Baldoni; L. Giordano; A. Martelli; V. Patti
A Multimodal Logic to define Modules in Logic Programming
1993-01-01 M. Baldoni; L. Giordano; A. Martelli
A Personalization Service for Curriculum Planning
2006-01-01 M. BALDONI; C. BAROGLIO; I. BRUNKHORST; N. HENZE; E. MARENGO; V. PATTI
A Personalization Web Service for Curricula Planning and Validation
2007-01-01 M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI
A priori conformance verification for guaranteeing interoperability in open environments
2006-01-01 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI
A Service-Oriented Approach for Curriculum Planning and Validation
2007-01-01 M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI
A Tableau Calculus for Multimodal Logics and some (Un)Decidability Results
1998-01-01 M. Baldoni; L. Giordano; A. Martelli
Accountability and Agents for Engineering Business Processes
2019-01-01 Baldoni, Matteo; Baroglio, Cristina; Boissier, Olivier; Micalizio, Roberto; Tedeschi, Stefano
Accountability and Multiagent Organizations: From Concepts to Sotware Engineering
2021-01-01 Matteo Baldoni, Cristina Baroglio, Roberto Micalizio
Accountability and Responsibility in Agent Organizations
2018-01-01 Baldoni Matteo, Baroglio Cristina, Boissier Olivier, May Katherine Marie, Micalizio Roberto, Tedeschi Stefano
Accountability and Responsibility in Business Processes via Agent Technology
2018-01-01 Baldoni Matteo, Baroglio Cristina, Micalizio Roberto, Tedeschi Stefano
Accountability and Responsibility in Multiagent Organizations for Engineering Business Processes
2020-01-01 Matteo Baldoni, Cristina Baroglio, Olivier Boissier, Roberto Micalizio, Stefano Tedeschi
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 2COMM: a commitment-based MAS architecture | 2013 | Matteo Baldoni; Cristina Baroglio; Federico Capuzzimati | |
| A Focus on Robustness with ARFIN organizations | 2019 | Matteo Baldoni, Cristina Baroglio, Roberto Micalizio, Stefano Tedeschi | |
| A formal framework for handling audiovisual materials | 2004 | BALDONI M.; BAROGLIO C.; BERTOLOTTI P.; DEL PERO R.; MARTELLI A.; MESSINA M.; SACCO G.; SCHIFANELLA C. | |
| A Framework for Modal Logic Programming | 1996 | M. Baldoni; L. Giordano; A. Martelli | |
| A Generalized Commitment Machine for 2CL Protocols and its Implementation | 2012 | M. Baldoni; C. Baroglio; F. Capuzzimati; E. Marengo; V. Patti | |
| A generalized commitment machine for 2CL protocols and its prolog implementation | 2012 | Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico; Marengo, Elisa; Patti, Viviana | |
| A Middleware for Modeling Organizations and Roles in Jade | 2009 | M. BALDONI; G. BOELLA; V. GENOVESE; A. MUGANINI; R. GRENNA; L. VAN DER TORRE | |
| A Modal Extention of Logic Programming | 1994 | M. Baldoni; L. Giordano; A. Martelli | |
| A Modal Programming Language for Representing Complex Actions | 1998 | M. Baldoni; L. Giordano; A. Martelli; V. Patti | |
| A Multimodal Logic to define Modules in Logic Programming | 1993 | M. Baldoni; L. Giordano; A. Martelli | |
| A Personalization Service for Curriculum Planning | 2006 | M. BALDONI; C. BAROGLIO; I. BRUNKHORST; N. HENZE; E. MARENGO; V. PATTI | |
| A Personalization Web Service for Curricula Planning and Validation | 2007 | M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI | |
| A priori conformance verification for guaranteeing interoperability in open environments | 2006 | M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI | |
| A Service-Oriented Approach for Curriculum Planning and Validation | 2007 | M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI | |
| A Tableau Calculus for Multimodal Logics and some (Un)Decidability Results | 1998 | M. Baldoni; L. Giordano; A. Martelli | |
| Accountability and Agents for Engineering Business Processes | 2019 | Baldoni, Matteo; Baroglio, Cristina; Boissier, Olivier; Micalizio, Roberto; Tedeschi, Stefano | |
| Accountability and Multiagent Organizations: From Concepts to Sotware Engineering | 2021 | Matteo Baldoni, Cristina Baroglio, Roberto Micalizio | |
| Accountability and Responsibility in Agent Organizations | 2018 | Baldoni Matteo, Baroglio Cristina, Boissier Olivier, May Katherine Marie, Micalizio Roberto, Tedeschi Stefano | |
| Accountability and Responsibility in Business Processes via Agent Technology | 2018 | Baldoni Matteo, Baroglio Cristina, Micalizio Roberto, Tedeschi Stefano | |
| Accountability and Responsibility in Multiagent Organizations for Engineering Business Processes | 2020 | Matteo Baldoni, Cristina Baroglio, Olivier Boissier, Roberto Micalizio, Stefano Tedeschi |