CRIS Current Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 164
Titolo Autore(i) Anno Periodico Editore Tipo File
ALIAS: The Abductive LogIc AgentS architecture Ciampolini A.; Lamma E.; Mello P.; Torroni P.; Bellavia G. 2004-01-01 - - 7.04 Software -
Integration of medical services in the MeSSyCo agent system (demo session). Ciampolini A.; Mello P.; Storari S. 2004-01-01 - ACM 4.01 Contributo in Atti di convegno -
Modeling interactions using social integrity constraints: a resource sharing case study ALBERTI M.; GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P. 2004-01-01 - - 4.01 Contributo in Atti di convegno -
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 -
A System for Measuring Function Points from an ER-DFD Specification E. LAMMA; MELLO P.; F. RIGUZZI 2004-01-01 COMPUTER JOURNAL - 1.01 Articolo in rivista -
Towards a Mapping of Deontic Logic onto an Abductive Framework alberti marco; gavanelli marco; lamma evelina; mello paola; sartor giovanni; torroni paolo 2004-01-01 - Morlacchi Editore 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 -
A multi-agent system for medical services synergy and coordination. A. Ciampolini; P. Mello; S. Storari. 2004-01-01 - s.n 4.01 Contributo in Atti di convegno -
An Abductive Framework for Information Exchange in Multi-Agent systems GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P. 2004-01-01 - - 4.01 Contributo in Atti di convegno -
Specification and Verification of Agent Interaction Protocols in a Logic-based System M. ALBERTI; D. DAOLIO; M. GAVANELLI; E. LAMMA; P. MELLO; P. TORRONI 2004-01-01 - s.n 4.01 Contributo in Atti di convegno -
Learning the Dose Adjustment for the Oral Anticoagulation Treatment G. Gamberoni; E. Lamma; P. Mello; P. Pavesi; S. Storari 2004-01-01 - - 4.01 Contributo in Atti di convegno -
Abduction with Hypothesis Confirmation Alberti Marco; Gavanelli Marco; Lamma Evelina; Mello Paola; Torroni Paolo 2004-01-01 - Dipartimento di Matematica, Università di Parma 4.01 Contributo in Atti di convegno -
Un sistema basato sulla conoscenza per la terapia anticoagulante orale Barbieri B.; Gamberoni G.; Lamma E.; Mello P.; Pavesi P.C.; Storari S.; Trocino G. 2004-01-01 INTELLIGENZA ARTIFICIALE - 1.01 Articolo in rivista -
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 -
The SCIFF Abductive Proof Procedure M. Alberti; M. Gavanelli; E. Lamma; P. Mello; P.Torroni 2005-01-01 - - 7.04 Software -
The SCIFF abductive proof-procedure M. Alberti; M. Gavanelli; E. Lamma; P. Mello; P. Torroni 2005-01-01 - - 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 -
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 -
Mostrati risultati da 1 a 20 di 164
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