Sfoglia per Autore
A Personalization Service for Curriculum Planning
2006-01-01 M. BALDONI; C. BAROGLIO; I. BRUNKHORST; N. HENZE; E. MARENGO; V. PATTI
Declarative representation of curricula models: an LTL- and UML-based approach
2007-01-01 M. BALDONI; C. BAROGLIO; G. BERIO; E. MARENGO
A Service-Oriented Approach for Curriculum Planning and Validation
2007-01-01 M. BALDONI; C. BAROGLIO; I. BRUNKHORST; 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
Reasoning-based Curriculum Sequencing and Validation: integration in a Service-Oriented Architecture
2007-01-01 M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI
Curriculum Model Checking: Declarative Representation and Verification of Properties
2007-01-01 M. BALDONI; E. MARENGO
Curricula Modeling and Checking
2007-01-01 M. BALDONI; C. BAROGLIO; E. MARENGO
Joint Achievement of Services' Personal Goals
2009-01-01 M. BALDONI; C. BAROGLIO; E. MARENGO; V. PATTI; C. SCHIFANELLA
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems
2010-01-01 M. Baldoni; C. Baroglio; F. Bergenti; A. Boccalatte; E. Marengo; M. Martelli; V. Mascardi; L. Padovani; V. Patti; A. Ricci; G. Rossi; A. Santi
Validazione e pianificazione automatica di percorsi formativi
2010-01-01 M. BALDONI; E. MARENGO
Constraints among Commitments: Regulative Specification of Interaction Protocols
2010-01-01 M. BALDONI; C. BAROGLIO; E. MARENGO
Behavior-oriented Commitment-based Protocols
2010-01-01 M. Baldoni; C. Baroglio; E. Marengo
MERCURIO: An interaction-oriented framework for designing, verifying and programming multi-agent systems (position paper)
2010-01-01 Baldoni, Matteo; Baroglio, Cristina; Bergenti, Federico; Boccalatte, Antonio; Marengo, Elisa; Martelli, Maurizio; Mascardi, Viviana; Padovani, Luca; Patti, Viviana; Ricci, Alessandro; Rossi, Gianfranco; Santi, Andrea
Learn the rules so you know how to break them properly
2011-01-01 M. Baldoni; C. Baroglio; E. Marengo; V. Patti; F. Capuzzimati
Grafting Regulations into Business Protocols: Supporting the Analysis of Risks of Violation
2011-01-01 M. Baldoni; C. Baroglio; E. Marengo; V. Patti
Constraint Modeling for Curriculum Planning and Validation
2011-01-01 M. BALDONI; C. BAROGLIO; I. BRUNKHORST; N. HENZE; E. MARENGO; V. PATTI
On Temporal Regulations and Commitment Protocols
2011-01-01 E. Marengo; M. Baldoni; C. Baroglio
Models of Agent Interaction based on Modal Logics
2011-01-01 BALDONI M.; BAROGLIO C.; MARENGO E.; PATTI V.; SCHIFANELLA C.
Back to the Future: an Interaction-oriented Framework for Social Computing
2011-01-01 M. Baldoni; C. Baroglio; E. Marengo; V. Patti; A. Ricci
Extend Commitment Protocols with Temporal Regulations: Why and How
2011-01-01 E. Marengo; M. Baldoni; C. Baroglio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Personalization Service for Curriculum Planning | 2006 | M. BALDONI; C. BAROGLIO; I. BRUNKHORST; N. HENZE; E. MARENGO; V. PATTI | |
Declarative representation of curricula models: an LTL- and UML-based approach | 2007 | M. BALDONI; C. BAROGLIO; G. BERIO; E. MARENGO | |
A Service-Oriented Approach for Curriculum Planning and Validation | 2007 | M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI | |
A Personalization Web Service for Curricula Planning and Validation | 2007 | M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI | |
Reasoning-based Curriculum Sequencing and Validation: integration in a Service-Oriented Architecture | 2007 | M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI | |
Curriculum Model Checking: Declarative Representation and Verification of Properties | 2007 | M. BALDONI; E. MARENGO | |
Curricula Modeling and Checking | 2007 | M. BALDONI; C. BAROGLIO; E. MARENGO | |
Joint Achievement of Services' Personal Goals | 2009 | M. BALDONI; C. BAROGLIO; E. MARENGO; V. PATTI; C. SCHIFANELLA | |
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems | 2010 | M. Baldoni; C. Baroglio; F. Bergenti; A. Boccalatte; E. Marengo; M. Martelli; V. Mascardi; L. Padovani; V. Patti; A. Ricci; G. Rossi; A. Santi | |
Validazione e pianificazione automatica di percorsi formativi | 2010 | M. BALDONI; E. MARENGO | |
Constraints among Commitments: Regulative Specification of Interaction Protocols | 2010 | M. BALDONI; C. BAROGLIO; E. MARENGO | |
Behavior-oriented Commitment-based Protocols | 2010 | M. Baldoni; C. Baroglio; E. Marengo | |
MERCURIO: An interaction-oriented framework for designing, verifying and programming multi-agent systems (position paper) | 2010 | Baldoni, Matteo; Baroglio, Cristina; Bergenti, Federico; Boccalatte, Antonio; Marengo, Elisa; Martelli, Maurizio; Mascardi, Viviana; Padovani, Luca; Patti, Viviana; Ricci, Alessandro; Rossi, Gianfranco; Santi, Andrea | |
Learn the rules so you know how to break them properly | 2011 | M. Baldoni; C. Baroglio; E. Marengo; V. Patti; F. Capuzzimati | |
Grafting Regulations into Business Protocols: Supporting the Analysis of Risks of Violation | 2011 | M. Baldoni; C. Baroglio; E. Marengo; V. Patti | |
Constraint Modeling for Curriculum Planning and Validation | 2011 | M. BALDONI; C. BAROGLIO; I. BRUNKHORST; N. HENZE; E. MARENGO; V. PATTI | |
On Temporal Regulations and Commitment Protocols | 2011 | E. Marengo; M. Baldoni; C. Baroglio | |
Models of Agent Interaction based on Modal Logics | 2011 | BALDONI M.; BAROGLIO C.; MARENGO E.; PATTI V.; SCHIFANELLA C. | |
Back to the Future: an Interaction-oriented Framework for Social Computing | 2011 | M. Baldoni; C. Baroglio; E. Marengo; V. Patti; A. Ricci | |
Extend Commitment Protocols with Temporal Regulations: Why and How | 2011 | E. Marengo; M. Baldoni; C. Baroglio |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile