Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 237
Titolo Data di pubblicazione Autore(i) File
Belief revision via Lamarckian evolution 2002 Lamma, Evelina; Riguzzi, Fabrizio; Pereira, L. M. file con accesso da definire
A Proof System for the Safe Execution of Tasks in Multi-Agent Systems 2002 Ciampolini, A.; Lamma, Evelina; Mello, P.; Torroni, P. file con accesso da definire
Coordinating the safe execution of tasks in a constrained multi-agent system 2002 Ciampolini, Anna; Mello, Paola; Torroni, Paolo; Lamma, Evelina file con accesso da definire
Synthesis of Object Models from Partial Models: a CSP Perspective 2002 Alberti, Marco; Lamma, Evelina file con accesso da definire
An intelligent medical system for microbiological data validation and nosocomial infection surveillance 2002 Lamma, Evelina; Modestino, G.; Riguzzi, Fabrizio; Storari, Sergio; Mello, Paola; Nanetti, A. file con accesso da definire
Exploiting constraints for domain managing in CLP(FD) 2002 Gavanelli, Marco; Lamma, Evelina; Mello, P.; Milano, M. file con accesso da definire
Interpreting abduction in CLP 2003 Gavanelli, Marco; Lamma, Evelina; Mello, P.; Milano, M.; Torroni, P. file con accesso da definire
An Abductive Interpretation for Open Agent Societies 2003 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P.
Co-operation and competition in ALIAS: a logic framework for agents that Negotiate 2003 Ciampolini, A.; Lamma, Evelina; Mello, P.; Toni, F.; Torroni, P. file con accesso da definire
A Social ACL Semantics by Deontic Constraints 2003 Alberti, Marco; Ciampolini, A; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
Belief revision via Lamarckian evolution 2003 Lamma, Evelina; Riguzzi, Fabrizio; Pereira, L. M. file con accesso da definire
Improving the SLA algorithm using Association rules 2003 Lamma, Evelina; Riguzzi, Fabrizio; Stambazzi, A.; Storari, S. file con accesso da definire
Validation of biochemical laboratory results using the DNSev expert system 2003 Storari, S.; Lamma, E.; Mancini, R.; Mello, P.; Motta, R.; Patrono, D.; Canova, G. file con accesso da definire
Discovering Validation Rules from Microbiological Data 2003 Lamma, Evelina; Riguzzi, Fabrizio; Storari, Sergio; Mello, P.; Nanetti, A. file con accesso da definire
Learning the dose adjustment for the oral anticoagulation treatment 2004 Gamberoni, Giacomo; Lamma, Evelina; Mello, P; Pavesi, P; Storari, Sergio; Trocino, G. file con accesso da definire
SPECIFICATION AND VERIFICATION OF AGENT INTERACTIONS USING SOCIAL INTEGRITY CONSTRAINTS 2004 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P.; Torroni, P. file con accesso da definire
Improving the K2 Algorithm Using Association Rules Parameters 2004 Lamma, Evelina; Riguzzi, Fabrizio; Storari, Sergio file con accesso da definire
Exploiting supervised and unsupervised learning techniques for profiling cancer data 2004 Gamberoni, Giacomo; Lamma, Evelina; Storari, Sergio; Arcelli, Diego; Francioso, Francesca; Volini...a, Stefano file con accesso da definire
Un sistema basato sulla conoscenza per la terapia anticoagulante orale 2004 Barbieri, B; Gamberoni, Giacomo; Lamma, Evelina; Mello, P; Pavesi, P; Storari, Sergio file con accesso da definire
Specification and verification of agent interaction protocols in a logic-based system 2004 Alberti, Marco; Daolio, D.; Torroni, P.; Gavanelli, Marco; Lamma, Evelina; Mello, P. file con accesso da definire
Mostrati risultati da 41 a 60 di 237
Legenda icone

  •  file ad accesso aperto
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile