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

Jesús Aranda; Gérard Assayag; Carlos Olarte; Jorge A. Pérez; Camilo Rueda; Mauricio Toro; Frank D. Valencia

doi:10.1007/978-3-642-02846-5_44

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

Jesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro, Frank D. Valencia

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

3 Citations (Scopus)

Abstract

The FORCES project aims at providing robust and declarative formalisms 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.

Original language	English
Title of host publication	Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings
Editors	P.M. Hill
Publisher	Springer
Pages	509-513
Number of pages	5
ISBN (Electronic)	978-3-642-02846-5
ISBN (Print)	978-3-642-02845-8
DOIs	https://doi.org/10.1007/978-3-642-02846-5_44
Publication status	Published - 2009
Externally published	Yes
Event	Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 - Pasadena, United States Duration: 14-Jul-2009 → 17-Jul-2009

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	5649
ISSN (Print)	0302-9743

Conference

Conference	Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009
Country/Territory	United States
City	Pasadena
Period	14/07/2009 → 17/07/2009

Access to Document

10.1007/978-3-642-02846-5_44

http://dx.doi.org/10.1007/978-3-642-02846-5_44

Handle.net

Persistent link

Cite this

Aranda, J., Assayag, G., Olarte, C., Pérez, J. A., Rueda, C., Toro, M., & Valencia, F. D. (2009). An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. In P. M. Hill (Ed.), Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings (pp. 509-513). (Lecture Notes in Computer Science ; Vol. 5649). Springer. https://doi.org/10.1007/978-3-642-02846-5_44

@inproceedings{907e3ebd609449a39b1b59bdd0c9dc23,

title = "An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems",

abstract = "The FORCES project aims at providing robust and declarative formalisms for analyzing systems in the emerging areas of Security Protocols, Biological Systems and Multimedia Semantic Interaction. This short paper describes FORCES{\textquoteright}s motivations, results and future research directions.",

author = "Jes{\'u}s Aranda and G{\'e}rard Assayag and Carlos Olarte and P{\'e}rez, {Jorge A.} and Camilo Rueda and Mauricio Toro and Valencia, {Frank D.}",

year = "2009",

doi = "10.1007/978-3-642-02846-5_44",

language = "English",

isbn = "978-3-642-02845-8",

series = "Lecture Notes in Computer Science ",

publisher = "Springer",

pages = "509--513",

editor = "P.M. Hill",

booktitle = "Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings",

note = "Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 ; Conference date: 14-07-2009 Through 17-07-2009",

}

Aranda, J, Assayag, G, Olarte, C, Pérez, JA, Rueda, C, Toro, M & Valencia, FD 2009, An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. in PM Hill (ed.), Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. Lecture Notes in Computer Science , vol. 5649, Springer, pp. 509-513, Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Pasadena, United States, 14/07/2009. https://doi.org/10.1007/978-3-642-02846-5_44

An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. / Aranda, Jesús; Assayag, Gérard; Olarte, Carlos et al.
Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. ed. / P.M. Hill. Springer, 2009. p. 509-513 (Lecture Notes in Computer Science ; Vol. 5649).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - An Overview of FORCES

T2 - Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009

AU - Aranda, Jesús

AU - Assayag, Gérard

AU - Olarte, Carlos

AU - Pérez, Jorge A.

AU - Rueda, Camilo

AU - Toro, Mauricio

AU - Valencia, Frank D.

PY - 2009

Y1 - 2009

N2 - The FORCES project aims at providing robust and declarative formalisms 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.

AB - The FORCES project aims at providing robust and declarative formalisms 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.

U2 - 10.1007/978-3-642-02846-5_44

DO - 10.1007/978-3-642-02846-5_44

M3 - Conference contribution

SN - 978-3-642-02845-8

T3 - Lecture Notes in Computer Science

SP - 509

EP - 513

BT - Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings

A2 - Hill, P.M.

PB - Springer

Y2 - 14 July 2009 through 17 July 2009

ER -

Aranda J, Assayag G, Olarte C, Pérez JA, Rueda C, Toro M et al. An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. In Hill PM, editor, Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. Springer. 2009. p. 509-513. (Lecture Notes in Computer Science ). doi: 10.1007/978-3-642-02846-5_44