Semantic structures for spatially-distributed multi-agent systems

Frank Valencia

doi:10.4204/EPTCS.300.3

Semantic structures for spatially-distributed multi-agent systems

Frank Valencia

LIX École Polytechnique de Paris

Producción: Contribución a una revista › Artículo de la conferencia › revisión exhaustiva

1 Cita (Scopus)

Resumen

Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. They have been used to reason about beliefs, lies, and group epistemic behaviour inspired by social networks. They have also been used for proving new results about modal logics and giving semantics to process calculi. In this paper we will discuss the theory and main results about scs.

Idioma original	Inglés
Páginas (desde-hasta)	39-53
Número de páginas	15
Publicación	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volumen	300
DOI	https://doi.org/10.4204/EPTCS.300.3
Estado	Publicada - 22 ago. 2019
Publicado de forma externa	Sí
Evento	Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, EXPRESS/SOS 2019 - Amsterdam, Países Bajos Duración: 26 ago. 2019 → …

Acceder al documento

10.4204/EPTCS.300.3

Otros archivos y enlaces

Enlace a la publicación en Scopus

Citar esto

@article{d8e58ed651494004a913538c42d77320,

title = "Semantic structures for spatially-distributed multi-agent systems",

abstract = "Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. They have been used to reason about beliefs, lies, and group epistemic behaviour inspired by social networks. They have also been used for proving new results about modal logics and giving semantics to process calculi. In this paper we will discuss the theory and main results about scs.",

author = "Frank Valencia",

note = "Publisher Copyright: {\textcopyright} F. Valencia.; Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, EXPRESS/SOS 2019 ; Conference date: 26-08-2019",

year = "2019",

month = aug,

day = "22",

doi = "10.4204/EPTCS.300.3",

language = "English",

volume = "300",

pages = "39--53",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - JOUR

T1 - Semantic structures for spatially-distributed multi-agent systems

AU - Valencia, Frank

N1 - Publisher Copyright: © F. Valencia.

PY - 2019/8/22

Y1 - 2019/8/22

N2 - Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. They have been used to reason about beliefs, lies, and group epistemic behaviour inspired by social networks. They have also been used for proving new results about modal logics and giving semantics to process calculi. In this paper we will discuss the theory and main results about scs.

AB - Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. They have been used to reason about beliefs, lies, and group epistemic behaviour inspired by social networks. They have also been used for proving new results about modal logics and giving semantics to process calculi. In this paper we will discuss the theory and main results about scs.

UR - http://www.scopus.com/inward/record.url?scp=85072186125&partnerID=8YFLogxK

U2 - 10.4204/EPTCS.300.3

DO - 10.4204/EPTCS.300.3

M3 - Conference article

AN - SCOPUS:85072186125

SN - 2075-2180

VL - 300

SP - 39

EP - 53

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, EXPRESS/SOS 2019

Y2 - 26 August 2019

ER -

Semantic structures for spatially-distributed multi-agent systems

Resumen

Acceder al documento

Otros archivos y enlaces

Huella

Citar esto