An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems

Abstract

The FORCES project aims at providing robust and declarative for- malisms for analyzing systems in the emerging areas of Security Protocols, Biological Systems and Multimedia Semantic Interaction. This short paper describes FORCES's motivations, results and future research directions.
Fichier principal
Vignette du fichier
forces-iclp.pdf (50.88 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00426610 , version 1 (27-10-2009)

Identifiers

Cite

Jesus Aranda, Gérard Assayag, Carlos Olarte, Camilo Rueda, Toro Mauricio, et al.. An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. ICLP 2009 - 25th International Conference on Logic Programming, Jul 2009, Pasadena, United States. pp.509-513, ⟨10.1007/978-3-642-02846-5⟩. ⟨inria-00426610⟩
192 View
219 Download

Altmetric

Share

Gmail Facebook X LinkedIn More