Sfoglia per Autore
Mostrati risultati da 1 a 3 di 3
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
Expressing interaction in combinatorial auction through social integrity constraints
file con accesso da definire2005 Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Guerri, Alessio; Lamma, Evelina; Milano, Michela; Torroni, Paolo
Verification from declarative specifications using logic programming
file con accesso da definire2009 Montali, Marco; Torroni, Paolo; Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 |
Expressing interaction in combinatorial auction through social integrity constraints | 2005 | Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Guerri, Alessio; Lamma, Evelina; Milano, Mic...hela; Torroni, Paolo | file con accesso da definire |
Verification from declarative specifications using logic programming | 2009 | Montali, Marco; Torroni, Paolo; Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Eveli...na; Mello, Paola | file con accesso da definire |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile