Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 111
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 -
Mostrati risultati da 1 a 20 di 111
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