TORRONI, PAOLO
TORRONI, PAOLO
Dipartimento di Ingegneria (attivo dal 01/01/1997 al 30/09/2012)
An Implementation for Abductive LogIc Agents
file con accesso da definire2000 Ciampolini, A; Lamma, E; Mello, P; Stefanelli, C; 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
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
Mapping Deontic Operators to Abductive Expectations
file con accesso da definire2006 Alberti, M.; Gavanelli, M.; Lamma, E.; Mello, P.; Sartor, G.; Torroni, P.
Specification and verification of agent interaction protocols in a logic-based system
file con accesso da definire2007 Alberti, M.; Chesani, F.; Daolio, D.; Gavanelli, M.; Lamma, E.; Mello, P.; Torroni, P.
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 |
|---|---|---|---|
| An Implementation for Abductive LogIc Agents | 2000 | Ciampolini, A; Lamma, E; Mello, P; Stefanelli, C; 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 |
| 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 |
| Mapping Deontic Operators to Abductive Expectations | 2006 | Alberti, M.; Gavanelli, M.; Lamma, E.; Mello, P.; Sartor, G.; Torroni, P. | file con accesso da definire |
| Specification and verification of agent interaction protocols in a logic-based system | 2007 | Alberti, M.; Chesani, F.; Daolio, D.; Gavanelli, M.; Lamma, E.; Mello, P.; Torroni, P. | 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 |