An overview of FORCES: An INRIA project on declarative formalisms for emergent systems

Jesús Aranda; Gerard 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
, Gerard Assayag
, Carlos Olarte
, Jorge A. Pérez
, Camilo Rueda
, Mauricio Toro
, Frank D. Valencia

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

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, Proceedings
Pages	509-513
Number of pages	5
DOIs	https://doi.org/10.1007/978-3-642-02846-5_44
Publication status	Published - 15 Sept 2009
Event	25th International Conference on Logic Programming, ICLP 2009 - Pasadena, CA, United States Duration: 14 Jul 2009 → 17 Jul 2009

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5649 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

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

Access to Document

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

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 Logic Programming - 25th International Conference, ICLP 2009, Proceedings (pp. 509-513). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5649 LNCS). https://doi.org/10.1007/978-3-642-02846-5_44

Aranda, Jesús ; Assayag, Gerard ; Olarte, Carlos et al. / An overview of FORCES : An INRIA project on declarative formalisms for emergent systems. Logic Programming - 25th International Conference, ICLP 2009, Proceedings. 2009. pp. 509-513 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{8b5b6370d0b041e6ad1d8f819cca5a0e,

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's motivations, results and future research directions.",

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

year = "2009",

month = sep,

day = "15",

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

language = "English",

isbn = "3642028454",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "509--513",

booktitle = "Logic Programming - 25th International Conference, ICLP 2009, Proceedings",

note = "25th International Conference on Logic Programming, ICLP 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 Logic Programming - 25th International Conference, ICLP 2009, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5649 LNCS, pp. 509-513, 25th International Conference on Logic Programming, ICLP 2009, Pasadena, CA, United States, 14/07/09. 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, Gerard; Olarte, Carlos et al.
Logic Programming - 25th International Conference, ICLP 2009, Proceedings. 2009. p. 509-513 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5649 LNCS).

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

TY - GEN

T1 - An overview of FORCES

T2 - 25th International Conference on Logic Programming, ICLP 2009

AU - Aranda, Jesús

AU - Assayag, Gerard

AU - Olarte, Carlos

AU - Pérez, Jorge A.

AU - Rueda, Camilo

AU - Toro, Mauricio

AU - Valencia, Frank D.

PY - 2009/9/15

Y1 - 2009/9/15

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

AN - SCOPUS:70049112732

SN - 3642028454

SN - 9783642028458

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 509

EP - 513

BT - Logic Programming - 25th International Conference, ICLP 2009, Proceedings

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 Logic Programming - 25th International Conference, ICLP 2009, Proceedings. 2009. p. 509-513. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-02846-5_44

An overview of FORCES: An INRIA project on declarative formalisms for emergent systems

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this