Specification 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 [10.1007/11750734_14].
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
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.