Sfoglia per Autore
Belief revision via Lamarckian evolution
file con accesso da definire2002 Lamma, Evelina; Riguzzi, Fabrizio; Pereira, L. M.
A Proof System for the Safe Execution of Tasks in Multi-Agent Systems
file con accesso da definire2002 Ciampolini, A.; Lamma, Evelina; Mello, P.; Torroni, P.
Coordinating the safe execution of tasks in a constrained multi-agent system
file con accesso da definire2002 Ciampolini, Anna; Mello, Paola; Torroni, Paolo; Lamma, Evelina
Synthesis of Object Models from Partial Models: a CSP Perspective
file con accesso da definire2002 Alberti, Marco; Lamma, Evelina
An intelligent medical system for microbiological data validation and nosocomial infection surveillance
file con accesso da definire2002 Lamma, Evelina; Modestino, G.; Riguzzi, Fabrizio; Storari, Sergio; Mello, Paola; Nanetti, A.
Exploiting constraints for domain managing in CLP(FD)
file con accesso da definire2002 Gavanelli, Marco; Lamma, Evelina; Mello, P.; Milano, M.
Interpreting abduction in CLP
file con accesso da definire2003 Gavanelli, Marco; Lamma, Evelina; Mello, P.; Milano, M.; Torroni, P.
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
file con accesso da definire2003 Ciampolini, A.; Lamma, Evelina; Mello, P.; Toni, F.; Torroni, P.
A Social ACL Semantics by Deontic Constraints
file con accesso da definire2003 Alberti, Marco; Ciampolini, A; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P.
Belief revision via Lamarckian evolution
file con accesso da definire2003 Lamma, Evelina; Riguzzi, Fabrizio; Pereira, L. M.
Improving the SLA algorithm using Association rules
file con accesso da definire2003 Lamma, Evelina; Riguzzi, Fabrizio; Stambazzi, A.; Storari, S.
Validation of biochemical laboratory results using the DNSev expert system
file con accesso da definire2003 Storari, S.; Lamma, E.; Mancini, R.; Mello, P.; Motta, R.; Patrono, D.; Canova, G.
Discovering Validation Rules from Microbiological Data
file con accesso da definire2003 Lamma, Evelina; Riguzzi, Fabrizio; Storari, Sergio; Mello, P.; Nanetti, A.
Learning the dose adjustment for the oral anticoagulation treatment
file con accesso da definire2004 Gamberoni, Giacomo; Lamma, Evelina; Mello, P; Pavesi, P; Storari, Sergio; Trocino, G.
SPECIFICATION AND VERIFICATION OF AGENT INTERACTIONS USING SOCIAL INTEGRITY CONSTRAINTS
file con accesso da definire2004 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P.; Torroni, P.
Improving the K2 Algorithm Using Association Rules Parameters
file con accesso da definire2004 Lamma, Evelina; Riguzzi, Fabrizio; Storari, Sergio
Exploiting supervised and unsupervised learning techniques for profiling cancer data
file con accesso da definire2004 Gamberoni, Giacomo; Lamma, Evelina; Storari, Sergio; Arcelli, Diego; Francioso, Francesca; Volinia, Stefano
Un sistema basato sulla conoscenza per la terapia anticoagulante orale
file con accesso da definire2004 Barbieri, B; Gamberoni, Giacomo; Lamma, Evelina; Mello, P; Pavesi, P; Storari, Sergio
Specification and verification of agent interaction protocols in a logic-based system
file con accesso da definire2004 Alberti, Marco; Daolio, D.; Torroni, P.; Gavanelli, Marco; Lamma, Evelina; Mello, P.
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 |
Legenda icone
- file ad accesso aperto
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile