CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishSpecification and verification of agent interaction using Abductive Reasoning / Federico Chesani; Marco Gavanelli; Marco Alberti; Evelina Lamma; Paola Mello; Paolo Torroni. - STAMPA. - 3900(2006), pp. 243-264. ((Intervento presentato al convegno 6th International Workshop, CLIMA VI tenutosi a London nel June 27-29, 2005.
| Titolo: | Specification and verification of agent interaction using Abductive Reasoning |
| Autore/i: | CHESANI, FEDERICO; Marco Gavanelli; Marco Alberti; Evelina Lamma; MELLO, PAOLA; TORRONI, PAOLO |
| Autore/i Unibo: | |
| Anno: | 2006 |
| Serie: | |
| Titolo del libro: | Computational Logic in Multi-Agent Systems |
| Pagina iniziale: | 243 |
| Pagina finale: | 264 |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/11750734_14 |
| Data prodotto definitivo in UGOV: | 27-feb-2006 |
| Appare nelle tipologie: | 4.01 Contributo in Atti di convegno |
File in questo prodotto:
Eventuali allegati, non sono esposti
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11585/26123
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2020