Sfoglia per Autore
A Logic based Approach to Interaction Design in Open Multi-Agent Systems
2004 ALBERTI M.; GAVANELLI M.; LAMMA E.; CHESANI F.; MELLO P.; TORRONI P.
Compliance Verification of Agent Interaction: a Logic-Based Tool
2004 M. ALBERTI; F. CHESANI; M. GAVANELLI; E. LAMMA; MELLO P.; P. TORRONI
Expressing Interaction in Combinatorial Auction through Social Integrality Constraints
2004 M. Alberti; F. Chesani; M. Gavanelli; A. Guerri; E. Lamma; P. Mello; M. Milano; P. Torroni
SOCS-SI: The SOCS Social Infrastructure
2005 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; P. Torroni
Expressing Interaction in Combinatorial Auctions Through Social Integrity Constraints
2005 M. Alberti; F. Chesani; M. Gavanelli; A. Guerri; E. Lamma; P. Mello; M. Milano; P. Torroni
Applicazione dei vincoli di integrità sociali come strumento dispecifica delle interazioni in aste combinatorie
2005 M. Alberti; F. Chesani; M. Gavanelli; A. Guerri; E. Lamma; P. Mello; P. Torroni
Protocol Specification and Verification by Using Computational Logic
2005 M. Alberti; A. Ciampolini; F. Chesani; P. Mello; M. Montali; S. Storari; P. Torroni
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies
2005 ALBERTI M.; CHESANI F.; GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P.
Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool
2006 M. ALBERTI; F. CHESANI; M. GAVANELLI; E. LAMMA; P. MELLO; M. MONTALI; S. STORARI; P. TORRONI
An Abductive Framework for A-Priori Verification of Web Services
2006 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali
A Verifiable Logic-Based Agent Architecture.
2006 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello
Specification and verification of agent interaction using Abductive Reasoning
2006 Federico Chesani; Marco Gavanelli; Marco Alberti; Evelina Lamma; Paola Mello; Paolo Torroni
A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening.
2006 F. Chesani; P. De Matteis; P. Mello; M. Montali; S. Storari
Compliance Verification of Agent Interaction: a Logic-Based Software Tool
2006 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; P. Torroni
Security protocols verification in abductive logic programming: a case study.
2006 Marco Alberti; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni
Policy-based reasoning for smart web service interaction
2006 M. Alberti; F. Chesani; E. Lamma; M. Gavanelli; P. Mello; M. Montali; P. Torroni
Policy-based reasoning for smart web service interaction.
2006 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni
Testing guidelines conformance by translating a graphical language to computational logic.
2006 F. Chesani; A. Ciampolini; P. Mello; M. Montali; S. Storari
Abduction for Specifying and Verifying Web Service Choreographies.
2006 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari
A-priori verification of web services with abduction.
2006 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
A Logic based Approach to Interaction Design in Open Multi-Agent Systems | ALBERTI M.; GAVANELLI M.; LAMMA E.; CHESANI F.; MELLO P.; TORRONI P. | 2004-01-01 | - | IEEE Press | 4.01 Contributo in Atti di convegno | - |
Compliance Verification of Agent Interaction: a Logic-Based Tool | M. ALBERTI; F. CHESANI; M. GAVANELLI; E. LAMMA; MELLO P.; P. TORRONI | 2004-01-01 | - | Austrian Society for Cybernetic. | 4.01 Contributo in Atti di convegno | - |
Expressing Interaction in Combinatorial Auction through Social Integrality Constraints | M. Alberti; F. Chesani; M. Gavanelli; A. Guerri; E. Lamma; P. Mello; M. Milano; P. Torroni | 2004-01-01 | - | Morlacchi Editore | 4.01 Contributo in Atti di convegno | - |
SOCS-SI: The SOCS Social Infrastructure | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; P. Torroni | 2005-01-01 | - | - | 7.04 Software | - |
Expressing Interaction in Combinatorial Auctions Through Social Integrity Constraints | M. Alberti; F. Chesani; M. Gavanelli; A. Guerri; E. Lamma; P. Mello; M. Milano; P. Torroni | 2005-01-01 | - | University of Ulm | 4.01 Contributo in Atti di convegno | - |
Applicazione dei vincoli di integrità sociali come strumento dispecifica delle interazioni in aste combinatorie | M. Alberti; F. Chesani; M. Gavanelli; A. Guerri; E. Lamma; P. Mello; P. Torroni | 2005-01-01 | INTELLIGENZA ARTIFICIALE | - | 1.01 Articolo in rivista | - |
Protocol Specification and Verification by Using Computational Logic | M. Alberti; A. Ciampolini; F. Chesani; P. Mello; M. Montali; S. Storari; P. Torroni | 2005-01-01 | - | Pitagora Editrice | 4.01 Contributo in Atti di convegno | - |
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies | ALBERTI M.; CHESANI F.; GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P. | 2005-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool | M. ALBERTI; F. CHESANI; M. GAVANELLI; E. LAMMA; P. MELLO; M. MONTALI; S. STORARI; P. TORRONI | 2006-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
An Abductive Framework for A-Priori Verification of Web Services | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali | 2006-01-01 | - | ACM Press | 4.01 Contributo in Atti di convegno | - |
A Verifiable Logic-Based Agent Architecture. | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello | 2006-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
Specification and verification of agent interaction using Abductive Reasoning | Federico Chesani; Marco Gavanelli; Marco Alberti; Evelina Lamma; Paola Mello; Paolo Torroni | 2006-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. | F. Chesani; P. De Matteis; P. Mello; M. Montali; S. Storari | 2006-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
Compliance Verification of Agent Interaction: a Logic-Based Software Tool | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; P. Torroni | 2006-01-01 | APPLIED ARTIFICIAL INTELLIGENCE | - | 1.01 Articolo in rivista | - |
Security protocols verification in abductive logic programming: a case study. | Marco Alberti; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni | 2006-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
Policy-based reasoning for smart web service interaction | M. Alberti; F. Chesani; E. Lamma; M. Gavanelli; P. Mello; M. Montali; P. Torroni | 2006-01-01 | - | CEUR Workshop Proceedings (CEUR-WS.org) | 4.01 Contributo in Atti di convegno | - |
Policy-based reasoning for smart web service interaction. | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni | 2006-01-01 | - | CEUR Workshop Proceedings (CEUR-WS.org) | 4.01 Contributo in Atti di convegno | - |
Testing guidelines conformance by translating a graphical language to computational logic. | F. Chesani; A. Ciampolini; P. Mello; M. Montali; S. Storari | 2006-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
Abduction for Specifying and Verifying Web Service Choreographies. | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari | 2006-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
A-priori verification of web services with abduction. | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali | 2006-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
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