Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 164
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 -
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 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 -
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 -
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 -
An Expert System for the Oral Anticoagulation Treatment B. Barbieri; G. Gamberoni; E. Lamma; P. Mello; P. Pavesi; S. Storari 2005-01-01 - - 4.01 Contributo in Atti di convegno -
The SCIFF Abductive Proof Procedure M. Alberti; M. Gavanelli; E. Lamma; P. Mello; P.Torroni 2005-01-01 - - 7.04 Software -
Dealing with incomplete knowledge on CLP(FD) variable Domains M. GAVANELLI; E. LAMMA; MELLO P.; M. MILANO 2005-01-01 ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS - 1.01 Articolo in rivista -
Abduction with hypotheses confirmation M. Alberti; M. Gavanelli; E. Lamma; P. Mello; P. Torroni 2005-01-01 - Morgan Kaufmann 4.02 Riassunto (Abstract) -
Mapping Deontic Operators to Abductive Expectations M. Alberti; M. Gavanelli; E. Lamma; P. Mello; G. Sartor; P. Torroni 2005-01-01 - AISB 4.01 Contributo in Atti di convegno -
A CHR-based implementation of known arc-consistency M. Alberti; M. Gavanelli; E. Lamma; P. Mello; M. Milano 2005-01-01 THEORY AND PRACTICE OF LOGIC PROGRAMMING - 1.01 Articolo in rivista -
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