Compliance verification of agent interaction: a logic-based tool
|
Descargar SCORM
¡Sea el primero en solicitar este recurso!
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Compliance verification of agent interaction: a logic-based tool
|
| Id. |
47394298 |
| Idioma |
inglés
|
| Titulo |
Compliance verification of agent interaction: a logic-based tool |
| Autor(es) |
Marco Alberti
Marco Alberti
Federico Chesani
Federico Chesani
Marco Gavanelli
Marco Gavanelli
Evelina Lamma
Evelina Lamma
Paola Mello
Paola Mello
Paolo Torroni
Paolo Torroni
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.441
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Abstract. In open societies of agents, where agents are autonomous and heterogeneous, it is not realistic to assume that agents will always act so as to comply to interaction protocols. Thus, the need arises for a formalism to specify constraints on agent interaction, and for a tool able to observe and check for agent compliance to interaction protocols. In this paper we present a Java-Prolog software component built on logic programming technology, which can be used to verify compliance of agent interaction to protocols, and that has been integrated with PROSOCS [Stathis et al., 2004]. ∗
|
| Tipo |
application/pdf
|
| Palabras clave |
computational logic
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www-lia.deis.unibo.it/Research/TechReport/lia03004.pdf
[References] 10.1.1.25.8566
[References] 10.1.1.10.2242
[References] 10.1.1.13.7065
[References] 10.1.1.10.4679
[References] 10.1.1.27.9180
[References] 10.1.1.15.4268
[References] 10.1.1.1.1918
[References] 10.1.1.63.4693
[References] 10.1.1.25.7987
[References] 10.1.1.19.9913
[References] 10.1.1.104.9995
[References] 10.1.1.75.9954
[References] 10.1.1.78.9004
[References] 10.1.1.58.5702
[References] 10.1.1.65.7399
[References] 10.1.1.100.9648
[References] 10.1.1.142.1207
[References] 10.1.1.137.9789
[References] 10.1.1.58.5702
[References] 10.1.1.99.2952
[References] 10.1.1.1.5627
[References] 10.1.1.62.3334
[References] 10.1.1.114.6149
[References] 10.1.1.99.1190
[References] 10.1.1.67.2345
[References] 10.1.1.102.3666
[References] 10.1.1.103.4524
[References] 10.1.1.104.77
[References] 10.1.1.63.7288
[References] 10.1.1.74.4412
[References] 10.1.1.74.5514
[References] 10.1.1.75.734
[References] 10.1.1.87.8646
[References] 10.1.1.90.6748
[References] 10.1.1.1.4198
[References] 10.1.1.142.5135
[References] 10.1.1.143.5022
[References] 10.1.1.143.6167
|
| Fecha de contribución |
02-sep-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
