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

Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs

Résumé

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.

langue originale	Anglais
Pages (de - à)	39-53
Nombre de pages	15
journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	300
Les DOIs	https://doi.org/10.4204/EPTCS.300.3
état	Publié - 22 août 2019
Evénement	Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, EXPRESS/SOS 2019 - Amsterdam, Pays-Bas Durée: 26 août 2019 → …

Accès au document

10.4204/EPTCS.300.3

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@article{a6db2eb1c29840c39ab5105f9eb5cbcc,

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",

}

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 - https://www.scopus.com/pages/publications/85072186125

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

Résumé

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation