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

Laboratoire d'Informatique (LIX)
Analysis/Synthesis Team
Pontificia Universidad Javeriana de Cali
University of Bologna

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

Résumé

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.

langue originale	Anglais
titre	Logic Programming - 25th International Conference, ICLP 2009, Proceedings
Pages	509-513
Nombre de pages	5
Les DOIs	https://doi.org/10.1007/978-3-642-02846-5_44
état	Publié - 15 sept. 2009
Evénement	25th International Conference on Logic Programming, ICLP 2009 - Pasadena, CA, États-Unis Durée: 14 juil. 2009 → 17 juil. 2009

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5649 LNCS
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Une conférence

Une conférence	25th International Conference on Logic Programming, ICLP 2009
Pays/Territoire	États-Unis
La ville	Pasadena, CA
période	14/07/09 → 17/07/09

Accès au document

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

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

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. Dans Logic Programming - 25th International Conference, ICLP 2009, Proceedings (p. 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. p. 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. Dans 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, p. 509-513, 25th International Conference on Logic Programming, ICLP 2009, Pasadena, CA, États-Unis, 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).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

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.

UR - https://www.scopus.com/pages/publications/70049112732

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. Dans 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

Résumé

Série de publications

Une conférence

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation